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 ...
Scientific American

How Gödel numbers let you do math with math itself

By encoding mathematical statements into numbers, mathematician Kurt Gödel used ordinary arithmetic to check whether a ...

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

Feynman solved the ‘restaurant dilemma’ 50 years ago — now a study confirms his mathematics

An experiment with 2,520 participants backs Richard Feynman’s answer to every diner’s dilemma: do I want to try something new? In a scene that could have easily featured in an episode of the US ...