/tech

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.

/tech

CryptoSlate says AI proofs could cut smart-contract verification work · Digg

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.

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

880

1 post, first seen 3h ago

1 likes1 comments

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.

Posts from X

1 post

CR
CryptoSlate@CryptoSlate 3 hrs ago
OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. For smart contracts, automated proofs could cut verification work. But they only check specified rules. An omitted withdrawal safeguard can still leave funds exposed.
cryptoslate.com
OpenAI’s math breakthrough exposes the next weak link in crypto security
OpenAI's 10,000-agent math breakthrough points toward cheaper smart-contract proofs, while leaving developers responsible for defining what must be proven.
- likes: 1
- replies: 1
- bookmarks: 0
- reposts: 0

Posts from X

1 post

CR
CryptoSlate@CryptoSlate 3 hrs ago
OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. For smart contracts, automated proofs could cut verification work. But they only check specified rules. An omitted withdrawal safeguard can still leave funds exposed.
cryptoslate.com
OpenAI’s math breakthrough exposes the next weak link in crypto security
OpenAI's 10,000-agent math breakthrough points toward cheaper smart-contract proofs, while leaving developers responsible for defining what must be proven.
- likes: 1
- replies: 1
- bookmarks: 0
- reposts: 0

Combined views

880

1 post, first seen 3h ago

1 likes1 comments

Source Posts

@CryptoSlateOpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. For smart contracts, automated proofs could cut verification work. But they only check specified rules. An omitted withdrawal safeguard can still leave funds exposed. https://cryptoslate.com/openais-math-breakthrough-exposes-the-next-weak-link-in-crypto-security/

Posts from X

1 post

CR
CryptoSlate@CryptoSlate 3 hrs ago
OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean. For smart contracts, automated proofs could cut verification work. But they only check specified rules. An omitted withdrawal safeguard can still leave funds exposed.
cryptoslate.com
OpenAI’s math breakthrough exposes the next weak link in crypto security
OpenAI's 10,000-agent math breakthrough points toward cheaper smart-contract proofs, while leaving developers responsible for defining what must be proven.
- likes: 1
- replies: 1
- bookmarks: 0
- reposts: 0