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, couldn't find a solution even after 20 hours. The answer combines known methods in a new way, keeping the bigger question alive: can AI produce genuinely new knowledge, or does it just recombine what it already learned?
The article GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it appeared first on The Decoder.
source & further reading
the-decoder.com — original article
Bonsai 27B is a full open reasoning model that fits on an iPhone
Spotify bets Premium subscribers want to chat with their music player
OpenAI's Codex now encrypts instructions between AI agents, leaving developers blind to internal delegation