Mohammed Abouzaid

Researcher

Mathematics

Now Professor of Mathematics · Stanford University

Latest on AI4S.fyi

TIMELINE · 2026-02-05

Eleven mathematicians release ten unpublished research questions to test whether AI can prove what they have proved

Path

Stanford UniversityProfessor of Mathematics

Sourcesmathematics.stanford.eduEducation and jobs are read from their own homepage or employer's page; papers checked on arXiv. From LinkedIn only the person's own public posts are read; GitHub is a link only.

On the timeline

2026-02-05Eleven mathematicians release ten unpublished research questions to test whether AI can prove what they have proved

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →