AI 之道社区

DigitalOcean推出Managed Agents：跨设备续跑Claude Code/Codex 公测托管代理运行时可闲置暂停、跨设备保留会话，内置隔离执行与大量工具/模型统一计费；开发者可把既有Claude Code、Codex或自建代理迁入云端而不必重搭基础设施。 来源：https://x.com/i/trending/2102439511812702713 媒体平台：X

Vals AI多智能体协作产出更快最短路算法并附Lean证明 10个Claude Opus 5.5代理协作约15小时，在稀疏有向图上提出C-HD最短路算法，并给出形式化Lean证明；在特定参数范围宣称优于Dijkstra量级，引发对代理群体加速可验证研究的讨论。 来源：https://x.com/i/trending/2102516944637493586 媒体平台：X

Anthropic限制Opus 5.5处理部分前沿内核/加速器任务 新安全分类器会把少数前沿LLM相关任务（如加速器内核开发）回退到较弱的Opus 5；公司称影响面极小且常规研发不受影响，开发者则有「反竞争」质疑。 来源：https://x.com/i/trending/2102502795010290085 媒体平台：X

OpenAI组建数学顾问组，评估AI破解高难证明后的发布节奏 据称模型已攻克百余道难题并触及百万美元级Millennium问题进展；OpenAI与高等研究院独立顾问组（含Gowers、Witten等）合作，评估意义、协调发布并维护学术规范，外界对迟滞与验证仍有争论。 来源：https://x.com/i/trending/2102521701372407816 媒体平台：X

OpenAI推出GPT-6 Sol与Luna：更强且单价砍半 OpenAI发布GPT-6家族Sol与Luna，强调智能、编码、事实性与对齐提升，API单价约为5.6系一半；Sol偏复杂专业流，Luna偏高吞吐摘要与查询，ChatGPT Work/Codex与API已可用。 来源：https://x.com/i/trending/2102463917683548475 媒体平台：X

Anthropic发布Claude Opus 5.5：性能对齐Fable级且成本降约40% Anthropic推出Claude 5.5系列首款Opus 5.5，多数任务接近Fable 5.1，运行成本较Opus 5约低40%；擅长代理编程与电脑操控，Terminal-Bench等基准领先，现为付费版默认模型。 来源：https://x.com/i/trending/2102376545172234363 媒体平台：X

Santiago：两代理同写一份数据就会踩竞态与陈旧读 svpino指出多代理共享数据时，一方读后另一方改写会导致基于陈旧数据烧token、互相覆盖与重复劳动，呼吁认真对待并发一致性。 来源：https://x.com/svpino/status/2102044069673435563 媒体平台：X

Rauch：Grok 4.7硬核逆向二进制题漂亮解出且很快 Vercel CEO称给Grok 4.7一道涉及逆向运行中二进制的难题，模型漂亮解决且速度突出；同日还宣传Gateway上Grok 4.7限时四折。 来源：https://x.com/rauchg/status/2102089968860721335 媒体平台：X

Simon Willison整理Jev与系统1/决策模型新类别笔记 他汇总关于Jev以及所谓system one/decision models新类别的笔记，帮助开发者理解这类模型与聊天通用模型的分工差异。 来源：https://x.com/simonw/status/2102175146740232238 媒体平台：X

Harrison Chase：决策模型便宜又准，正符合「建生产而非造神」 LangChain创始人解释对decision models兴奋：代理系统本质是模型周边的好工程；Jev类又快又便宜又准的模型对生产至关重要，社区反响也说明多数人认同此路线。 来源：https://x.com/hwchase17/status/2102084698985894352 媒体平台：X