Post #945 2.67K Sep 9, 2026, 21:30 UTC https://openai.com/index/collatz-conjecture-solution OpenAI An OpenAI model has disproven the Collatz Conjecture We present a formally verified counterexample to the Collatz Conjecture. Our model identifies a class of non-terminating divergent orbits for sufficiently large integers, proving the conjecture fails to hold asymptotically. Fully verified proofs in Lean 4… 🥰 41 😁 26 😡 13 🤯 12 🤡 10 🤮 4 👌 3 🖕 3 🥱 2 😐 2 🤔 1