Vitalik Buterin Proposes Language to Make AI Proofs Readable

Vitalik Buterin proposes a language that compiles to Lean, making AI-generated proof claims easier for humans to verify. The post Vitalik Buterin Proposes Language to Make AI Proofs Readable appeared first on BeInCrypto.