What Happens to Software When Proof is Cheap?
0:00 · Watch on YouTube
AI-generated code can't be trusted by inspection, but cheap AI-generated proofs checked in Lean could provide scalable trust — if we solve world-modeling and especially specification.