AI reportedly solved more than two open math problems a day over the past month
AymericRoucher · x · 2026-07-23
Aymeric Roucher pushes back on claims that Anthropic is merely marketing, citing a thread that says AI systems solved more than two open math problems per day on average over the past month.
The post frames the discussion as a sign of real progress in AI-assisted mathematics, while acknowledging the skepticism around whether these results will hold up long term.
More from Models
- OpenAI’s Codex is reportedly getting a real-time voice mode and personal assistant layer — tinyfool · 2026-07-23
- Kimi K3’s open-source release is drawing more excitement than Opus 5 — Angaisb_ · 2026-07-23
- A small Google version-number joke lands on Pro 3.5 and Flash 3.6 — TheZvi · 2026-07-23
- Claude Opus 5 rumored soon as Opus 4.8 starts routing to it — koltregaskes · 2026-07-23
- LLaDA2.2-flash brings 128K context and Levenshtein Editing to agentic diffusion models — pmttyji · 2026-07-23
- Users say frontier labs keep hiding the reasoning they learn most from — BasedRaddka · 2026-07-23