AIThe Decoderabout 2 hours ago
GPT-5.6 Sol disproves 30-year-old conjecture in 90 minutes
1 min read
A University of Pennsylvania statistics professor used OpenAI's GPT-5.6 Sol Pro to disprove a central open conjecture about the Benjamini-Hochberg method in roughly 90 minutes. The predecessor model, GPT-5.5, failed to find a solution even after 20 hours. The answer combines known methods in a new way.
Level
Hype check
Tap to vote and see what everyone thinks.
Summary by ByteBrief
