This event is in the past.It took place on November 4, 2025 at East Hall.
Educational TalkEducational TalkExplore the future of mathematics with AI at this thought-provoking colloquium. Professor Matthew Ballard delves into how formal verification tools and AI are reshaping mathematical proofs and fostering new collaborations.
AI and Mathematics
Academic Colloquium
Future of Proofs
Formal Verification
Colloquium: Matthew Ballard - Trust and Proof in the Age of AI
Burns Park
Educational TalkEducational TalkExplore the future of mathematics with AI at this thought-provoking colloquium. Professor Matthew Ballard delves into how formal verification tools and AI are reshaping mathematical proofs and fostering new collaborations.
AI and Mathematics
Academic Colloquium
Future of Proofs
Formal Verification
Make it an outing
Add nearby spots before or after your event