Intelligence: Natural and Artificial – Early Lessons from the First Proof Project Shmuel Weinberger (The University of Chicago)

Date: 
Tue, 16/06/2026

The 25th Midrasha Mathematicae on Groups, Expanders and Codes: A Public Lecture in honor of Alex Lubotzky’s 70 birthday


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 Prof. Weinberger from the department of Mathematics in The University of Chicago  will describe his experiences and explore some possible implications.

 

Shmuel Weinberger is the Andrew MacLeish Distinguished Service Professor of Mathematics at the University of Chicago.  He received his Ph.D. from the Courant Institute and has been mainly at Chicago since.  He likes working on problems that have a geometric aspect - whether they are themselves geometry problems or are in other fields such as economics or machine learning but have a hidden geometric side.   He is on the boards of the Institute for Mathematical and Statistical Innovation and of the National Institute for Theory and Mathematics in Biology, and is a Fellow of the American Mathematical Society and the American Association for the Advancement of Science.  He also is on the board of the First Proof Project.


Photo Credit: Smadar Yaari-Bergman


The lecture will take place at the IIAS Lecture Hall 130, The Hebrew University of Jerusalem, Edmond J. Safra Campus, Givat Ram, Jerusalem, and will be followed by a reception.

 

Please note – participants of the Midrasha Mathematicae do not need to register as the open lecturer is part of the program.

 

Register Here

To the Midrasha Mathematicae Program