AI-assisted proof breakthroughs surge in 2026

Multiple AI systems (DeepMind AlphaProof Nexus, Anthropic Fable 5, GPT-5.6) have solved or disproved major conjectures (Erdős problems, Jacobian conjecture, convex optimization gap). Terence Tao warns of 'proof indigestion' and proposes calibration frameworks. Reproducibility and benchmark gaps are being addressed with new datasets and audits.