Post #2920385

@jesusmargar@mastodon.social @tao@mathstodon.xyz The underlying questions in the discussion are, why bother to prove theorems? What is the purpose? And, do AI proofs contribute to that purpose?