OC
登录 注册
OC Tech

#元编程

OurCoders 科技频道“元编程”专题，共汇总 1 篇相关稿件。

订阅 RSS
AI 辅助的错误证明骗过 Lean：形式化验证的可信根也会出错
2026-08-03
开发者工具

AI 辅助的错误证明骗过 Lean：形式化验证的可信根也会出错

作者：林岚｜OC 开发者生态编辑