Skip to content
Back to AI News
The DecoderJuly 15, 2026· 1 min read

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 professor used AI model GPT-5.6 Sol Pro to solve a 30-year-old statistics puzzle in 90 minutes. This is a significant achievement, as the previous model couldn't crack it even after 20 hours.

What happened

A professor used OpenAI's GPT-5.6 Sol Pro to disprove a long-standing conjecture about the Benjamini-Hochberg method. This was done in a remarkably short time, just 90 minutes, whereas the previous model took 20 hours and couldn't find a solution.

Why it matters

This result raises important questions about the nature of AI and its potential to create new knowledge. As a business owner, you may wonder if AI can truly innovate or if it's just recombining existing ideas.

The takeaway

The fact that AI can solve complex problems quickly is valuable, but it also highlights the need to critically evaluate the source and originality of AI-generated solutions.

Read the original at The Decoder

Our plain-English take, written from public reporting for operational business owners. Always read the original for full context.

Nayre builds the AI systems behind stories like this.

Chatbots, workflow automation, finance intelligence, and internal knowledge systems. Built for operational teams, shipped in days.