AI · Technology · 2026-10-29 15:29
Lean creator Leo de Moura speaks with Ben Lorica about how AI is lowering the barrier to formal verification, the value of machine-checkable proofs, and a vision for trustworthy AI-generated code built on verified software stacks.
Auto-generated summary for reference only. RSS