Lean 之父 de Moura 谈 Collatz 事件与 AI 时代形式化验证

Lean 与 Z3 创造者 Leonardo de Moura 在 Machine Learning Street Talk 访谈中，谈 Lean 设计哲学、Collatz 漏洞事件与 AI 形式化验证。