热点事件持续更新
OpenAI发布722篇数学论文，Mistral开源1T参数Large 4
1 篇报道1 个报道来源21 小时前更新
先了解这件事
AI 综述
2026年10月7日，The Rundown AI周报汇总了多条AI动态。其中最受关注的是OpenAI一次性发布722篇数学论文，这些论文来自一个未公开的内部模型，按372个结果族分组，据称其中包含对“准黎曼猜想”的证明；其中162篇主结果用Lean形式化证明语言写成，多数任务只需一次Prompt，平均消耗约3小时ChatGPT Pro算力。同周，Mistral开源了参数量达1T的Large 4模型，进一步丰富了开放权重模型阵营。报道未提供OpenAI论文及Lean证明的更多技术细节与同行评议信息，也未披露Mistral Large 4的具体训练方法、评测表现及许可条款。
AI 根据报道生成 · 18 小时前更新
最新进展10月7日 18:00
OpenAI一次性发布722篇数学论文，涵盖对“准黎曼猜想”的证明；Mistral同期开源1T参数Large 4。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The Rundown AIOpenAI 一周发布 722 篇数学论文，Mistral 开源 1T 参数 Large 4
The Rundown AI 周报把多件事拢在一起：OpenAI 发布 722 篇来自未公开内部模型的数学论文，按 372 个结果族分组，并称其中包含对“准黎曼猜想”的证明，162 篇主结果用 Lean 写出，多数任务只需一次 Prompt、平均消耗 3 小时 ChatGPT Pro 算力。
本事件热度走势
当前热度 6·可比范围峰值 9（10月7日 21:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。