@sophieschmieg@infosec.exchange
Post #4245720
2026-07-30 16:13 UTC
LEAN was used to prove the Collatz conjecture. The proof exploited several vulnerabilities in the proving engine, and is not actually valid, which is par for the course for the Collatz conjecture, known exploit of the human mind.
Replies (1)
-
@durumcrustulum@ioc.exchange 2026-07-30 16:17
@sophieschmieg@infosec.exchange hahahahaha