OpenAI在GitHub上发布了722篇数学手稿，涵盖372个结果家族，展示了其内部未发布模型的潜力。然而，仅有162篇论文的主要结果经过Lean形式化，OpenAI警告部分未形式化结果可能存在问题。
麻省理工学院的安德鲁·萨瑟兰（Andrew Sutherland）表示，在模型发布之前，单个提示和单一代理的主张仍待验证，并指出发布内容未披露高级研究院建议的提示内容。
重要数据揭晓
OpenAI于周二发布的722篇数学手稿均由未发布的内部模型生成。公司发言人称，几乎所有内容源于一个提示，尽管部分可能经过多次尝试。这一声明引发了数学界的广泛讨论。
这些论文分为372个相关结果家族，每个家族可能包含主定理及其伴随论证或替代证明。OpenAI称其向模型提出了约4000个问题，并保留了被认为有意义的输出。
形式化程度待考量
OpenAI表示，发布结果的平均计算时间相当于大约三小时的ChatGPT Pro运算能力。而最近的Navier-Stokes声明则涉及10,000个协同代理，持续了88小时。值得注意的是，仅有约22%的723篇论文通过Lean软件进行了计算机检查，确认了主要结果的正确性。
OpenAI自己指出，并非所有手稿都有Lean形式化，部分未形式化结果可能存在问题。这意味着，发布的许多内容可能存在错误。
研究者提出质疑
在数理逻辑领域，部分研究者对OpenAI的贡献持怀疑态度。普林斯顿高级研究院在一份声明中表示，AI输出的数学论证让人不能理解、验证或承担责任，强调人类对数学理解的重要性。
然而，部分学者如阿比希克·萨哈（Abhishek Saha）则对发布内容表示乐观，称这是数学领域的重大时刻。他指出，大多数问题属于现有程序中的重大进展，而922个问题中唯一具有革命性意义的是准黎曼假设。
未来展望
OpenAI尚未满足高级研究院建议的所有要求。该研究院建议提供模型名称、提示、思维链总结、耗时及计算成本信息。但OpenAI迄今仅发布了平均计算数据及10个推理摘要，仍在努力以负责任的方式发布模型。
与OpenAI不同，Anthropic在上个月发布了Lean检查的费马大定理证明，公开了全部1300万行内容，与其宣称的新结果相比，这种透明度更高。
OpenAI表示，将在获得Lean形式化数据后继续更新其手稿，目前仅有162篇获得形式化。
加密货币资讯网
进一步的研究和讨论将推动数学界的发展。加密货币资讯网也将持续关注这一领域的动态。
常见问题
什么是OpenAI发布的数学手稿的主要内容？
OpenAI发布了722篇数学手稿，主要涉及372个结果家族，但只有162篇经过Lean形式化。
Lean形式化的论文数量是多少？
在722篇手稿中，只有162篇具有Lean形式化的主要结果，约占22%。
OpenAI的模型何时会公开发布？
OpenAI仍在努力以负责任的方式发布该模型，尚未确定具体发布时间。
为什么部分研究者对OpenAI的发布表示质疑？
一些研究者担心，AI生成的数学结果可能缺乏验证，其准确性仍需通过数学家的独立判断进行确认。
