Axiom-Aware FunSearch for Non-Constructive Mathematics
- Max Esposito
- Besart Shyti
- 2025
- NeurIPS 2025
I am a Research Scientist at IBM Research Europe, based in Hursley, UK. I defended my Ph.D. at Imperial College London in 2019, with a thesis in pure mathematics on new types of quantisation for pseudo-differential operators. Since then, I have become increasingly interested in AI and the interplay between AI and mathematics, working in AI start-ups such as Altered and Speechmatics.
In 2023, I moved to IBM. My research here is heavily focused on AI for Science, and more recently on AI for Mathematics and Mathematics for AI. Previously, I worked on AI for Chemistry, including accelerating Molecular Dynamics using autoregressive equivariant neural networks, an upcoming projects on diffusion models for molecular generation, and AI for Quantum Computing.
At the moment, I am working on mathematical and AI algorithmic discovery.