Ill-Posed

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

Read the source →

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!

0 comments