搜索
7月20日，AI记忆科技公司红熊AI宣布完成数亿元人民币A+轮融资，投后估值近30亿元。本轮由浙江九纬私募基金、嘉兴彰元创业投资与老股东格睿丰联合投资。 这是红熊AI成立以来完成的第6轮融资。过去15个月，公司估值从2025年Pre-A轮的5亿元，到2026年4月A轮超过15亿元，再到此次接近30亿元。
今天上午，一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例，还顺手挖出了一段几乎像电影桥段的历史巧合（后面细说）
我刚刚 AGI Bar 小程序里建了一个共享钱包，并往里面充了 1 万块，未来 24h可点开领取
WAIC 2026 期间，我们和另外几家媒体（机器之心是其中唯一的专业媒体）共同对来到中国的强化学习奠基人、2024 年图灵奖得主 Richard Sutton 做了一场群访。
在计算历史的绝大部分时间里，编程的本质是一项翻译工作：开发者需要在人类理解的维度上剖析问题，设计抽象方案，随后将其转译为机器能够执行的语法。当前的软件工程领域正在经历自高级编程语言问世以来最为显著的变化。
过去一年，Deep Research Agent 被视为大模型落地的下一个突破口，它们会检索、能用工具、可多步推理，在一个个榜单上高歌猛进。但把它们放到真实世界的专业场景里，表现是否也同样亮眼？
谈应用宝如何判断“分发”和“端侧”。
Hinge 创始人 Justin McLeod 宣布 为他的新交友公司 Overtone 完成了 1800 万美元的融资。McLeod 去年刚刚辞去他在 Hinge 的首席执行官职务，Hinge 的所有者 Match Group——也拥有 Tinder 和 OkCupid 等应用——正在与 FirstMark Capital 和 Pace Capital 一起为他的新公司提供资金支持。
上海人工智能实验室团队提出的Self-Harness，近期被LangChain CEO、联合创始人Harrison Chase转发，也被前OpenAI副总裁Lilian Weng收进自进化Agent相关博客。它盯上的不是换模型，而是Agent外层那套Harness。
7 月 16 日，伯克利博士后 Haven Feng 的一条推文火了。原因无他，结果很震撼：在 ARC-AGI-3 Public 集上，一套名为 [schema] 的智能体框架，与 Claude Opus 4.8、Fable 5 组合后达到 98.98% 的 RHAE；换成 GPT-5.6 Sol 组合，分数也有 95.35%。