Subscribe to Events
Some thoughts on Math+AI
Alex Kontorovich
Location: Hill 423
Date & time: Thursday, 27 February 2025 at 3:30PM - 4:30PM
Abstract: We discuss some issues at the intersection of Math+AI through the lens of formalization.