Friday 30 October 2026 | Simons Center for Geometry and Physics, Stony Brook University
Times below are Stony Brook local time.
All talks will take place in the Simons Center Auditorium, room 103, unless otherwise indicated
How does a mathematical idea emerge when researchers work with AI? At the Simons Center, three talks on the Shafarevich conjecture, the six-sphere, and a Kuznetsov conjecture will present recent work and the role of AI in its development. A discussion will then bring mathematicians and physicists together to consider proof, explanation, and new directions for discovery. Drawing on concrete examples, participants will ask how these tools change the choice of problems, the judgment needed to pursue them, and the education of young researchers. The two sessions share a common question: what do we want AI to make possible in scientific life?
Schedule:
First Session: 1:30–3:00 p.m. | Recent AI-assisted work in mathematics
1:30–2:00 Ludmil Katzarkov · Shafarevich conjecture
2:00–2:30 Ernesto Lupercio · S6
2:30–3:00 Leonardo Francisco Cavenaghi · Kuznetsov conjecture
3:00–3:15 p.m. | Break
Session 2: 3:15–5:15 p.m. | Discovery and understanding in the age of AI
3:15–3:20 Welcome and connection to the research talks
3:20–3:50 Proof and understanding
3:50–4:20 Discovery in mathematics and physics
4:20–4:50 Research and education
4:50–5:10 Audience questions
5:10–5:15 Closing reflections
