aw31/openai-imo-2025-proofs

21 best points · 9 comments · 2 Hacker News posts · 481 GitHub stars · View on GitHub

Hacker News discussions

• OpenAI claiming gold medal standard at IMO 2025 (21 points, 7 comments, by ocfnash, 2025-07-19)
• Gold Metal for "Future" Gpt5 (3 points, 2 comments, by ConteMascetti71, 2025-07-20)