![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Kevin Buzzard (Imperial College London)
Thursday 07 September 2023, 11:00-12:00
Machine learning and formal verification in mathematics
â ī¸ Important: BLH - Black holes: bridges between number theory and holographic quantum information
- đ¤ Speaker: Kevin Buzzard (Imperial College London)
- đ Date & Time: Thursday 07 September 2023, 11:00 - 12:00
- đ Venue: Discussion Room, Newton Institute
Questions? Contact
the organiser
Abstract
I’ll give an overview of how machine learning is affecting modern mathematics and will speculate about whether formal verification can somehow help.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Discussion Room, Newton Institute
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
Note: Ex-directory lists are not shown.