Hacker News new | ask | show | jobs
by empath75 1 day ago
That very much does not describe what happened. Someone found the bug and used it to disprove the Collatz conjecture as a demonstration of the bug. Nobody ever claimed it as an LLM proof.