⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· 人工智能学家·· 6 天前精选AI 评分90

OpenAI 公布 722 篇数学手稿,核心名题结果与形式化现状梳理

翻完OpenAI的722篇数学手稿,我们挑出了最重的30道名题

AI 导读

OpenAI 将其内部未发布模型生成的 722 篇数学手稿公开至 GitHub 仓库,涵盖 372 个成果族。文章精选了黎曼猜想、BSD 猜想、Held 猜想等 30 道数学名题的涉及成果,并详细说明了其中约 50 项为证伪或反例。这些成果大多未经同行评审,其中声称解决的关键问题中,仅有六成附有经计算机逐行检查的 Lean 形式化证明,形式化证明与原始猜想表述的对应准确性仍需专家确认。

推荐理由

系统梳理了OpenAI发布的722篇数学手稿中具里程碑意义的成果及形式化现状,展示了AI在解决经典难题上的能力边界。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:人工智能学家 · mp.weixin.qq.com