They Spent Years on a Math Problem. Then They Were Scooped by A.I.

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It.

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...
Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...
Forbes

AI Is Usually Bad At Math. Here’s Why It Matters

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...
Scientific American

AI scores a ‘C-’ on its hardest math test yet

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For Everyone

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI Insider analysis and scoop.

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
Texas Monthly

Is There a Better Solution to Our Public Schools’ Math Problem?

This story originally appeared in the February 2025 issue of Texas Monthly as part of our public-education feature, “What Our Schools Actually Need.” Humans have been learning math for thousands of ...