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 ...
Nature

Humans outperform AI at this highly rigorous mathematics test

A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.
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

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...