(Fun)damental Uses of AI in Math:Formalization and Autoformalization
Mon, 6 Apr 2026 at 10:30
Free entry
Indoor
About
Columbia researchers Alex Kontorovich and Henry Yuen discuss how AI and automated reasoning are changing the formalization of mathematical arguments, including autoformalization of informal proofs. The talk at Schapiro CEPSR's Davis Auditorium (Room 412) covers key challenges and recent progress at the intersection of AI and math.
More Lecture in New York City
Astro on Tap NYC 170: Seeing Green!
Tue, 17 Mar 2026New York City Hall
FreeIdeas For Generating New Revenue
Wed, 18 Mar 2026Greene Space, 44 Charlton St
FreeMedicine Grand Rounds
Wed, 18 Mar 2026NewYork-Presbyterian Hospital, 622 W. 168 St., New York, NY 10032 P&S Amphitheater 1
FreeWorld on Wednesday: Korean Work Culture beyond K-Pop
Wed, 18 Mar 2026College of Staten Island
Free