What's advancing in AI, and what is established.
- UnderstandWhat has really moved forward, explained clearly, no background needed.
- CheckThe status of an announcement and its date, with the latest changes.
- ResearchersThe method, the evidence and the data.
Announced, then established?
Of 41 announcements tracked, 13 now have an established status.
An announcement counts once, even if it releases a batch. The Erdős archive is counted separately: 521 rows.
Over time, by month of announcement
Running total since Nov 2023: 41 announcements, 13 of them now established
Latest advances explained
The feed summaries are written by an AI. Statuses come from the registry; the “not reviewed” label applies to the text.
Conditional integer-multiplication bound κ = 0.001391523459591829 (integer-mult-bounds PR #514)
On 11 October 2026, a contributor to the integer-mult-bounds project proposed a conditionally improved theoretical bound for multiplying very large integers.
Written by an AI · reviewed by a human
AI-driven formal proof search in mathematics (Science)
Google DeepMind published its AlphaProof Nexus study in Science on 8 October 2026: the authors report 9 of 353 open Erdős problems and 44 of 492 OEIS conjectures solved in Lean.
Written by an AI · reviewed by a human
Three manuscripts withdrawn after a sign error (Weil classes, Kuga–Satake K3, rational Hodge)
On 7 October 2026, OpenAI withdrew three manuscripts from its mathematics release, on Weil classes, Kuga-Satake K3 and the rational Hodge conjecture, after a sign error. Status: withdrawn.
Written by an AI · not reviewed