今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。他们将用上谷歌最强数学AI，去探索发现新的疆域。这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。
AI 编程早已成为许多开发者日常生产中的一环，而随着代码生成的速度和规模达到一定程度，一个日益重要的问题是，支撑这些 AI 运转的开发工具和基础设施正在成为新的瓶颈。
想象这样一个场景： 一个AI智能体在帮你处理邮件，一封看似正常的邮件里，却用一张图片的伪装暗藏指令。AI在读取图片时被悄然感染，之后它发给其他AI或人类的所有信息里，都可能携带上这个病毒，导致更大范围的感染和信息泄露。
在AI智能体日益依赖记忆系统的时代，一种新型攻击悄然兴起：记忆投毒。A-MemGuard作为首个专为LLM Agent记忆模块设计的防御框架，通过共识验证和双重记忆结构，巧妙化解上下文依赖与自我强化错误循环的难题，让AI从被动受害者转为主动守护者，成功率高达95%以上。
Claude Code没法用了后，国内大厂纷纷推出国产平替。最近，阿里心流研究团队就悄咪咪地发布了一款终端AI智能体——iFlow CLI，号称是Claude Code最强平替！iFlow CLI可以使用自然语言命令行的形式直接在终端运行，最重要的一点是，专为国内开发者设计，面向个人用户永久免费，没有限流！
工业AI生成式设计软件与方案供应商「设序科技」近日完成数千万元Pre B轮融资，投资方为涌铧投资和广发信德，星涵资本担任长期财务顾问。过去一年，公司已连续完成三轮融资，累计金额超亿元。融资资金将用于研发投入和市场推广，包括海外市场推广。
风雨飘摇中的Meta，于昨天发布了一篇重量级论文，提出了一种被称作「早期经验」（Early Experience）的全新范式，让AI智能体「无师自通」，为突破强化学习瓶颈提供了一种新思路。
斯坦福大学研究人员提出了Paper2Agent，将静态论文转化为可交互的AI智能体，让学术成果可以直接被「调用」，为科研知识传播开辟了新模式，并为构建AI共研生态奠定基础。
近日，DeepMind 最新推出了一种全新的用于代码安全的 AI Agent—CodeMender，它使用 Gemini Deep Think 自动修补关键软件漏洞。它会检查补丁是否正确、是否能够修复根本原因，并且不会引起其他任何破坏。这确保只有高质量的解决方案才会被发送给人工审核。
医学研究迎来“零人工”时代了？！清华大学自动化系索津莉课题组，发布首个专为医疗信息学设计的全自主AI研究框架——OpenLens AI。首次实现从文献挖掘→实验设计→数据分析→代码生成→可投稿论文的全链条自动化闭环。
