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 - 
 Daattavya Aggarwal (University of Cambridge)
DTSTART:20260311T110000Z
DTEND:20260311T120000Z
UID:TALK245632@talks.cam.ac.uk
CONTACT:Mateja Jamnik
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 
 open challenge in the literature\, we benchmark with the task of autonomou
 sly recovering the concept of homology from polyhedral data and knowledge 
 of linear algebra. Our system completes this learning problem. Most import
 antly\, the experiments are ablations\, statistically testing the value of
  the complete dynamic and controlling for experimental setup. They support
  our main claim: that the optimisation of the right combination of local p
 rocesses can lead to surprisingly well-aligned notions of mathematical int
 erestingness.\n\n"Zoom link for online participants":https://cl-cam-ac-uk.
 zoom.us/j/6590822098\, Meeting ID: 659 082 2098 Passcode: 1dYRka\n
LOCATION:Computer Laboratory\, William Gates Building\, Room FW26
END:VEVENT
END:VCALENDAR