搜索
10个Claude Sonnet 5.5智能体通宵15小时、互发1270条消息并写出17895行Lean代码，在无人类介入的情况下完成悬置122年的汤姆逊问题N=7形式化证明，且通过Lean内核与nanoda双重验证。
小纪有话说： “社区里每天有上万张鹈鹕踩单车的视频被发群里，问我这个鹈鹕降智了吗？”开源项目CodexRadar的发起人Lambda，在GPT-6 Astra发布之后，每天都收到巨量的鹈鹕视频，于是，
Manus发布2.0版本全家桶产品，包含新agent架构Cascade、面向工作创作的Manus Studio及个人智能体Cue，表明AI应用几乎只剩Coding/办公、视频/游戏与个人智能体三件事，并宣布组建团队开发面向国内市场的产品。
至知创新研究院开源了采用稀疏 MoE 架构的代码与复杂任务导向大模型 IQuest-Q1，该模型总参数约 320B、激活参数仅约 15B，在代码生成、终端操作、智能体任务等多项评测中表现均衡，并展示了从前端交互、游戏开发到强化学习训练调试等场景的可交付能力。
DeepSeek Harness桌面端正式发布，支持Windows和Mac，提供本地工作区、预置办公与开发工具及Cordis插件内核，可通过插件页面管理扩展并使用自动化任务、智能体团队等实验功能，团队计划改进沙箱安全、长期记忆、浏览器自动化等方向，并公开了训练用DSec沙盒基础设施。
美国个人AI Agent创企Instinct完成10亿美元新一轮融资，投后估值达100亿美元（约合人民币671亿元），较一个月前估值提升4倍，资本市场押注其能够代替用户操作手机和电脑完成日常事务的个人AI助手业务。
AI 初创公司 Ema 完成 7700 万美元 B 轮融资，估值较 2024 年增长超 4 倍，该公司通过协调多个 AI 智能体组成的"AI 员工"系统，逐步接管企业内部的 HR、IT 和财务等业务流程，过去两年收入增长 50 倍，客户包括 NTT DATA、日立、ADP、普华永道、谷歌、毕马威等大型企业。
Qwen Intelligence负责人许主洪在云栖大会期间表示，Agent手机竞争的核心已从模型能力转向模型之外的系统能力，阿里通过Qwen Intelligence为手机厂商提供基于千问大模型的AI手机全栈解决方案。
香港大学戴勃团队提出SceneMosaic，通过混合智能体布局演化方法从单张图像快速生成物理合理且多样化的仿真就绪3D场景，相比SceneSmith提速24倍，生成单个变体场景仅需0.03小时。
欧洲开发者 Mario Zechner 开发的极简 Coding Agent Harness Pi 只给模型一个 bash，却在多项 Benchmark 中击败 Claude Code 和 Codex，凭借极简设计和高可扩展性在 2025 年底爆火，团队来自维也纳而非硅谷。