|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Machine learning and formal verification in mathematics
Machine learning and formal verification in mathematicsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BLH - Black holes: bridges between number theory and holographic quantum information I’ll give an overview of how machine learning is affecting modern mathematics and will speculate about whether formal verification can somehow help. This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsRobinson College Electronics Knowledge Transfer Network Technology UpdatesOther talksNuclear Energy and Net Zero Scaling up from individual interactions to biodiversity dynamics An introduction to the Langlands Program Bayesian inference of a non-local proliferation model AIoT for Safer, Healthier, and Smarter Environments |
Kevin Buzzard (Imperial College London)
Thursday 07 September 2023, 11:00-12:00