k
keynews.ai
keynews.ai
FrontierThe story, in brief

AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades

GPT-5.4 Pro just did what mathematicians couldn't for decades. Here's what that means for reasoning at scale.

Reporting by Forbes Innovation 1 min brief
Illustration of a transparent lens revealing connected networks across layers of paper.
Exploring the next frontier of AI research.AI illustration by KeyNews
The KeyNews take

Why it matters

A major capability milestone demonstrating AI reasoning depth on unsolved problems—critical benchmark for enterprise decision-making on next-gen model adoption and reasoning-heavy workflows.

The key facts

4 to know

  1. GPT-5.4 Pro solved a decades-long number theory conjecture

  2. Proof strategy novel to mathematical community

  3. Published April 2026 on Forbes

  4. Demonstrates advanced reasoning capability milestone

Go to the source

Forbes Innovationforbes.com

Publisher excerpt: GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.
Read original report
Back to today's editionMore frontier news

The wider picture

View all
Illustration of a transparent lens revealing connected networks across layers of paper.
AI illustration by KeyNews
Frontier01

Alibaba Unveils Zhenwu V900 — and Plans Qwen Models With Up to 10 Trillion Parameters

Alibaba is advancing on two fronts simultaneously: announcing a custom AI accelerator (Zhenwu V900) and committing to massive model scale (10T parameters for future Qwen releases). For practitioners, this matters as a credible third-party capability play outside the US-China licensing squeeze; for enthusiasts, it's a significant lab-race signal about training compute and parameter scaling as competitive levers.

TechRepublic
Illustration of a transparent lens revealing connected networks across layers of paper.
AI illustration by KeyNews
Frontier02

Kyutai Releases Voice of Reason: A Speech-Native Model that Solves Spoken Math with Reinforcement Learning

A new capability frontier: models that reason directly in speech without transcription bottlenecks. This changes how we think about multimodal reasoning and what's possible with open-weight releases at scale.

MarkTechPost
Illustration of a transparent lens revealing connected networks across layers of paper.
AI illustration by KeyNews
Frontier03

Claude Opus 5.5, GPT-6 Sol, GPT-6 Luna, and a new price war

Frontier labs are shipping upgraded reasoning and multimodal models in rapid succession, signaling acceleration in the capability race. Simultaneous price cuts reshape AI economics for practitioners.

Simon Willison