News for hackers. Stuff that matters.

A comment on AI solves IMO problems at silver medal level. Parent comment

Re:AI solves IMO problems at silver medal level by xrisk on Thursday July 25, 2024 @01:35PM (#41071241)
Lean is just the language, Presumably to drive the AI towards the program (“the proof”)
[ Parent | on HN ]

There are no comments on this comment yet.