GPT-5.6 Aids in Proving Feige's Conjecture

A recent arXiv paper presents a proof of Feige's conjecture, assisted by GPT-5.6 Sol. The research formalizes the proof for the δ≥1 case using Lean, with rumors suggesting GPT-5.6 also solved the notable 1/e case.

2026-07-28 ~ 2026-07-28 · 3 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