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 Ericson2314 on Thursday July 25, 2024 @12:58PM (#41070851)
Hehe, well, we'll need to have a tool-assited international math Olympiad then.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by ComplexSystems on Thursday July 25, 2024 @05:38PM (#41073668)
This is the greatest idea ever. Why doesn't this exist?
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by panagathon on Thursday July 25, 2024 @06:11PM (#41073919)
This does sound like a lot of fun. Since this AI only reaches silver level, presumably such a contest could be quite competitive, with it not yet being clear cut whether a human or a tool-assisted human would come out on top, for any particular problem.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by sebzim4500 on Thursday July 25, 2024 @07:28PM (#41074526)
If the tools are the same as the ones AlphaProof gets (i.e. a lean compiler) then no one would use them.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by Ericson2314 on Friday July 26, 2024 @08:03PM (#41083446)
Well, hopefully that changes soon :)
[ Parent | on HN ]