A Multi-Agent System for Mathematical Discovery
- đ¤ Speaker: Daattavya Aggarwal, Department of Computer Science, University of Cambridge
- đ Date & Time: Monday 24 March 2025, 12:30 - 13:00
- đ Venue: SS03 Seminar Room, Willam Gates building (Department of Computer Science and Technology)
Abstract
The practice of working mathematicians shows that the process of discovering novel, interesting mathematics often involves discussions amongst multiple experts and making mistakes. Making false (yet interesting) conjectures and failed attempts to prove them can be driving forces for progress in the field. Moreover, there is an inherent social aspect to judging both the correctness and value of research level math. In this talk, I discuss our proposal for a multi-agent reinforcement learning architecture that incorporates these aspects of the mathematical process, aiming to learn interesting statements purely from mathematical data.
Series This talk is part of the Accelerate Lunchtime Seminar Series series.
Included in Lists
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- Guy Emerson's list
- Interested Talks
- Interested Talks
- ndk22's list
- ob366-ai4er
- rp587
- SS03 Seminar Room, Willam Gates building (Department of Computer Science and Technology)
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Daattavya Aggarwal, Department of Computer Science, University of Cambridge
Monday 24 March 2025, 12:30-13:00