Lauren Williams

Researcher

Mathematics

Now Dwight Parker Robinson Professor of Mathematics · Harvard 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

Harvard UniversityDwight Parker Robinson Professor of Mathematics

Sourcespeople.math.harvard.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 →