PeopleofSuperintelligence

Researcher

Mohammed Abouzaid

Also known as محمد أبوزيد

As of October 2026, Mohammed Abouzaid is a professor of mathematics at Stanford University and a member of the First Proof team, which tests AI systems on research-level math. He held a research fellowship from 2007 to 2012 and an associate professorship at Columbia University from 2012 to 2023. The 2017 New Horizons in Mathematics Prize honors his work on exotic spheres, the wrapped Fukaya category, and symplectic topology. The American Mathematical Society chose him as one of its new Fellows for 2018. The First Proof team shares ten research-level math questions and releases its solutions in February 2026.

Works
79
Citations
1,561
h-index
21

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 2007–2012

    A research fellowship

    He holds a research fellowship from 2007 to 2012.

  2. 2012–2023

    Associate professor at Columbia

    He takes an associate professorship at Columbia University in 2012 and holds it until 2023.

  3. 2017

    The New Horizons Prize

    He wins the 2017 New Horizons in Mathematics Prize. The prize honors his work on cotangent bundles of exotic spheres, the wrapped Fukaya category built with Paul Seidel, and symplectic topology.

  4. 2018

    Named an AMS Fellow

    He is chosen as one of the new AMS Fellows for 2018.

  5. February 2026

    A First Proof problem set

    He is a member of the First Proof team, which shares ten research-level math questions to assess AI systems. The team releases its solutions in February 2026.

  6. As of October 2026

    Professor at Stanford

    He joins Stanford's mathematics department as a professor in 2023, and he is a member of the First Proof team.

Sources and credits

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

  1. Mohammed Abouzaid - Wikipedia en.wikipedia.org. Checked 15 October 2026.
  2. Mohammed Abouzaid | Mathematics mathematics.stanford.edu. Checked 15 October 2026.
  3. Mohammed Abouzaid – 2017 New Horizons in Mathematics Prize breakthroughprize.org. Checked 15 October 2026.
  4. Department of Mathematics at Columbia University math.columbia.edu. Checked 15 October 2026.
  5. First Batch | First Proof Project 1stproof.org. Checked 15 October 2026.
  6. [2602.05192] First Proof arxiv.org. Checked 15 October 2026.
  7. First Proof is AI’s toughest math test yet. The results are mixed | Scientific American scientificamerican.com. Checked 15 October 2026.