Scoreboard of LLM open-problem solves in math
ctjlewis · x · 2026-07-21
A scoreboard claims that, as of July 2026, more than 20 named open math problems have been credited to U.S. labs or U.S.-based prompters via LLMs, while China has 0 credited solves and 1 partial contribution.
The chart below breaks the credited results down by lab: DeepMind leads with 9, followed by OpenAI with 6, Axiom with 4, Harmonic with 3, Anthropic with 1, ByteDance with about 1, and DeepSeek/Alibaba/Moonshot/Zhipu at 0. The note says the count includes named open problems where the model is credited as solver or co-solver, and excludes the 100 Erdős problems moved to “solved” since Oct. 2025 because most were literature retrieval rather than novel mathematics.
Related event: LLM Math Benchmark Sparks Debate(2 posts)→
More from Research
- Datology webinar: Curation Studio matched top data baselines with under 20% compute — josh_wills · 2026-10-27
- KANLab: an interactive browser playground for Kolmogorov-Arnold Networks — Lukas Niehaus · 2026-10-27
- CMU's LLM2Cert synthesizes stability certificates verified via SMT and Lean — CarnegieMellonU · 2026-10-27
- NVIDIA open-sources FLORA, a robotics data engine ~125x cheaper than GPT-6 Astra — nvidia · 2026-10-27
- RSNA 2026 Deep Learning Labs return: eight hands-on AI classes over four days in Chicago — PRouzrokh · 2026-10-27
- Steering two orthogonal concept neurons makes a model compose "gnome" — Sauers_ · 2026-10-27