Uploaded June 2026 | Updated September 2026, 3 days ago
The 25th Midrasha Mathematicae on Groups, Expanders and Codes -- Celebrating Alex Lubotzky's 70th birthday.
Day 3, Session 5
Speaker: Shmuel Weinberger (Chicago)
Title: Intelligence, Natural and Artificial, Early Lessons from the First Proof Project.
Abstract: As far back as we have records of people’s thoughts, they have succeeded – using a variety of methods – in having humans achieve intellectual feats that supersede natural human abilities. Modern AI promises much more – the analog for thought of the replacement of levers by machinery for physical labor. The First Proof project , which started in February, aims to assess current capabilities of AI’s in doing research math, and inform the study of how to best use AIs for research. In this talk, I will describe my experiences and explore some possible implications.
The 25th Midrasha Mathematicae on Groups, Expanders and Codes -- Celebrating Alex Lubotzky's 70th birthday.
Day 3, Session 5
Speaker: Shmuel Weinberger (Chicago)
Title: Intelligence, Natural and Artificial, Early Lessons from the First Proof Project.
Abstract: As far back as we have records of people’s thoughts, they have succeeded – using a variety of methods – in having humans achieve intellectual feats that supersede natural human abilities. Modern AI promises much more – the analog for thought of the replacement of levers by machinery for physical labor. The First Proof project , which started in February, aims to assess current capabilities of AI’s in doing research math, and inform the study of how to best use AIs for research. In this talk, I will describe my experiences and explore some possible implications.
