Comment by rvz
5 days ago
Or some can spot a euphoric bubble when they see it with lots of participants who have over-invested in 90% of these so called AI startups that are not frontier labs.
5 days ago
Or some can spot a euphoric bubble when they see it with lots of participants who have over-invested in 90% of these so called AI startups that are not frontier labs.
What does this have to do with the math Olympiad? Why would it frame your view of the accomplishment?
Why don’t they release some info beyond a vague twitter hype post? I’m beginning to hate OpenAI for releasing statements like this that invariably end up being less impressive than they make it sound initially.
The proofs were published on GitHub for inspection, along with some details (generated within the time limit, by a system locked before the problems were released, with no external tools).
https://github.com/aw31/openai-imo-2025-proofs/tree/main
dude we have computers reasoning in english to solve math problems, what are you even talking about
I tested all available models on a harder highschool limit and they failed even with thinking mode, so I doubt OpenAI is telling the truth.