bluesky — em — 16 Sep 2026
There really isn't any reason that proofs of theorems must be simple enough for a single human (or even the entire mathe…
#ai-mathematics #formal-verification #proof-theory
There really isn't any reason that proofs of theorems must be simple enough for a single human (or even the entire mathematics community) to understand, at some point we may actually need ai and some measure of faith in formal verification to progress.