IndustryThe Decoder·July 15, 2026

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 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…

This is a summary curated by AIFuture. Read the complete article at the original source:

Read the full story on The Decoder

More AI News

StartupsTechCrunch

Applied Computing wants to give oil and gas operators an AI model for the entire plant

Applied Computing has raised a $20M Series A to build a foundation AI model for the oil, gas and petrochemical industry.

Jul 16, 2026

IndustryTechCrunch

Microsoft is reportedly training salespeople to talk down OpenAI and Anthropic

Microsoft is looking to sell its in-house AI models as more efficient and cost-effective than its competitors' models.

Jul 15, 2026

ProductMarkTechPost

Thinking Machines Lab Releases Inkling: A 975B-Parameter Open-Weights Multimodal MoE With 41B Active Parameters And Controllable Thinking Effort

Thinking Machines Lab released Inkling on July 15, 2026, its first model trained from scratch. The full weights ship under Apache 2.0. It is a 975B-parameter Mixture-of-Experts transformer with 41B active parameters, a 1M-token context window, and native text, image, and audio input. The lab states plainly that Inkling is not the strongest model available, open or closed. It is positioned instead…

Jul 15, 2026