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 rpois on Thursday July 25, 2024 @12:07PM (#41070276)
Does this formalization process include giving it the answer it should try to prove?
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by Smaug123 on Thursday July 25, 2024 @12:16PM (#41070399)
Nope, per Oliver Nash who worked on the thing: https://news.ycombinator.com/item?id=41070372
[ Parent | on HN ]