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 thrdbndndn on Thursday July 25, 2024 @10:58PM (#41075465)
Ah, thanks. That makes a lot of sense now.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by thomasahle on Friday July 26, 2024 @04:55AM (#41076962)
One more trick: They look for both proofs and disproofs. So even if they failed the formalization and created a "wrong" theorem, it's just another task.
[ Parent | on HN ]