AI & Maths watch GitHub

Retrospective research digest

Updates on artificial intelligence for mathematical research, proof discovery and formal verification, with links to papers, code and tools.

At a glance0 entries · 0 linked sources Partial coverage

No substantive entry could be established as originally published on September 19, 2026. Public web research was usable, but archival and social-media coverage was too limited to conclude that no relevant news occurred.

Research updatesNo entries in this edition

No items available with the current coverage

See the coverage notes below. Missing access is not evidence that nothing happened.

Coverage and limitations
  • Reconstructed the requested Paris civil day using public web searches for September 19, 2026 and direct reading of accessible sources. Search-index dates were not treated as publication dates.
  • Read Timothy Nguyen's September 19 blog post at https://timothynguyen.org/2026/09/19/a-response-to-a-severe-misalignment-of-ai-in-mathematics/. Excluded it because the same essay appeared by September 18 at https://proofsandprompts.com/2026/09/18/two-responses-to-a-severe-misalignment-of-ai-in-mathematics/. The September 19 posting did not establish a substantive new update.
  • Read Terence Tao's September archive at https://terrytao.wordpress.com/2026/09/ and Kevin Buzzard's Xena blog at https://xenaproject.wordpress.com/. Buzzard's Imperial homepage links to Xena, establishing the official blog connection. No qualifying September 19 announcement was identified in the material consulted; older and later posts were excluded.
  • Searched all fifteen supplied X handles in date-specific groups. These searches returned no target-day results and do not establish complete access to X. Official personal sites for Daniel Litt, Thomas Bloom and Boaz Barak, and Gowers's blog, were consulted as identity checks; not all supplied account-to-person links could be independently established. Bubeck's and de Moura's attempted homepage opens failed. Tao's Mathstodon and Buzzard's Bluesky histories were not directly consulted.
  • Opened the official Lean, Axiom, Epoch AI and Harmonic websites. Project Numina's website returned no readable text. Current homepages did not establish qualifying historical announcements or complete target-day archives.
  • Read https://4m4.it/posts/ai-agents-solving-open-problems-changing-mathematics/. Although search results highlighted September 19, the page explicitly states original publication on September 14 and modification on September 19. Excluded because no distinct dated update was established.
  • Read the September 19 mathematics discussion thread at https://www.reddit.com/r/math/comments/1wkq1gz/ai_in_mathematics_september_19_2026/ as a lead source. It includes later comments and unverified mathematical claims; these were not promoted to confirmed target-day research entries.
  • An indexed MathsAI snippet described a September 19 multi-agent mathematics study, but opening https://mathsai.net/blog/self-organizing-ai-teams-math-reasoning-study failed. Its underlying primary paper and original publication date were not established, so it was excluded. Generic news roundups, promotional profiles and repetitions of previously supplied results were also excluded.
  • No proofs were verified, Lean executed, or source code run. The empty item list reflects unresolved archival coverage and date exclusions, rather than evidence that nothing happened.

Requested coverage window: 2026-09-19T00:00:00+02:00 — 2026-09-20T00:00:00+02:00.

Public web research; coverage is not exhaustive. A source link is not a certification of a claim.

Archives 32
Older editions (2)