GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it

A University of Pennsylvania researcher used OpenAI's GPT-5.6 Sol model to disprove a long-standing conjecture regarding the Benjamini-Hochberg method for statistical testing. The model achieved this in 90 minutes, whereas a previous iteration failed to solve the problem after 20 hours of attempts. This development demonstrates an increasing capacity for AI to resolve complex mathematical proofs that have remained unsolved by human experts for decades.