AI for the Working Mathematician
October 14, 2026 @ 4:30 pm - 5:30 pm
AI for the Working Mathematician
Speaker: Lauren Williams, Harvard
Title: First Proof Batch 3: Mathematicians putting AI to the test
AI for the Working Mathematician
Speaker: Lauren Williams, Harvard
Title: First Proof Batch 3: Mathematicians putting AI to the test