搜索
清华姚班出身的彭天翼带队，Anthropic旗下Claude仅用11天、消耗60亿Token和1300万行代码，首次端到端形式化证明了困扰数学界350年的费马大定理，并产出29500条可验证中间定理，成为迄今为止最大的Lean证明。
Physical Superintelligence（PSI）完成5800万美元（约3.9亿元人民币）种子轮融资，由比尔盖茨牵头的Breakthrough Energy Ventures领投，旨在打造由AI"虚拟物理学家"组成的物理实验室，核心产品Emmy已落地数据中心优化等场景。
AI云计算提供商Crusoe完成超30亿美元融资，估值达300亿美元，本轮由Atreides Management与Valor Equity Partners共同领投，Mubadala Capital参投。
小米凭借覆盖芯片（玄戒O3/O100/D100）、大模型（MiMo-V2.5、Xiaomi-Robotics系列）、澎湃OS 4、11.6亿台IoT设备及三大智能工厂的完整链路，成为全球首个实现"人车家全生态"物理AI落地的科技公司，在IFA 2025上展示了从数字世界走向物理世界的生态整合优势。
工信部印发《关于开展人工智能应用服务商培育专项行动的通知》，明确到2027年底建成不少于3000家服务商的全国资源池，并通过资源池认证、应用服务团组建、"小快轻准"产品开发、采购与出海支持等举措，为民营企业提供明确政策机遇。
扎克伯格在Meta内部启动Project OT项目让AI Agent接管员工工作、压缩团队规模，但数月后数据显示代码变更量增长220%、产品功能仅增36%、安全事故增加40%、员工满意度跌至55%，扎克伯格于5月叫停原定11月的第二轮调整，并承认AI Agent发展速度未达预期。
小鹏旗下人形机器人业务鹏行完成首轮融资超9亿美元，投后估值超63亿美元，由IDG资本领投、阿里腾讯等参投，刷新中国具身智能行业单轮私募股权融资纪录，打破宇树科技IPO募资纪录，何小鹏亲自挂帅兼任机器人业务CEO。
Manus团队在评测模型深度研究报告质量时，构建了"信息量"与"隐喻率"两项指标，分别通过抽取事实点和统计每百句隐喻数量来衡量信息密度与文风易读性，在覆盖9个主流模型36道题目的Research Bench测试中发现Claude Fable-5隐喻率最高、GPT旗舰模型信息密度低于Claude系列。
创新工场汪华与Floatboat.ai创始人谭少卿对话指出，腾讯WorkBuddy、字节豆包工作、阿里千问办公等大厂AI办公会战已完成Agent市场教育，GLM-5.3-Flash和DeepSeek-V4-Flash等国产模型跨过能力门槛，巨头的壁垒仅剩资金，而中国创业者凭借贴近开源模型生态的优势，有望在垂直Agent领域找到更多机会。
AI数据创企AfterQuery估值达32亿美元，成为Y Combinator史上从创立到成为独角兽速度最快的企业，此前其A轮估值仅为3亿美元。