Special Colloquium: Topics in computers and mathematics

Advances in computation and machine learning are changing the way we do pure mathematics and theoretical physics. Using examples from differential geometry, finite group theory and other fields, I will survey some directions which I believe will have major impact during the coming decade: machine learning, ML inspired numerical methods, computer assisted proofs and interactive theorem proving.

Registration is required to receive the Zoom information.

Please go here to register.