- #1
SamRoss
Gold Member
- 254
- 36
- TL;DR Summary
- With automated theorem proving, what is left for mathematicians other than perhaps inputting weird axioms?
With automated theorem proving, what is left for mathematicians other than perhaps inputting weird axioms? Or are the machines not as sophisticated yet as I'm assuming they are?