北京时间10月7日，OpenAI 在 GitHub 公开了一个包含722篇数学手稿的代码库，由内部未发布的前沿模型自动产生，涵盖372个数学难题家族。其中最引人注目的是模型证明了「准黎曼猜想」——在实部 Re(s)>11/12 的区域内不存在非平凡零点，并通过 Lean 形式化验证，这是解析数论半个世纪以来的重大飞跃。同时，模型还攻克了「基本半定阈值下的普通 NP-困难」等计算机科学核心问题，平均每个证明仅花费约3小时的 ChatGPT Pro 思考算力。
🔗 GitHub: openai/mathAnthropic 在9月22日至10月8日期间连续发布 Claude 5.5 系列：Opus 5.5 以40%更低成本实现 Fable 5.1 同等性能，支持100万 token 上下文；Sonnet 5.5 速度提升30%，成本下降30%；Haiku 5.5 于10月8日发布，专攻成本敏感任务。三款模型均引入自适应思考模式与更强的安全对齐，Opus 5.5 在自动化行为审计中创历史最佳。
🔗 Anthropic 官方博客10月6日，Mistral AI 推出 Mistral Large 4（代号 le Chonk），总参数1万亿、激活参数490亿，在欧洲自建数据中心使用3800块英伟达 Grace Blackwell GPU 从头训练。模型支持52万 token 上下文、160+ 语言，实测表现追平 GPT-6 Luna，在法律 Agent、金融、网安等多项测试中超越 GPT-6 Astra 和 Claude Opus 5.5。模型权重将于10月底开放下载，API 预览已上线。
🔗 Mistral AI 官方公告据财联社10月6日报道，包括阿联酋 MGX 在内的多家投资基金正与 OpenAI 洽谈参与最新一轮至少300亿美元的融资，阿联酋基金合计投资额最高可达100亿美元，贝莱德也在商谈参与。与此同时，软银已完成第三笔100亿美元的追加投资，累计投资总额达646亿美元。OpenAI 原定10月发布的旗舰模型 GPT-6.1 Astra 因安全指标未达标被临时延期。
🔗 OpenAI 官网新闻消息显示，9月30日前后贝恩资本正参与竞标收购美国数据中心企业 Edged，交易估值可能超过150亿美元。若成交，这将是贝恩在美国数据中心领域的首次大规模私募股权投资。Edged 在美国五个都市区拥有超过388兆瓦已交付容量，已与 Core Weave 签署23亿美元/16年租约。此举标志贝恩从「旁观者」转向 AI 算力基建的重仓参与者。
🔗 综合报道软银集团宣布以53.75亿美元收购瑞士工程集团 ABB 的机器人业务，整合世界级的机器人技术与 AI 能力。孙正义表示「软银的下一个前沿是物理AI」，将融合 AI 超级智能与机器人技术。此次交易预计于2026年中后期完成，ABB 剥离机器人业务后将获得约53亿美元现金收益。
🔗 SoftBank 官方公告10月7日，美国参议院商业、科学与交通委员会资深成员 Maria Cantwell 提出全面 AI 治理框架，围绕六大原则：建立明确可执行的联邦安全标准、持续测试与独立审计、透明度与问责制、公私合作伙伴关系、儿童保护与工人支持、以及美国主导的全球合作。框架要求高风险 AI 模型必须经过独立审计确认符合安全标准后方可发布。
🔗 美国参议院Commerce委员会佛罗里达州一名用户因在 Claude 日记中撰写攻击计划，被 Anthropic 上报警方，面临重罪指控。该事件在 Hacker News 上引发676分、522条评论的热议，核心争议在于：与 AI 聊天机器人的对话是否应被视为私密日记？此案例对 AI 隐私边界和法律责任的定义具有深远影响。同期 HN 热门还包括 Mistral Large 4 的1.7k分讨论、Cloudflare Web Search API 发布等。
🔗 TechSpot + Hacker News10月6-7日的 AI 行业呈现出「多线并进」的激烈竞争态势：OpenAI 以722篇数学手稿强势宣告 AI 在纯研究领域的突破性能力，而 Anthropic 则通过 Claude 5.5 系列的快速迭代展示成本控制与安全性并重的策略；欧洲方面 Mistral Large 4 的万亿参数开源路线，标志着欧美开源模型正在重新提速追赶。与此同时，OpenAI 300亿美元融资与贝恩150亿美元数据中心收购，反映出资本对 AI 基础设施长期需求的坚定信心。整体来看，大模型竞争已从单纯的性能比拼延伸至 Agent 产品化、成本效率、安全控制与政企准入的全方位竞争。