Resources · 2026

Workshop on Algebraic Geometry and Machine Learning

Schedule

June 22–26, 2026 · ICARM, Pittsburgh — Panther Hollow meeting room, 4th floor, Robert Mehrabian Collaborative Innovation Center.

Monday · June 22

TimeSession
8:30–9:00Arrival & check-in
9:00–9:10Welcome — Jeremy Avigad, ICARM Director
9:10–10:10François Charton — Two uses of AI in experimental mathematics
10:10–10:45Coffee & snacks
10:45–11:45David Renshaw — Collaborative Websites and an AlphaEvolve Demo
11:45–1:30Lunch
1:30–3:00Project idea presentations I
3:00–3:30Coffee & snacks
3:30–4:45Project idea presentations II
4:45–5:30Working-group sign-up

Tuesday · June 23

TimeSession
9:00–10:00Coco Huang — Using Coding Agents to Find High Rank Low Conductor Elliptic Curves
10:00–10:45Coffee & snacks
10:45–11:45Drew Sutherland — Using the LMFDB MCP
11:45–1:30Lunch
1:30–3:00Working groups
3:00–3:30Coffee & snacks
3:30–4:45Working groups
4:45–5:30Progress updates — larger-group discussion

Wednesday · June 24

TimeSession
9:00–10:00Gergely Bérczi — AI-assisted algebraic geometry: from conjectures to agentic workflows
10:00–10:45Coffee & snacks
10:45–11:45Alexey Pozdnyakov — On (not) learning the Möbius function
11:45–1:30Lunch
1:30–3:00Working groups
3:00–3:30Coffee & snacks
3:30–4:45Working groups
4:45–5:30Progress updates — larger-group discussion

Thursday · June 25

TimeSession
9:00–10:00Seewoo Lee — Machine Learning Number Theory
10:00–10:45Coffee & snacks
10:45–11:45Mohammed Abouzaid — How do AI systems prove math theorems?
11:45–1:30Lunch
1:30–3:00Working groups
3:00–3:30Coffee & snacks
3:30–4:45Working groups
4:45–5:30Progress updates — larger-group discussion

Friday · June 26

TimeSession
9:00–10:00Panel discussion, Part 1 — Perspectives on AI and ML
10:00–10:45Coffee & snacks
10:45–11:45Panel discussion, Part 2 — Perspectives on AI and ML
11:45–1:30Lunch
1:30–3:00Working groups prepare presentations
3:00–3:30Coffee & snacks
3:30–4:45Project presentations
4:45–5:30Project presentations continued

Participants (34)

  • Mohammed Abouzaid — Stanford University
  • Jennifer Balakrishnan — Boston University (Organizer)
  • Gergely Berczi — Aarhus University
  • Jim Bryan — University of British Columbia
  • François Charles — École Normale Supérieure-PSL
  • Edgar Costa — Massachusetts Institute of Technology
  • Dimitri Dine — University of California San Diego
  • Thomas Hales — University of Pittsburgh
  • Junaid Hasan — University of Washington, Seattle
  • David Holmes — Universiteit Leiden
  • Xiaoyu Huang — Temple University
  • Jennifer Johnson-Leung — University of Idaho
  • Matthew Larson — Princeton University
  • Seewoo Lee — EPFL
  • Anton Leykin — Georgia Tech
  • Wanlin Li — Vanderbilt University
  • Julia Lindberg — Georgia Tech
  • Alexey Pozdnyakov — Princeton University
  • Rachel Pries — Colorado State University
  • David Renshaw — ICARM (Engineer)
  • Sharon Robins — Carnegie Mellon University
  • Manami Roy — Lafayette College
  • Mahrud Sayrafi — University of Nebraska, Lincoln
  • Arul Shankar — University of Toronto
  • Padmavathi Srinivasan — Boston University
  • Andrew Sutherland — MIT (Organizer)
  • Burt Totaro — UCLA
  • Anthony Varilly Alvarado — Rice University
  • Carl Wang-Erickson — University of Pittsburgh
  • Jay Yang — Vanderbilt University
  • Calvin Yost-Wolff — University of Michigan
  • Josephine Yu — Georgia Institute of Technology
  • Michael Ruofan Zeng — University of Washington
  • Daniel Krashen

← Back to event