August 3, 2026
AI 'Disproves' 90-Year-Old Math Problem: The Proof Assistant Was Broken First
AIMathematicsFormal Verification
#mathematics
4 articles · All tags
📡 Events
July 26, 2026
The Dark Night of Mathematics: How Four Crises Reshaped the Discipline
MathematicsPhilosophy of ScienceThought
July 19, 2026
One Prompt, 148 Minutes: GPT-5.6 Closes a 30-Year Gap in Convex Optimization
AIGPT-5.6MathematicsFormal Proof
July 4, 2026
16 Years, Billions of Devices, One Bug: How TLA+ Found What Human Testing Never Could
SQLiteTLA+Formal VerificationWAL