ManifoldActiveMULTIPLE_CHOICE · cpmm-multi-1

How will a blank-slate AI first prove the infinitude of primes?