先了解这件事
2026年10月7日,OpenAI发布了一批由未发布前沿模型产出的数学结果。据Exponential View报道,这批结果共722篇手稿、372个家族,覆盖数论、复杂性理论和数学物理,平均每项结果相当于ChatGPT Pro思考三小时。报道引用Derya Unutmaz的说法称,这相当于过去三年主要数学发现的81%;部分结果已在Lean中验证,但并非全部。报道还援引Steve Hsu的观点提出,数学可能分为机器数学与人类数学两层,前者规模庞大且由AI消费,后者只是人类能理解的一小部分压缩理论。目前尚无后续发展事实。
AI 根据公开报道生成
最新进展 · 正式报道
Ben's Bites：个人智能体密集发布，文本交互已成过去事件进展
1 个已确认进展
- 来源：The Decoder
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月8日
Ben's Bites
Ben's Bites：个人智能体密集发布，文本交互已成过去
Ben's Bites 汇总了个人智能体密集发布的一周：Hark 把任务做成一点即用的操作按钮，Tab 以 3 亿美元估值结束隐身，Every 把智能体放进 Slack，Meta 和 Sierra 想为智能体与企业打交道制定标准。作者提到 Shane Mac 的智能体曾以他的身份把个人银行余额发到公司 Slack，因此开始用 Executor v2 梳理哪些智能体拥有哪些访问权限。其他动态包括 ChatGPT 上线可返回图表、地图、表单和小组件的界面，GPT-6 与 GPT-6 Luna 向所有用户推送；Claude Haiku 5.5 运行成本比 Haiku 4.5 低约 75%，定位为 Opus 和 Sonnet 的子智能体；Nano Banana 2.1 在 AI Studio 上线；Grok Bot 可搜索和监控 X，并改用 Claude Opus 5.5 作为主模型。
10月7日
Exponential View精选
OpenAI 未发布前沿模型产出大量数学结果，Azeem Azhar 谈机器数学与人类数学的分层
OpenAI 发布了一批由未发布前沿模型产出的数学结果，共 722 篇手稿、372 个家族，覆盖数论、复杂性理论和数学物理，平均每项结果相当于 ChatGPT Pro 思考三小时。作者 Azeem Azhar 引用 Derya Unutmaz 的说法称，这相当于过去三年主要数学发现的 81%；部分结果已在 Lean 中验证，但并非全部。他援引 Steve Hsu 的观点提出，数学可能分为机器数学与人类数学两层，前者规模庞大且由 AI 消费，后者只是人类能理解的一小部分压缩理论。
The Decoder精选
OpenAI 在 GitHub 发布 372 项 AI 生成的数学证明
OpenAI 在 GitHub 上发布了 372 项由内部前沿模型生成的数学结果，每项都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼猜想相关的推进。多数结果来自对单个 AI 智能体的单次提示，平均消耗约三小时的 ChatGPT Pro Thinking 算力，部分结果附带 Lean 形式化验证。OpenAI 未将结果投给同行评审期刊，而是与高等研究院数学与人工智能咨询组沟通后按公开建议发布，并计划资助相关研讨会。
The Verge AI精选
OpenAI 发布 722 篇数学手稿，公开未发布前沿模型的解题结果
OpenAI 公开了由一款未发布的前沿模型产出的 722 篇数学手稿，覆盖 372 个结果族，涉及数百个未解问题。公司称平均每个结果消耗约相当于三小时 ChatGPT Pro 思考的算力，并附上部分推理摘要、算力估算和尝试问题数量等细节。独立顾问组织 AGMAI 此前建议 AI 实验室及时通过学术渠道发布数学结果，并披露模型名称、提示词和算力成本，同时不要将结果发布当作推广模型的营销手段。