August 3, 2026 AI 'Disproves' 90-Year-Old Math Problem: The Proof Assistant Was Broken First AIMathematicsFormal Verification
July 22, 2026 Outcounterexampled by Machines: How AI Toppled Three Major Conjectures in Two Months aimathleanformal-verification
July 4, 2026 16 Years, Billions of Devices, One Bug: How TLA+ Found What Human Testing Never Could SQLiteTLA+Formal VerificationWAL
