Login / Signup

Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence.

Samuel Allen Alexander
Published in: SEFM (2020)
Keyphrases
  • artificial general intelligence
  • mathematical knowledge
  • human level
  • general intelligence
  • theorem prover
  • computer software
  • theorem proving
  • machine learning