2 papers
cs.AI2026
Discovering mathematical concepts through a multi-agent system
Daattavya Aggarwal, Oisin Kim, Carl Henrik Ek +1
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…
hep-th2026
Calabi-Yau metrics through Grassmannian learning and Donaldson's algorithm
Carl Henrik Ek, Oisin Kim, Challenger Mishra
Motivated by recent progress in the problem of numerical Kähler metrics, we survey machine learning techniques in this area, discussing both advantages and drawbacks. We then revi…