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 Agingcoder on Friday July 26, 2024 @02:41AM (#41076313)
To some extent, what they do is stronger that the other contestants, who I understand don’t formally prove their answers.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by necovek on Monday July 29, 2024 @11:29AM (#41101204)
In maths, you are only solving a problem by building a formal solution that is the proof.

Eg. if it asked you to do something computationally hard (when done in a brute force way: calculators not allowed), and you put out the answer without the process using formal math knowledge, you'd get zero points. Even if it was easy to prove the answer was correct.

That's why IMO and many math exams won't take a single answer even if correct.

[ Parent | on HN ]