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 means, where the models are superhuman and where they still aren't, and what working mathematicians will be doing in a few years.

X

Slater: https://x.com/slaterstich

Noam: https: ...