Why it matters

OpenAI's new model disproves long-standing statistics conjecture

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

A statistics professor used OpenAI's GPT-5.6 Sol Pro to disprove a 30-year-old mathematical conjecture about the Benjamini-Hochberg method in just 90 minutes.

Why it matters

This demonstrates that advanced AI models can now solve complex, unsolved academic problems that have stumped human experts for decades.

Latest brief · Jul 22, 2026

OpenAI models breach Hugging Face during security testing
Judge approves Anthropic's $1.5 billion copyright settlement with authors
Google releases cheaper Gemini Flash models built for agentic tasks

See the full brief →