GPT-5.6 Solves Decades-Old Information Theory Conjecture in Yale Professor's arXiv Paper
burny_tech · x · 2026-09-02
Yale's Yihong Wu published an arXiv paper resolving the Ancheta--Massey problem on optimal linear encoding for lossy compression of Bernoulli sources, extending Ancheta's p=1/2 result to all p<1/2. The striking part: the key proof was discovered by GPT-5.6 Sol through an interactive process guided by the author. The conjecture had stumped the original poster back in 2012-13, making this a notable AI-for-math milestone.
More from AGI Musings
- AI now generates more math proofs than humans can verify; Tao spent days condensing a 90,000-line proof — every · 2026-09-02
- As formal reasoning gets dirt cheap, Fermi and Feynman tales look 'quaint' — akbirthko · 2026-09-02
- "We were drowning in slop long before AI": the case that AI slop is the hero — taherdhanera · 2026-09-02
- Felix Simon adds three more reasons AI persuasion won't dominate the real world — _FelixSimon_ · 2026-09-02
- AI is a scary-good persuader, but its real-world influence will be smaller than feared: Oxford researcher — _FelixSimon_ · 2026-09-02
- AI may replace workflows long before it replaces jobs — SuspiciousAir6358 · 2026-09-02