bluesky — aured — 7 Oct 2026
Proofs are fine if after being read, the meaning overlaps with the appropriate usage. Then if an AI generated a proof, c…
#ai-mathematics #proof-verification #mathematical-epistemology
Proofs are fine if after being read, the meaning overlaps with the appropriate usage. Then if an AI generated a proof, congrats! You can write a paper knowing the argument contained is correct. But you can't call something a proof if you don't read it!