Collatz-formodningen skal ha blitt motbevist av Ramana Kumar, med et bevis kontrollert i Lean og dobbeltsjekket med den uavhengige Nanoda-typekontrolløren.

Kilde: https://lawrencecpaulson.github.io//2026/07/30/Collatz.html