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
- Essay: AI made test-style intelligence the cheapest commodity — judgment is what's left — r0ck3t23 · 2026-10-18
- "Yes, It's Lazy. That's the Point": Pushing Back on Humanoid Robot Housework Critics — VraserX · 2026-10-18
- Jason Furman: optimistic on AI productivity, skeptical firms can profit from it — sebkrier · 2026-10-18
- 562 AI PM job postings split into 4 roles — Model PM tops pay at $345K median — aakashgupta · 2026-10-18
- Longevity influencer: this is the last decade dying of old age is 'normal' — rand_longevity · 2026-10-18
- Only 85% of Anthropic hours and 76% of OpenAI workdays are agentic — yacineMTB · 2026-10-18