AI solves International Math Olympiad problems at silver medal level
1–10 of 564 posts
Re: AI solves International Math Olympiad problems at silver medal level
#2> First, the problems were manually translated into formal mathematical language for our systems to understand. In the official competition, students submit answers in two sessions of 4.5 hours each. Our systems solved one problem within minutes and took up to three days to solve the others.
Three days is interesting... Not technically silver medal performance I guess, but let's be real I'd be okay waiting a month for the cure to cancer.
Re: AI solves International Math Olympiad problems at silver medal level
#3No benchmarks of any kind?
Re: AI solves International Math Olympiad problems at silver medal level
#4Re: AI solves International Math Olympiad problems at silver medal level
#5IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
Re: AI solves International Math Olympiad problems at silver medal level
#6The problems were first converted into a formal language. So they were partly solved by the AI
Re: AI solves International Math Olympiad problems at silver medal level
#7That's great, but does that particular model also know if/when/that it does not know?
Re: AI solves International Math Olympiad problems at silver medal level
#8> First, the problems were manually translated into formal mathematical language for our systems to understand. In the official competition, students submit answers in two sessions of 4.5 hours each. Our systems solved one problem within minutes and took up to three days to solve the others. Three days is interesting... Not technically silver medal performance I guess, but let's be real I'd be okay waiting a month fo…
I haven't read TFA as I'm at work, but I would be very interested to know what the system was doing in those three days. Were there failed branches it explored? Was it just fumbling its way around until it guessed correctly? What did the feedback loop look like?
Re: AI solves International Math Olympiad problems at silver medal level
#9IMO problems aren't fundamentally different from chess or other games, in that the answer is already known.
I really don't understand what you mean by this. 1) it's not known whether chess is a win for White or not. 2) IMO problems, such as 2024 problem 1 which the system solved, are often phrased as "Determine all X such that…".
Re: AI solves International Math Olympiad problems at silver medal level
#10See https://en.wikipedia.org/wiki/Automated_Mathematician for an early system that seems similar in some way.