过去 24–72 小时(RSS 抓取 + WebSearch 中英文补充;周末海外源稀疏,部分要闻沿用近三日)
头条 TOP 1

OpenAI 公开 722 篇 AI 数学手稿:宣称证明黎曼拟猜想等百年难题,25 位菲尔兹奖得主联名警告“严重错位”

今日焦点
1

OpenAI 公开 722 篇 AI 数学手稿:宣称证明黎曼拟猜想等百年难题,25 位菲尔兹奖得主联名警告“严重错位”

10 月 6 日 OpenAI 在 GitHub 一次性公开 722 篇由内部 AI 模型生成的数学手稿,覆盖 372 个成果组,宣称推进黎曼猜想、证明卡塔兰常数为无理数、给出挂谷猜想四维证明等。学界确认部分成果属重大进展,但 25 位菲尔兹奖得主联名发表《人工智能在数学中的严重错位》声明,要求公布思维链、标注人类思路来源并保证正确性——发布次日 OpenAI 曾因符号错误撤回 3 篇。

中国青年网 / 光明网 / 虎嗅
2

月之暗面发布 Kimi K3.1 Pro:2.8 万亿参数全球最大开源模型,逼近闭源前沿

10 月 24 日月之暗面推出 Kimi K3.1 Pro,总参数约 2.8 万亿、每 token 激活约 1040 亿(MoE),支持 100 万 token 上下文与文本/图像多模态;Terminal-Bench 4.0 得分 65.7%,超过 GPT-6 Astra(58.2%)、接近 Claude Opus 5.5(66.4%)。高速版 Highspeed 响应快 2–3 倍,完整权重将于 11 月 4 日前开放,价格约为 GPT-6 Astra 的 20%。

北京日报 / 澎湃 / 腾讯搜索
3

中国 AI 出口管制持续发酵:23 项 AI 技术拟列管,开源豁免、DeepSeek/MiniMax 已走通出海登记

商务部、科技部就修订《禁止出口限制出口技术目录》征求意见,AI 领域拟增列 23 项技术(覆盖大模型、智能体、算力集群、信息处理),14 项拟禁止、26 项拟限制。规则明确“管平台、不管产品”:开源与已入公共领域技术不纳入,API 调用/App/SaaS/端侧部署不属出口管理并适用自动许可便利。10 月 23 日 DeepSeek 与 MiniMax 已完成出海登记,走通合规路径。

中国经营报 / 财联社 / 新京报
模型发布3 条
融资收购5 条

Manus AI 完成超 5 亿美元新融资,重回独立运营

Manus 母公司 Butterfly Effect 于 10 月 8 日宣布完成超 5 亿美元新融资,博裕资本、IDG 资本领投,腾讯、HSG、真格等跟投;此前 Meta 逾 20 亿美元收购因监管被叫停,公司重回独立运营,年化收入运行率据报约 5 亿美元。

🔥 DigiScoop 8.5 分

OpenAI 据报寻求最高 300 亿美元融资,估值降至 1.25 万亿美元

据 FT 报道,OpenAI 正以 1.25 万亿美元估值寻求最高 300 亿美元融资,由阿联酋投资者与 Coatue 领投,较此前 1.4 万亿目标下调,部分老股东出现“消化不良”;该轮定位为 IPO 前过渡,并洽谈额外算力。

🔥 my2cents.ai / Financial Times 8.2 分

Supabase 收购 Turso 并追加 1.5 亿美元,押注 AI 智能体为最大客户

Supabase 在 5 亿美元 Series F 后数周内完成 1.5 亿美元扩展轮(GIC 领投),并收购 SQLite 改写项目 Turso,押注未来多数数据库由 AI 智能体自动创建;其平台约 70% 新增数据库已非人工创建。

📰 Bruno Digital 7.5 分

Modal D 轮 7.5 亿美元,估值 157.5 亿美元

AI 基础设施初创 Modal 完成 7.5 亿美元 D 轮,投后估值 157.5 亿美元,总融资 12 亿美元,ARR 超 10 亿美元。

📰 腾讯网 / AIGC早报 7.2 分

Rivian 收购 Third Dimension AI,加速自动驾驶研发

10 月 22 日 Rivian 宣布收购 AI 公司 Third Dimension AI,利用真实世界数据生成高精度 3D 虚拟环境以加速自动驾驶验证,并计划 12 月启动邀请制自动驾驶体验。

📰 腾讯网 / 新浪财经 6.8 分
政策监管4 条
研究论文3 条
开源项目3 条
产品应用3 条
行业观点3 条
AI 资讯日报 · 门户版 | 由 WorkBuddy 自动聚合生成 | 生成于 2026-10-26 07:10 (GMT+8)