OpenAI Researcher Clarifies o3 Hasn't Solved Math, Far from IMO Gold
iamgroguu · x · 2026-08-01
Pushing back against the hype that AI has "solved math," OpenAI researcher Noah clarified that current models still struggle with writing proofs. He emphasized that o3 and o4-mini are nowhere close to winning International Mathematics Olympiad (IMO) gold medals.
More from Models
- Users report Gemini's memories can't actually be deleted even after wiping chat history — ThrowRA_Purpose2025 · 2026-10-16
- OpenAI stealth-testing mysterious internal model 'Aeon' in Codex desktop app and Dots — cedric_chee · 2026-10-16
- Argon edges out astra as daily driver, but Claude still wins heavy coding work — iruletheworldmo · 2026-10-16
- NVIDIA ships FP4-quantized Qwen3.8-Flash for local use, trending on Hugging Face — nvidia · 2026-10-16
- RoboVista benchmark: Gemini-4 Argon hits 81.9% on robotics understanding — berkeley_ai · 2026-10-16
- Dev reports decision model jev beats gpt-6-luna on quality in real training pipeline — genmon · 2026-10-16