Smithsonian Magazine

A.I. May Have Solved a Longstanding Math Problem With a Million-Dollar Prize. It Ignited a Controversy Over Who Gets Credit

OpenAI announced a solution to the Navier-Stokes problem. But could its A.I. models have used data from two mathematicians ...

Report: Black students’ exclusion from high-quality math has dire consequences

The 74 reports Black students are historically excluded from quality math, leading to dire academic and professional outcomes, with only 6% in AP math classes.

It took OpenAI's agents 130 billion tokens to crack a 90-year-old math problem

OpenAI wanted to see if its agents could solve a long unsettled math problem. After gobbling billions of tokens, it found a ...

OpenAI solves longstanding math problem with 10,000-agent swarm — but can't rule out benefitting from a researcher's private Codex data

As companies entrust AI systems with increasingly valuable intellectual property, the policies governing model training, ...
Wall Street Journal

AI Just Had Another Math Breakthrough—With Help From a High-School Dropout

On a recent Sunday night, an employee at Anthropic was out for a jog in San Francisco, opened the Claude app on his phone and instructed the outrageously powerful AI model in his pocket to solve the ...
The Verge

The AI takeover of mathematics has begun

OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field. If you buy something from a ...
Geeky Gadgets

OpenAI Astra Solves 10 Math Problems with Logical Accuracy

OpenAI’s latest AI model, Astra, has gained attention for solving ten significant mathematical problems, including breakthroughs in sphere packing and geometric conjectures. These areas have ...
Geeky Gadgets

OpenAI Astra Solves 10 Unsolved Math and Computing Problems

OpenAI’s Astra has achieved a significant milestone by solving ten previously unsolved problems in mathematics and theoretical computer science. This achievement highlights Astra’s advanced reasoning ...
quantamagazine.org

Why the Legendary Erdős Problems Are Falling to AI

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model — one not available to the public — had come up with a counterexample to the “unit distance” ...
SiliconANGLE

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, produced new results for 10 problems in mathematics and theoretical computer ...
Bleeping Computer

OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer ...
techtimes

OpenAI’s Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...