OpenAI公布372条AI生成数学结果
热点事件历史事件
OpenAI公布372条AI生成数学结果
3 篇报道3 个报道来源18 天前更新
先了解这件事
AI 综述
OpenAI 公布其内部前沿模型生成的 372 条数学结果，称每条解决或显著推进一个未解问题，涵盖计算机算法改进和与黎曼假设相关的进展。结果托管在 GitHub 仓库，附有修订日志与引用，许多证明附带 Lean 形式化，OpenAI 称计划补充更多形式化。 据 The Decoder 报道，平均每条结果消耗约三小时的 ChatGPT Pro Thinking 算力。OpenAI 还宣布计划资助相关工作坊和会议，用于理解 AI 产出的结果。 此前 OpenAI 仅发布摘要，未披露具体问题、模型名称或结果数据；上述结果的具体内容与验证情况仍不明确。
AI 根据报道生成 · 18 天前更新
最新进展10月7日 16:54
OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果
OpenAI 发布 372 条由内部前沿模型生成的数学结果，每条声称解决或显著推进一个未解问题，涵盖计算机算法改进和与黎曼假设相关的进展，结果托管在 GitHub 仓库并附修订日志与引用。
- Latent Space精选OpenAI 内部模型发布 722 篇数学论文，称解决 500 个公开数学难题中的 90 个
OpenAI 以博客、GitHub 仓库和推文形式发布了一批来自未公开内部前沿模型的数学成果，共 722 篇手稿、归入 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果约用 3 小时 ChatGPT Pro 推理算力。
10月6日
- OpenAI News精选OpenAI 公布前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。材料仅提供摘要，未给出具体问题、模型名称或结果数据。