BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Discovering mathematical concepts through a multi-agent system - D
 aattavya Aggarwal
DTSTART:20260311T110000Z
DTEND:20260311T120000Z
UID:TALK245614@talks.cam.ac.uk
CONTACT:Challenger Mishra
DESCRIPTION:Mathematical concepts emerge through an interplay of processes
 \, including experimentation\, efforts at proof\, and counterexamples. In 
 this paper\, we present a new multi-agent model for computational mathemat
 ical discovery based on this observation. Our system\, conceived with rese
 arch in mind\, poses its own conjectures and then attempts to prove them\,
  making decisions informed by this feedback and an evolving data distribut
 ion. Inspired by the history of Euler's conjecture for polyhedra and an op
 en challenge in the literature\, we benchmark with the task of autonomousl
 y recovering the concept of homology from polyhedral data and knowledge of
  linear algebra. Our system completes this learning problem. Most importan
 tly\, the experiments are ablations\, statistically testing the value of t
 he complete dynamic and controlling for experimental setup. They support o
 ur main claim: that the optimisation of the right combination of local pro
 cesses can lead to surprisingly well-aligned notions of mathematical inter
 estingness.\n\nZoom:\nhttps://cl-cam-ac-uk.zoom.us/j/6590822098\n\nMeeting
  ID: 659 082 2098\nPasscode: 1dYRka\n\nhttps://arxiv.org/abs/2603.04528
LOCATION:Computer Lab\, FW26 and Online (link in abstract)
END:VEVENT
END:VCALENDAR