Automated AI theorem proving has moved the frontier: The holy grail is not an AI that can produce an endless pile of true theorems. It’s an …
DGX agentAutomated AI theorem proving has moved the frontier: The holy grail is not an AI that can produce an endless pile of true theorems. It’s an AI that can discover mathematics, and build each discovery i