PODCAST

Begin Proof

For the past several decades, mathematicians did roughly what they"d always done, they sat in rooms, filled chalkboards, and published papers, the day-to-day practice of research mathematics was stagnant from one generation to the next. That era is now ending. Since the beginning of this year, AI systems have disproved open conjectures, solved problems thought to be beyond reach, and synthesized results across fields that no single human could hold in their head. Begin Proof is a long-form

science mathematics

All Episodes

44:10

Begin Proof — Noam Brown

Begin Proof ·

2026/06/04

Last month, an OpenAI model disproved a long-standing conjecture by Paul Erdős on the planar unit distance problem, producing a construction so intricate that verifying it took a team of external mathematicians a week. In the inaugural episode of Begin Proof, Slater Stich sits down with Noam Brown, who leads work on multi-agent reasoning and test-time compute at OpenAI, and was one of the key people behind o1, OpenAI's first public reasoning model. They talk about what the Erdős result actually

1 results

Begin Proof

All Episodes

Similar Podcasts

The Deep Dive Lab: Unraveling Materials Science

Son Hoang

New Books in Political Science

New Books Network

Station 151

Pale Matter | Realm

Beyond the Divide

Koala Moon

StarTalk with Neil deGrasse Tyson

Neil deGrasse Tyson