2025 FrontierMath Symposium
This two-day retreat brings mathematicians together to explore AI's future in the discipline and finalize a benchmark problem set testing AI's mathematical capabilities. Collaborate on research-level problems resistant to foreseeable AI — travel stipends are provided for accepted participants.
Panel of judges
Sergei Gukov | Topology
Sergei Gukov is John D. MacArthur Professor of Theoretical Physics and Mathematics at Caltech. His research covers a wide variety of topics under the umbrella of mathematical physics, including quantum topology, categorification of 3-manifold invariants, and applications of gauge theory to the geometric Langlands program. He has recently been developing a program to better understand machine learning’s potential applications to some concrete problems in algebra. Sergei shared his thoughts on AI in mathematics in Epoch AI’s first math chat.
Paata Ivanisvili | Analysis
Paata Ivanisvili is an Associate Professor of Mathematics at UCI. His research is at the intersection of many subfields of analysis, including PDE, probability theory, geometric functional analysis, and applications of discrete analysis to quantum computing. In joint work with Handel and Volberg, he proved that the Rademacher and Enflo types of Banach space theory coincide. Paata has compiled his research and exposition notes into a blog Zeros and Ones. One of his most popular posts is on the Aaronson-Ambainis Conjecture, of which he notably discovered a flaw in a high-profile attempt to resolve.
Ken Ono | Number Theory
Ken Ono is the Marvin Rosenblum Professor of Mathematics at the University of Virginia. His research spans a great multitude of topics in number theory, with groundbreaking results on the Jensen-Polya criterion for the Riemann Hypothesis, Ramanujan’s congruences, Rogers-Ramanujan identities, and umbral moonshine. He also engages in many mentorship and community outreach activities, including running a prominent REU program, hosting a STEM podcast for UVA, and applying mathematical analysis to coach Olympic swimmers. Ken shared his thoughts on AI in mathematics in Epoch AI’s first math chat.
Igor Pak | Combinatorics
Igor Pak is a Professor of Mathematics at UCLA. His research covers many areas of discrete mathematics, including enumerative and algebraic combinatorics, convex geometry, and discrete probability theory. Igor discusses his work and many topics of broad mathematical and academic interest on his blog. Recently, he along with two graduate students (Nikitia Gladkov and Alexander Zimin, both of whom have also had involvement with FrontierMath) constructed a counterexample to the Bunkbed Conjecture of percolation theory.
Ravi Vakil | Algebraic Geometry
Ravi Vakil is the Robert Grimmett Professor Mathematics at Stanford and is the President of AMS. His research has made fundamental contributions to many topics in algebraic geometry, including Gromov-Witten Theory, enumerative geometry, and Schubert calculus. Has has supported the math community in many ways throughout his career, such as his contributions to the development of MathOverflow and freely sharing his popular algebraic geometry notes. Ravi recently shared his thoughts on the future of collaboration between human and machine mathematical intelligence in a National Academies webinar.
Schedule
A complete schedule will be released May 10, 2025. Please check back for more details.