News for hackers. Stuff that matters.

A comment on OpenAI claims Gold-medal performance at IMO 2025. Parent comment

Re:OpenAI claims Gold-medal performance at IMO 2025 by rvz on Saturday July 19, 2025 @10:58AM (#44615996)
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.
[ Parent | on HN ]
Re:OpenAI claims Gold-medal performance at IMO 2025 by yunwal on Saturday July 19, 2025 @11:02AM (#44616039)
What does this have to do with the math Olympiad? Why would it frame your view of the accomplishment?
[ Parent | on HN ]
Re:OpenAI claims Gold-medal performance at IMO 2025 by emp17344 on Saturday July 19, 2025 @11:14AM (#44616187)
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.
[ Parent | on HN ]
Re:OpenAI claims Gold-medal performance at IMO 2025 by aluminum96 on Saturday July 19, 2025 @01:00PM (#44617205)
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

[ Parent | on HN ]
Re:OpenAI claims Gold-medal performance at IMO 2025 by mikert89 on Saturday July 19, 2025 @11:20AM (#44616248)
dude we have computers reasoning in english to solve math problems, what are you even talking about
[ Parent | on HN ]
Re:OpenAI claims Gold-medal performance at IMO 2025 by simion314 on Saturday July 19, 2025 @11:50AM (#44616518)
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.
[ Parent | on HN ]