Using AI for Mathematical Research
Artificial Intelligence (AI) is having a major impact on mathematical research (as well as on many other activities). This is a day to share experience of, or views about, using AI (specifically, large language models) for mathematical research, from members of 果冻传媒 in Mathematics, Computer Science, Statistics and beyond. In addition to a few solicited talks there will be opportunity for many brief presentations. If you would like to say something, email R.S.MacKay@warwick.ac.uk, indicating your availability within the times below.
The meeting is free to attend, with lunch and refreshments provided.
Organisers: Robert MacKay, Christian Ikenmeyer
Date: Wednesday 25th November 2026
Location: B3.01 & B1.01 Zeeman building
Registration form:
Who should attend?: Anyone with an interest in how AI is being used for mathematical research.
Outline Programme
| 11:00 - 12:00 |
B3.01 Talks |
| 12:00 - 12:45 |
Lunch in Maths common room |
| 13:00 - 14.30 |
Gap for Computer Science Colloquium (expected Kevin Buzzard, L4, Science concourse) |
| 14.45 - 15.00 | Tea/coffee in Maths common room |
| 15.00 - 16.30 | B1.01 Talks |
| 16.30 - 17.00 | B1.01 Discussion |
| 17:00 - 18.00 |
Drinks and nibbles in Maths common room |
Join (in person): Please register at the above link.
Aims of the meeting: This meeting aims to bring together people with an interest in using AI for mathematical research, with a view to informing each other and the potential to stimulate collaborations between members of mathematics and other departments.