3 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-th2024
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 revis…
math-ph2021
Kontsevich's deformation quantization: from Dirac to multiple zeta values
Oisin Kim
One way of reconciling classical and quantum mechanics is deformation quantization, which involves deforming the commutative algebra of functions on a Poisson manifold to a non-com…