ParasocialDownload on theApp Store

Marketplace Tech

What it means when AI helps solve complex math problems

9 min

3 min preview

Listen to the full episode

Do not have it yet? Parasocial is a podcast player by Super Simple.

About this episode

In September, OpenAI said that its models had solved one of math's famous Millennium Prize problems. Then, the lab dropped more than 700 papers tackling another 400 complex problems with more breakthroughs to come. These developments have caused something of an existential crisis in the math world. But Alex Kontorovich, a professor of math at Rutgers University, says they're a gift. More on this: “Sharing AI progress in mathematics” from OpenAI “OpenAI Releases Findings on 377 Math Problems, Further Roiling Field” from The New York Times “The Shape of Math To Come” from arXiv

What it means when AI helps solve complex math problems — Marketplace Tech