• Start Date: April 23, 2026
• Event Start Time: 5:00 PM
• Event End Time: 6:00 PM
• Seminar Series: Experimental Math Seminar
• Presenter(s): Alex Kontorovich - Rutgers University
• Event Location: Online Event
• Presentation Type: Stand Alone Presentation
• Abstract:

  We'll discuss new uses of technology, including Lean and AI, to aid the research mathematician.