CryptoSlate says AI proofs could cut smart-contract verification work
CryptoSlate reports that OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. The outlet cautions that automated proofs only check specified rules.
TLDR
CryptoSlate reports that OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. The outlet sees potential for automated proofs to reduce smart-contract verification work, but emphasizes a limit: they only check specified rules. An omitted withdrawal safeguard, it warns, can still leave funds exposed.
Combined views
2.1K
2 Sources, first seen 20d ago