2025 - Infosys Prizes Speech - Bangalore - "Number Theory, Pure and Applied and Speculations About Theorem Proving Machines"

 Peter Sarnak
[ infosys speech Jan 11 .pdf ]