Claude formalizes Helfgott’s Ternary Goldbach proof

Claude has formalized Ternary Goldbach!! Harald Helfgott announced a proof initially in 2013, and followed by several updates. Many computations were long & hard to follow, leading some experts to be concerned about its correctness. 🧵 https://t.co/gUs6tkKWlA Open article →