Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
SAIR announces open AI models for everyday mathematical research
Terence Tao’s September 18 announcement sets out a community-led plan for mathematical AI tools; development details remain pending.
AI-assisted matroid proof highlights concurrent discovery
A new preprint reports progress on the strong secretary conjecture, with explicit attribution and limits.
FormalFlow uses supervised AI to formalize a theorem behind MIP* = RE
A September 17 preprint reports a Lean 4 proof of a key quantum soundness theorem, developed over 63 days.
Why irrelevant details can derail AI math solutions
A September 15 preprint traces distracted math reasoning to the planning of arithmetic operations.
Stellar Colosseum coordinates AI agents for longer mathematical proofs
A September 14 preprint studies how planning and criticism can organize AI mathematical research.
Fields medallists urge AI developers to prioritize mathematical understanding
A September 11 declaration challenges the use of solved problems as the main measure of mathematical AI progress.
AI-assisted combinatorics study reports an exact four-column formula
A September 10 preprint combines AI-assisted discovery with exact checks in a specialized extremal counting problem.
Geometry study pairs language models with symbolic deduction
A new preprint separates diagram reading from deduction to make geometry solutions easier to inspect.
OpenAI reports an AI-generated Navier–Stokes proof
A September 8 announcement releases a proposed proof and Lean code for scrutiny, with smooth forcing central to the claim.
Showing page 2 of 7 · 63 total