【AI 日报】2026-11-05 | 开源模型登顶，智能体只做成 12%
今日一句话总结：月之暗面赶在承诺截止日放出 Kimi K3.1 Pro 完整权重，2.8 万亿参数、综合智能指数 46.5 分，把开源纪录抬高约 14 分，单题成本只有 Claude Opus 5.
陶哲轩邓煜最新对谈，呼吁数学「慢科研」
从“坐不住”到“不买账”，陶哲轩称AI的数学成果是“有毒废料”
全球IT新闻简报·2026-11-04
**1. 谷歌发布 Gemini 4 Carbon，险胜 Claude Opus 5.5** — 谷歌发布新旗舰 Gemini 4 Carbon，基准成绩小幅超过 Anthropic 的 Claude Opus 5.5，官方称其为"最不可能产生幻觉"的前沿模型。
从“坐不住”到“不买账”，陶哲轩称AI的数学成果是“有毒废料”
10 月 6 日，OpenAI 又一次性发布 722 篇由 AI 生成的数学预印本，次日因符号错误撤回三篇;他说，做数学是为了理解世界，其中存在两条边界:一条是已经有证明的问题的边界，另一条是人类能够理解证明的边界。
OpenAI宣布用10000个AI智能体88小时攻克千禧年大奖难题
IT之家 9 月 9 日消息，OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness pro
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
1万个AI狂暴88小时破解千禧难题？剑桥硬核扒皮：OpenAI代码和论文对不上！
来源：市场资讯（来源：图灵人工智能）转自智能枢纽，仅用于学术分享，如有侵权留言删除报道2026年深秋，全球数学界与科技界同时迎来了一场大地震。
AI数学的最后一道高墙，塌了，GPT-6 Astra刷穿FrontierMath Tier 4
刚刚，最后一道FrontierMath Tier 4难题，被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。
AI数学的最后一道高墙，塌了！GPT-6 Astra刷穿FrontierMath Tier 4
henry 发自 凹非寺。Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。