Superintelligence Lab

Advancing mathematical foundations and implementation of artificial general intelligence

Research

Artificial General Intelligence

Developing mathematical foundations for safe AGI systems with superhuman-level reasoning across domains.

Superhuman Mathematical Reasoning

AI that delivers formal, verifiable proofs for solving IMO problems and university-level mathematics, and collaborates with Mathematicians on open problems.

Self-Improving Systems

Research on autonomously evolving AI systems that continuously improve themselves without losing alignment.

Autonomous Scientific Discovery

Accelerating scientific research through automated hypothesis generation and experimentation.

Continual Meta-Learning

Systems that learn to learn, rapidly adapting to new domains with minimal data while retaining prior knowledge.

AI for Education

Transforming education by personalized learning systems with human oversight.

Human-AI Coevolution

Developing and understanding human-AI interaction and collaboration workflows and their economic intelligence.

Selected Publications

Artificial General Intelligence: Mathematical Foundations

Iddo Drori

Cambridge University Press, 2025 (In Progress)

www.agibook.org

Automated Research with Human Oversight

Iddo Drori, Dov Te'eni

Submitted, 2025

AI Co-Scientist for the Habitable Worlds Observatory

Avi Shporer, Iddo Drori

Towards the Habitable Worlds Observatory: Visionary Science and Transformational Technology, 2025

AI Innovation Competition

Iddo Drori, Avi Shporer, Nakul Verma, Madeleine Udell

IEEE International Conference on Automatic Face and Gesture Recognition, 2025

Diverse Inference and Verification for Advanced Reasoning

Iddo Drori, Gaston Longhitano, Mao Mao, Seunghwan Hyun, Yuke Zhang, Sungjun Park, Zachary Meeks, Xin-Yu Zhang, Ben Segev, Howard Yong, Nakul Verma, Avi Shporer, Alon Amit, Madeleine Udell

Submitted, 2025

Human-in-the-Loop AI Reviewing: Feasibility, Opportunities, and Risks

Iddo Drori, Dov Te'eni

Journal of the Association for Information Systems 25 (1), 98-109, 2024

From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams

Iddo Drori, Sarah J. Zhang, Reece Shuttleworth, Sarah Zhang, Zad Chin, Pedro Lantigua, Saisamrit Surbehera, Gregory Hunter, Derek Austin, Leonard Tang, Yann Hicke, Sage Simhon, Sathwik Karnik, Darnell Granberry, Madeleine Udell

ACM Conference on Knowledge Discovery and Data Mining (KDD), 2023

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Iddo Drori, Sunny Tran, Roman Wang, Kevin Liu, Newman Cheng, Leonard Tang, Elizabeth Ke, Nikhil Singh, Taylor Patti, Jayson Lynch, Avi Shporer, Nakul Verma, Eugene Wu, Gilbert Strang

Proceedings of the National Academy of Sciences (PNAS), 2022

Teaching

Artificial General Intelligence

Summer 2023, Fall 2023, Spring 2024, Summer 2024, Fall 2024, Spring 2025, Fall 2025

(🎓 4+/5 formal evals mean)

Deep Learning

Fall 2017, Spring 2018, Fall 2018, Spring 2019, Summer 2019, Fall 2019, Spring 2020, Summer 2021, Spring 2022, Summer 2022, Fall 2022, Summer 2023, Fall 2023, Spring 2024, Summer 2024, Fall 2024, Spring 2025

(🎓 4+/5 formal evals mean)

Artificial Intelligence

Fall 2022, Spring 2023, Summer 2023, Fall 2023, Spring 2024, Summer 2024, Fall 2024, Spring 2025

(🎓 4/5 formal evals mean)

Machine Learning

Fall 2018, Fall 2020, Spring 2021, Spring 2022, Spring 2023, Fall 2023, Spring 2024

(🎓 4/5 and 5+/7 formal evals mean)

Meta Learning

Fall 2022

(🎓 6/7 formal eval)

Data Science

Spring 2017, Spring 2018, Spring 2019

(NA)

Cybersecurity

Spring 2016, Summer 2016, Spring 2017

(NA)

Data Visualization

Fall 2016, Spring 2017

(🏅 highest formal evals)

Optimization, Computer Science Math

Fall 2017, Fall 2025

(NA)

Recent Talks

Using AI for solving the IMO and training students

IMO 2025, Sunshine Coast, Australia

Visualizations: P6 answer, Erdős–Szekeres bound and intersection property

Interview2Paper: Human oversight of self‑improving AI researchers

HHMI Janelia Research Campus

Test-time adaptation of foundation models

JPMorgan Chase

AI for solving the IMO at a gold medal level

NVIDIA

AI innovators, startups, and organizations

YPO/Harvard Presidents' Program, hosted by SUNY

Diverse inference and verification for advanced reasoning

Yeshiva University, University of Tennessee Knoxville, University of Birmingham

AI generated classes

MIT Faculty Seminar, Columbia University Senate

Learning to learn courses

MIT-CalTech-UPenn-Stanford NeuroSym Seminar

A neural network solves university math problems at human level

MIT τβπ, Da Vinci Lecture

Contact: Prof. Iddo Drori

🙏 Yeshiva University

Department of Computer Science & Engineering
205 Lexington Avenue
New York, NY 10016
iddo.drori@yu.edu

🇺🇸 Stanford University

Department of Management Science & Engineering
475 Via Ortega
Stanford, CA 94305

🇮🇱 Tel Aviv University

School of Management
30 Chaim Levanon Street
Tel Aviv, 6997801, Israel