bluesky — Aaron Gray — 14 Sep 2026
Mathematical proofs of the $1M Millennium Prize Problems or like problems are not simple stuff and AI proofs still have…
#ai-mathematics #formal-verification
Mathematical proofs of the $1M Millennium Prize Problems or like problems are not simple stuff and AI proofs still have to be checked by humans and again that is not simple and takes time to exhaustively check. AI generated proofs to are genreally massive and not necessarily optimal.