OpenAI 发布 700 多份声称给出数学证明的稿件，引发审视并催生开源训练环境

1. 22:31
   Clément Delangue · X

   OpenAI 的数学题在 Hugging Face 上成为开源强化学习环境

   我们将 @OpenAI 的数学题做成了 @huggingface 上的开源强化学习环境！ 这些环境还处于早期阶段，尚不完善；验证器只接受原始形式化表述，因此即使证明等价，也仍可能得 0 分。 我认为这是一个令人振奋的方向：将开放研究转化为可执行环境，让任何人都能在此基础上训练更好的开放模型！ https://huggingface.co/datasets/FineEnvs/openai-math

2. 16:46
   Tibor Blaho · X

   OpenAI 与 Anthropic 本周扩展模型、工具和访问权限

   OpenAI 和 Anthropic 本周宣布了一系列模型、产品和访问权限方面的变更。OpenAI 在 ChatGPT 中推出了带有智能界面的 GPT-6：付费套餐提供 GPT-6 Sol，Free 和 Go 套餐提供 GPT-6 Luna；OpenAI 还表示，GPT-6 Astra 在 11 项承包任务中的得分为 55.0%，GPT-5.6 Sol 为 41.6%。Anthropic 发布了 Claude Haiku 5.5，输入提示不超过 100K 时，每百万个 token 的价格为 $0.10 / $0.50，并提供 1M 上下文窗口。

3. 15:52
   量子位

   陶哲轩称AI证明标志着数学2.0的到来

   陶哲轩认为，AI正在使数学证明变得充裕，从而终结了建立在证明稀缺性之上的数学1.0时代。他警告说，解决问题并不等同于理解问题，并呼吁报告失败的尝试和计算成本，还表示数学2.0的瓶颈在于想象力。他还质疑，当答案唾手可得时，博士学位是否仍然重要。

4. 13:23
   量子位精选

   OpenAI发布两篇Kakeya猜想手稿，将工作扩展至四维

   10月7日，OpenAI发布了722份数学手稿，其中包括两篇关于Kakeya猜想的手稿：一篇97页的论文声称得到了比Wang和Zahl更强的三维极大函数结果，另一篇175页的论文声称解决四维Hausdorff维数情形。两篇均署名OpenAI，未经Lean形式化，也未经同行评审，且OpenAI的README称部分未形式化的结果可能存在缺陷。

5. 01:38
   Ethan Mollick · X

   Ethan Mollick 对一位数学家的 Opus 5.5 音乐视频作出回应

   一位数学家针对 OpenAI 的证明制作了一支 Opus 5.5 音乐视频。相当不错。

1. 21:03
   The Decoder精选

   数学家对OpenAI发布700份声称的数学证明作出反应

   OpenAI于2026年10月6日发布了700多份手稿，声称解决了数百个未解决的数学问题，博客Proofs and Prompts收集了100多位研究人员的回应。一些论文被撤回或被批评为难以阅读，而菲尔兹奖得主彼得·舒尔茨和陶哲轩呼吁保持耐心和团结。许多数学家描述了震惊、瘫痪以及对自身职业的担忧。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。