IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
Kinda? Chess isn't solved. Complex problems can have better solutions discovered in the future.
AI solves International Math Olympiad problems at silver medal level
11–20 of 564 posts
Re: AI solves International Math Olympiad problems at silver medal level
#12[deleted]
Re: AI solves International Math Olympiad problems at silver medal level
#13[deleted]
Re: AI solves International Math Olympiad problems at silver medal level
#14That's great, but does that particular model also know if/when/that it does not know?
Never?
Edit: To defend my response, the model definitely knows when it hasn't yet found a correct response, but this is categorically different from knowing that it does not know (and of course monkeys and typewriters etc., can always find a proof eventually if one exists).
Re: AI solves International Math Olympiad problems at silver medal level
#15HOLY SHIT. It's amazing
Re: AI solves International Math Olympiad problems at silver medal level
#16IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
lol
Re: AI solves International Math Olympiad problems at silver medal level
#17The problems were first converted into a formal language. So they were partly solved by the AI
Yes and it is difficult for me to believe that there is not useful human analysis and understanding involved in this translation that the AI is helpless without. But that I suppose is a problem that could be tackled with a different model...
Re: AI solves International Math Olympiad problems at silver medal level
#18So they weren't able to solve the combinatorics problem. I'm not super well versed in competition math, but combinatorics always seem to be the most interesting problems to me.
Re: AI solves International Math Olympiad problems at silver medal level
#19IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
But the answer is probably not known by you, in particular.
Re: AI solves International Math Olympiad problems at silver medal level
#20IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
Kinda? Chess isn't solved. Complex problems can have better solutions discovered in the future.
It isn't solved but the evaluation (which side is better, by how much, and which moves are best) of a strong engine is - for all practical purposes - an answer to every chess position you can pose to it. This makes it easy to gauge improvement and benchmark against other systems compared to some other problems.