• Start Date: October 1, 2025
• Event Start Time: 2:00 PM
• Event End Time: 3:00 PM
• Seminar Series: AI and Mathematics Seminar
• Presenter(s): Alex Kontorovich - Rutgers University
• Event Location: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
• Presentation Type: Stand Alone Presentation
• Abstract:

  We'll do a "show and tell" of what it's like to try to formalize some basic mathematics in Lean, with help from AI.