今天的 AI 新闻：OpenAI 一口气丢出几百条数学证明，数学圈有点小鸡磁盘又报警了：我给 journald 和 Docker 日志加的几条硬限制懵
🌐 链接: https://www.nodeseek.com/post-969401-1
🏷️ 分组: NodeSeek论坛
🕒 时间: 2026-10-07 22:13:36
🌐 链接: https://www.nodeseek.com/post-969401-1
🏷️ 分组: NodeSeek论坛
🕒 时间: 2026-10-07 22:13:36
NodeSeek
今天的 AI 新闻：OpenAI 一口气丢出几百条数学证明，数学圈有点小鸡磁盘又报警了：我给 journald 和 Docker 日志加的几条硬限制懵
今天刷到一条挺炸的：OpenAI把内部frontier模型搞出来的一批数学结果直接扔到GitHub上，媒体报道数量从三百多到七百多不等，反正不是一篇两篇的量级。里面据说有算法改进，也有跟黎曼猜想相关的进展，不少还带了Lean形式化。平均每条大概消耗几个小时的Pro级算力，很多是单agent单prompt跑出来的。数
