PeopleofSuperintelligence

Researcher

Anton Leykin

Anton Leykin is a Georgia Tech mathematician whose work connects computer algebra with AI research. He studied mathematics at Kharkiv University, earned a University of Minnesota PhD in 2003, and developed Macaulay2 tools for numerical algebraic geometry. In 2025, he received a Simons Fellowship for a celestial-mechanics problem and joined an AI for Math Fund project linking Lean proof verification with Macaulay2 computation. As of October 2026, he is a Georgia Tech mathematics professor and teaches Bridge to Math.

Works
128
Citations
1,298
h-index
18

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 2003

    A mathematics doctorate

    He studies mathematics at Kharkiv University as an undergraduate and earns a PhD in mathematics at the University of Minnesota in 2003.

  2. 2009–2011

    Numerical algebra in Macaulay2

    He presents a Macaulay2 package that links symbolic algebra methods with numerical polynomial homotopy continuation; its version 1.4 is accepted for a journal article in 2011.

  3. 2018

    Promotion to full professor

    Georgia Tech promotes him to full professor in 2018.

  4. 2025

    A Simons Fellowship

    He receives a Simons Fellowship in 2025 to study a celestial-mechanics problem with nonlinear algebra and tropical geometry.

  5. 2025

    A Lean–Macaulay2 interface

    His team is selected for AI for Math Fund support in 2025 to build a native Lean–Macaulay2 interface. The project aims to let Lean users call Macaulay2 functions and Macaulay2 users generate Lean proofs with AI assistance.

  6. As of October 2026

    Professor at Georgia Tech

    After postdoctoral appointments at the University of Illinois at Chicago and the Institute for Mathematics and its Applications, he is a professor in Georgia Tech’s School of Mathematics; in Fall 2026, he teaches Bridge to Math.

Career

  1. Since 2018Georgia Institute of TechnologyFull professor
  2. 2007–2008University of Minnesota
  3. 2004–2009University of Illinois Chicago
  4. University of Illinois at ChicagoPostdoctoral researcher
  5. Institute for Mathematics and its ApplicationsPostdoctoral researcher

Education

  1. 2003University of MinnesotaPhD
  2. V. N. Karazin Kharkiv National University

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Twenty-Four Hours of Local Cohomology2007 · Graduate studies in mathematics · 150 citations
  2. Newton's method with deflation for isolated singularities of polynomial systems2006 · Theoretical Computer Science · 142 citations
  3. Numerical algebraic geometry2011 · Journal of Software for Algebra and Geometry · 122 citations
  4. Solving polynomial systems via homotopy continuation and monodromy2018 · IMA Journal of Numerical Analysis · 70 citations
  5. Higher-Order Deflation for Polynomial Systems With Isolated Singular Solutions2008 · ˜The œIMA volumes in mathematics and its applications · 59 citations

From OpenAlex, as of 18 October 2026.

  1. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other universityIncludes Georgia Institute of Technology. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.
  2. Google has the highest combined h-index among AI organizationsIncludes Georgia Institute of Technology. Our estimates of combined and median h-index at AI organizations, using current affiliations and OpenAlex records.
  3. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Georgia Institute of Technology. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  4. The company share of AI researchers’ top papers rose from 3% to 32%Includes Georgia Institute of Technology. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 3% in 1975–1979 to 32% in 2020–2024.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Anton Leykin yet. Send us a free-licensed photo.

  1. Bridging Proof and Computation: A Verified Lean–Macaulay2 Interface renaissancephilanthropy.org. Checked 18 October 2026.
  2. Recent Promotions in the SoM math.gatech.edu. Checked 18 October 2026.
  3. Numerical Algebraic Geometry for Macaulay2 arxiv.org. Checked 18 October 2026.
  4. NumericalAlgebraicGeometry -- Numerical Algebraic Geometry macaulay2.com. Checked 18 October 2026.
  5. Anton Leykin Awarded Simons Fellowship sciences.gatech.edu. Checked 18 October 2026.
  6. Anton Leykin Awarded AI for Math Fund Grant sciences.gatech.edu. Checked 18 October 2026.
  7. Anton Leykin antonleykin.math.gatech.edu. Checked 18 October 2026.
  8. Anton Leykin: Teaching antonleykin.math.gatech.edu. Checked 18 October 2026.