A Multi-Agent System for Mathematical Discovery

Add to your list(s) Download to your calendar using vCal

• Daattavya Aggarwal, Department of Computer Science, University of Cambridge
• Monday 24 March 2025, 12:30-13:00
• SS03 Seminar Room, Willam Gates building (Department of Computer Science and Technology).

If you have a question about this talk, please contact .

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.

This talk is part of the Accelerate Lunchtime Seminar Series series.

This talk is included in these lists:

• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Interested Talks
• SS03 Seminar Room, Willam Gates building (Department of Computer Science and Technology)
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.