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

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