全部文章

国庆假期，国内AI公司的几笔大动作接连曝光：DeepSeek新一轮融资规模据称将超过800亿元，Kimi母公司月之暗面被曝完成新一轮融资，估值约500亿美元。

据《华尔街日报》及彭博社今日报道，博通近几周来一直在为 OpenAI 的定制 AI 芯片安排超 500 亿美元的融资，并已与阿波罗全球管理和黑石集团等私人信贷机构展开早期洽谈。

其中最引人注目的成果是：一个尚未发布的内部 AI 模型完成了对“准黎曼猜想”的证明，即证明所有狄利克雷 L-函数在实部 ℜs>7/8 的半平面内不存在任何零点，并同步发布了 Lean 形式化验证。

从详情看，2004年的1000万美元计入通胀约合如今的1800万美元，而这一数字恰好成为当下AA级游戏开发的软性参考标准。

这一安排源自Anthropic今年4月启动的“玻璃翼计划”（Project Glasswing）。 Anthropic周二表示，最新一轮有限开放将涵盖“玻璃翼计划”的所有成员，同时该公司将与美国政府合作，对所有新加入的机构进行审核。