AI

腾讯今天宣布，旗下 AI 办公产品 WorkBuddy 现已正式上线独立文件浏览器。

刚刚，Manus母公司蝴蝶效应宣布近日已完成超5亿美元（约合人民币33.52亿元）新一轮融资。

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

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

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