Subscribe to Events

Download as iCal file

Lean Seminar

Mathematical reflections on recent progress

Jared Duker Lichtman

Location:  Zoom ID: 96753161671, Password: 142980
Date & time: Wednesday, 29 April 2026 at 2:00PM - 3:00PM

Recent striking results on Erdős Problems and formalization are milestones worthy of consideration, opening up new mathematical workflows.

We also reflect on long-term implications for mathematics.