GPT-5.6 Sol Pro disproves 30-year-old Benjamini-Hochberg conjecture
July 16, 2026
The GPT-5.6 Sol Pro model identified a counterexample to a long-standing assumption regarding the Benjamini-Hochberg method. The task, which had eluded human statisticians for decades, was completed in 90 minutes.
HOW THIS AFFECTS YOU
●
researcherConsider using advanced reasoning models to automate formal verification and conjecture testing.