| Thursday 13 March 2025 | |
| Events for day: Thursday 06 March 2025 |
| 14:00 - 16:00 Mathematical Logic Weekly Seminar New Frontiers of Formal Proof Revolution School MATHEMATICS Mathematicians have used machines and datasets to aid their research for millennia. In our time, computational tools such as computer algebra systems, SAT/SMT solvers, Reinforcement Learning, and LLMs play an increasingly central role in mathematical discovery. Complementing these, formal verification and proof assistants ensure the correctness of mathematical arguments, providing mathematicians with instant and extremely high confidence in formalized results and enabling large-scale collaboration. This formal proof revolution is transforming how we produce, organize, and interact with mathematical knowledge. In this talk, I will intro ... |