bluesky — Keith — 2 Oct 2026
Especially wrt the Math stuff, there is no "mistaking" a proof. It either is or isn't. It is impossible for the training…
#automated-theorem-proving #ai-capabilities #mathematical-cognition
Especially wrt the Math stuff, there is no "mistaking" a proof. It either is or isn't. It is impossible for the training to have memorized proofs to unsolved problems. I think at that point "it is capable of cognition equivalent of a high-functioning mathematician" ought to be the null hypothesis.