#leankernel — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leankernel, aggregated by home.social.
-
Oh joy, another riveting postmortem for a bug that nobody outside the echo chamber of the Lean kernel cares about 🤣. Apparently, #AI tried to debunk the Collatz conjecture with a proof that boils down to "Oops, my bad." Nice try, AI, but looks like even machines enjoy a little chaos now and then 💥.
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/ #HackerNews #CollatzConjecture #LeanKernel #BugPostmortem #HackerNews #ngated