automatic theorem prover for mathematics

printable pdf

比利时vs摩洛哥足彩 ,
university of california san diego

****************************

food for thought

chenyang an

ucsd

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