GPT-5.6 Reportedly Assists in Proving Long-Standing Feige's Conjecture
A new arXiv paper claims that GPT-5.6 Sol successfully assisted in proving Feige's conjecture, a long-standing open problem in probability theory. The proof was also formalized using Lean, highlighting AI's potential in complex mathematical research.
2026-07-28 ~ 2026-07-29 · 4 related posts
- Lean formalization and a new proof of Feige’s conjecture for $delta f\ge 1$ — RexDouglass · 2026-07-28
- ArXiv paper claims a short proof of Feige’s conjecture with GPT-5.6 Sol — RexDouglass · 2026-07-28
- GPT-5.6 reportedly solves Feige’s 1/e conjecture in probability — PMinervini · 2026-07-28
- GPT-5.6 reportedly solves Feige’s 1/e conjecture in probability — MickeySteamboat · 2026-07-29