October 27, 2026
OpenAI Refutes the Exponential Time Hypothesis: Verification Yielded to Conjecture Founders
OpenAITheoretical Computer ScienceFormal VerificationComputational Complexity
#formal-verification
6 articles · All tags
📡 Events
October 23, 2026
Opus 5.5 Generates 180 Million Lines of Formal Proofs for 123 Open Source Libraries
Formal VerificationLLMAnthropicSoftware Supply Chain Security
October 18, 2026
Lean 4.35 Ships with Four Verified Kernels: Proving the Proof Checker
LeanFormal VerificationAI Code AuditingCompilers
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