aw31/openai-imo-2025-proofs
View on GitHub ↗ ★ 481
10 mentions on Hacker News by 9 people: 2 stories, 8 comments · first 2025-07-19 · latest 2025-08-09
20082026
-
…far, though - consider the OpenAI IMO proofs[1], for instance, and compare them to Gemini's.[2] [1] https://github.com/aw31/openai-imo-2025-proofs [2] https://arxiv.org/pdf/2507.15855 Appendix A
comment by 986aignan · 2025-08-09 · in Let's properly analyze an AI article for once -
…was shown recently with the successful International Math Olympiad effort. Their prompts, such as https://github.com/aw31/openai-imo-2025-proofs/blob/main/pro... , were very terse. It's hard to tell where the prompt stops and the CoT…
comment by CamperBob2 · 2025-08-08 · in How attention sinks keep language models stable -
…were referring to: Google https://storage.googleapis.com/deepmind-media/gemini/IMO_202... OpenAI https://github.com/aw31/openai-imo-2025-proofs/
comment by cubefox · 2025-07-21 · in Gemini with Deep Think achieves gold-medal standard at the IMO -
…they would be expected to I'm sure. But this can be verified because the results are public: https://github.com/aw31/openai-imo-2025-proofs/
comment by tshadley · 2025-07-21 · in Gemini with Deep Think achieves gold-medal standard at the IMO -
…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
comment by aluminum96 · 2025-07-19 · in OpenAI claims gold-medal performance at IMO 2025 -
The solutions were publicly posted to GitHub: https://github.com/aw31/openai-imo-2025-proofs/tree/main
comment by aluminum96 · 2025-07-19 · in OpenAI claims gold-medal performance at IMO 2025 -
…at equality, neither player has winning strategy."[1] Why use lot word when few word do trick? 1. https://github.com/aw31/openai-imo-2025-proofs/blob/main/pro...
comment by lossolo · 2025-07-19 · in OpenAI claims gold-medal performance at IMO 2025 -
Interesting that the proofs seem to use a limited vocabulary: https://github.com/aw31/openai-imo-2025-proofs/blob/main/pro... Why waste time say lot word when few word do trick :) Also worth pointing out that Alex Wei is himself a gold…
comment by rafael859 · 2025-07-19 · in OpenAI claims gold-medal performance at IMO 2025