形式
形式化验证 (formally verifying)
概念
本站收录 1 集 · 0 条金句 · 关联 10 个
集里怎么说它
- 《OpenAI 总裁 Greg Brockman：我们已进入 AGI 时代，而真正的瓶颈不是模型》(15:27起):Greg 说 AI 让「形式化验证所有软件」这个老梦想变得可能:把 Navier-Stokes 问题形式化进 Lean,AI 就能写出可验证的代码与证明。
② 出现在这些集
1 集
③ 关联
点进去有真内容 —— 本页主要出口
Greg Brockman · Ben Horowitz · OpenAI · Stripe · Astra · ChatGPT · Codex · AGI · 计算机使用 · 对齐