Computer programs vs. math proofs @SimonsFoundation
Computer programs vs. math proofs  @SimonsFoundation
Uploaded July 2026 | Updated September 2026, 2 weeks ago
Author Kevin Hartnett chats about the similarities between computer programs and math proofs in an interview with Quanta Books' Thomas Lin about Hartnett's new book, "The Proof in the Code." Watch full interview on our channel.
Computer programs vs. math proofsAbbey Bourdon: Isolated Points on Modular CurvesJim Simons: Three Amazing CareersMatthew Emerton: Describing Eisenstein Cohomology via Categorical LanglandsSarah Cen: Bridging the Gap Between Research and Policy in AI Safety...(February 5, 2026)Mahesh Kakde: Ritter–Weiss Modules and the Brumer–Stark ConjectureICM 2026 Chern Medal Award Lecture - Graeme SegalNeil Cornish: Observing Strong Gravity Phenomena[...]Alexandre Chorin - Understanding Turbulence through DataNorman Yao: A Universal Theory of Spin Squeezed Entanglement (October 17, 2025)ICM 2026 Plenary Lecture - Jacob LurieAlex Ionescu: On the Wave Turbulence Theory of 2D Gravity Waves
Simons Foundation |

Computer programs vs. math proofs

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER