Every episode days early, ad-free, plus my essays: https://curtjaimungal.substack.com/subscribe Ten days after winning the Fields Medal — math's highest honor — Jacob Tsimerman joins to explain why he's leaving academia temporarily for OpenAI's AI safety team, and why he's grieving even as he does it. The conversation covers why math is one of the first fields being radically reshaped by AI, whether a proof still counts if no one can understand it, what mathematical "understanding" really means, the ethics of elite access to frontier models, his disagreements with the Leiden Declaration, and his advice for young people weighing a career in pure math in an age of rapidly advancing AI. This is an exclusive first podcast with Jacob Tsimerman. The painting in the background (which you can’t see … my fault!) was made by the talented artist Kris Davidson. Definitely check out her work here: https://www.instagram.com/hellokrisdavidson FOLLOW: - Spotify: https://open.spotify.com/show/4gL14b92xAErofYQA7bU4e - Substack: https://curtjaimungal.substack.com/subscribe - Twitter: https://twitter.com/TOEwithCurt - Discord Invite: https://discord.com/invite/kBcnfNVwqs - Crypto: https://nowpayments.io/donation/TOE - PayPal: https://www.paypal.com/donate?hosted_button_id=XUBHNMFXUX5S4 LINKS MENTIONED: - Jacob's Website: https://www.math.utoronto.ca/~jacobt/ - Jacob's Publications: https://www.semanticscholar.org/author/Jacob-Tsimerman/3130599 - Quanta's Story On Jacob [Article]: https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/ - André-Oort Conjecture: https://www.ams.org/journals/notices/202410/rnoti-p1307.pdf - Canonical Heights On Shimura Varieties And The André-Oort Conjecture [Paper]: https://arxiv.org/abs/2109.08788 - O-Minimal GAGA And A Conjecture Of Griffiths [Paper]: https://arxiv.org/pdf/1811.12230 - Ten Advances In Mathematics And Theoretical Computer Science: https://openai.com/index/ten-advances-in-mathematics/ - Thoughts About The Leiden Declaration: https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ - Tobias Osborne LinkedIn Post: https://www.linkedin.com/posts/tobias-osborne-601830a5_farewell-to-the-conjecture-prover-several-share-7487777959299276800-mxsa/ - Math For AI Safety: https://mathforaisafety.org/ - Charles Fefferman: https://en.wikipedia.org/wiki/Charles_Fefferman - G-Functions, Motives, And Unlikely Intersections [Paper]: https://arxiv.org/abs/2501.09867 - Tobias Osborne's QFT Lectures: https://www.youtube.com/playlist?list=PLDfPUNusx1EpRs-wku83aqYSKfR5fFmfS - AISI Website: https://www.aisi.gov.uk/ - Sebastian Jaimungal: https://sebastian.statistics.utoronto.ca/ - Edward Frenkel [TOE]: https://youtu.be/RX1tZv_Nv4Y - Roger Penrose [TOE]: https://youtu.be/iO03t21xhdk More links at https://curtjaimungal.substack.com Guests do not pay to appear. #science