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 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 ]