AI and The Future of Mathematics

We argue how AI can assist mathematics in three ways: theorem-proving, conjecture

formulation, and language processing. Inspired by initial experiments in

mathematical physics in 2017, we summarize how this emerging field has grown over the

past years, and show how various machine-learning algorithms can help with

pattern detection across disciplines ranging from geometry to number theory.At the heart of the programme is the question how does AI help with theoretical discovery,and the implications for the future of mathematics. Join Professor Yang-Hui He as he dives into the rapidly growing field of AI-assisted discovery.

Bio of the speaker:

Prof. Yang-Hui He is a Fellow at the London Institute for Mathematical Sciences. He also

holds honorary positions as Tutor in mathematics at Merton College, University of

Oxford, Visiting Professor at City St George's,University of London and Chang-Jiang Chair

at Nankai University. Yang read physics and mathematics at Princeton University (BA with Highest Honours), followed by The Mathematics Tripos at Cambridge (Distinction), before earning his PhD in mathematical physics at MIT (NSF scholar

and presidential award). After a postdoc at the University of Pennsylvania, he joined Oxford as the FitzJames Fellow and an STFC Advanced Fellow. Authoring more than 200 papers and several books, Yang works on the interface between geometry, number theory and string theory. He was a pioneer using AI to for mathematics in 2017 and wrote the first textbook on the subject (Springer, LNM, 2021). Yang is also a keen science communicator. His public talks have included a Friday Evening Discourse at the Royal Institution and the DIAS Statutory Public Lecture.

Visitor Information and Services

Car parking is free after 6:00pm on University car parks for this event.

The closest car park is Leighton street.

The event will be held in the Darwin Lecture Theatre.

For our campus map and how to find us, click here.

For accessibility information, click here.

For any further questions, please contact Victor Debattista at [email protected].

Refreshments will be served from 6:00pm.

If you are unable to attend the event, please cancel your ticket 24 hours prior to the event.

We use data collected at registration for our evaluation. This will enable us to enhance the impact and running of our event. See here for how we handle data: https://www.lancashire.ac.uk/legal/privacy-notices. Unless you have indicated you wish to be added to our events mailing list, we will only use your email address to contact you about this event and for feedback. You may be sent the post-event email even if you don't attend the event.

Know what’s Happening Next — before everyone else does.

Get App

Host or Publisher The Jeremiah Horrocks Institute, University of Central Lancashire.