Autoformalization and Verifiable Superintelligence with Christian Szegedy

Christian Szegedy discusses autoformalization, the translation of informal mathematics into machine-verifiable statements and proofs. He contrasts fallible language-model reasoning with formal guarantees, considers how verified data could support stronger AI systems, and explains his perspective on safety, scientific discovery and the longer-term role of AI in understanding ourselves.