20:10
2026-08-01
sourcefeed.dev
ai-research
The Collatz 'Disproof' That Beat Two Proof Checkers
On July 25, Ramana Kumar published a repository containing an AI-assisted 'disproof' of the Collatz conjecture that compiled in Lean 4 and was accepted by the independent checker nanoda, but on July 2…