Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Food for Thought
Chenyang An
UCSD
Automatic Theorem Prover for Mathematics
Abstract:
What's the general methodology behind AI for math? AI is disrupting all industries in an unprecedented way. What might happen for mathematics? Are mathematicians ever going to be "replaced"?
October 16, 2023
1:00 PM
HSS 4025
****************************
