Dr. Laura Monk | Formalising mathematics and spectral geometry in Lean
Title: Formalising mathematics and spectral geometry in Lean Speaker: Dr Laura Monk (University of Bristol) Date: 21st Apr 2026 - 12:00 to 12:45 🗓️ Event: (GSTW07) AI in Spectral Geometry, perspectives and directions: the Round Table 🔗 Find out more: https://www.newton.ac.uk/seminar/50090 ------------------- FOLLOW US 🌐| Website: https://www.newton.ac.uk 🎥| Main Channel: / @isaacnewtoninstitute 🐦| Twitter: / newtoninstitute 💬| Facebook: / newton.institute 📷| Instagram: / isaacnewtoninstitute 🔗| LinkedIn: / isaac-newton-institute-for-mathematical-sc... SEMINAR ROOMS 🥇| INI Seminar Room 1: / @iniseminarroom1 🥈| INI Seminar Room 2: / @iniseminarroom2 🛰️| INI Satellite Events: / @inisatellite ABOUT The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period. 👉 Learn more about us and our events here: https://www.newton.ac.uk
"First Proof: Mathematicians Putting AI to the Test" March 14, 2026
Quaternions - Freya Holmer | NGJ2025
Dr. Anders Hansen | Necessary mechanisms for super AI and stopping hallucinations: The consistent...
Dr. Laura Monk | Counting geodesics on random Weil-Petersson surfaces
Peter Sarnak | The Riemann Hypothesis
The Ocean of Numbers: How India Shaped the Way We Calculate
What does research in mathematics look like?
The French Do Not Care About Work
Conan O’Brien Delivers the Commencement Address | Harvard Commencement 2026
Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory
The FORGOTTEN Prophecies Of Hildegard Von Bingen
Juilliard Pianist Reacts to (and Corrects) Viral Piano Tips
University of Cambridge Maths Admissions Interview
Mathe-News 🚨 KI löst das Erdős-Einheitsabstand-Problem!
Prof. Justin Solomon | Machine Learning for Spectral Geometry and Vice Versa
Trump Brags About His Brain, Crowd Size & Pool, CBS Fires Scott Pelley & Don Jr's Honeymoon Video
The Hardest Questions in Physics | World Science Festival
From the Origins of Twistor Theory to Bi-Twistors and Curved Space-Times
Prof. Javier Gómez-Serrano | AI-Driven Mathematical Discovery: Singularities, Algorithms, and Beyond
