Topic

#Soundness

2 articles on Soundness — news, releases, guides and analysis from the SourceFeed engine.

The Collatz 'Disproof' That Beat Two Proof Checkers

An AI-assisted Lean proof of False slipped past both the official kernel and the independent nanoda checker.

Inside Lean soundness bug #14576, the one-hour fix, and why machine-checked now comes with a patch cadence.

The best developer & AI content, delivered. No spam.