OpenAI Models Credited with 234 Math Results, Far Exceeding DeepMind
haider1 · x · 2026-08-04
Data reveals significant AI progress in mathematics. OpenAI models are currently credited across 234 tracked mathematical results, with 129 of these formally verified in Lean.
Surprisingly, Google DeepMind is credited with just 27 results, highlighting a stark contrast in contributions between the two AI giants.
Related event: AI Math Breakthrough: 312 Unsolved Problems Cracked(2 posts)→
More from Models
- Qwen3.8-Max Launch Sparks Debate: China Leads in Positive AI Vision — joao_gante · 2026-08-04
- OpenAI's Upcoming 'Astra' Model to Focus on Multi-Agent Collaboration — thesaraharminta · 2026-08-04
- Testing Qwen3.8-Max: Open Models Are Catching Up with Closed Frontier — dair_ai · 2026-08-04
- Kimi K3 Estimated at 2.8T Params, Potentially Distilled from Smaller Opus — gabriberton · 2026-08-04
- Expert Replicates OpenAI Astra Math Results in 24 Hours — Gary Marcus · 2026-08-04
- Claude 3.5 Sonnet and Opus Are Remarkably Terrible at Making Slides — nathanbenaich · 2026-08-04