Director at Institute for Computer-Aided Reasoning in Mathematics
Argues mathematicians should own and deploy AI rather than resist it, noting AI will prove theorems better than humans.
Referenced in coverage
“Argues mathematicians should own and deploy AI rather than resist it, noting AI will prove theorems better than humans.”