◆ AI 总结

本期重点集中在【多智能体基础设施】与模型实测评测：微软展示千智能体协同编码，DeepSeek发布面向智能体强化学习的弹性沙箱平台，另有多项实用工具和工作流值得关注。

模型动态

Claude

GPT-6 Astra在家具组装基准FAB中领先Claude

FAB评测中GPT-6 Astra准确率达80%，高于Claude Fable 5.1的70%，为视觉理解和现实任务推理提供新对比。链接：https://aihot.news/items/cmui8yiak09y9rov0d9knwdp7[3]

产品工具

DeepSeek

DeepSeek发布DSEC弹性计算沙箱平台

DSEC面向大规模智能体强化学习训练与评估，统一支持函数调用、容器、microVM和完整VM。链接：https://aihot.news/items/cmuizwqn30fmtrohyy8c9tgcx[2]

FormulaSnip开源支持框选识别公式并导出格式

FormulaSnip可框选识别数学公式，一键复制为LaTeX或MathML，适合论文与办公场景。项目地址：https://linux.do/t/topic/2962280[5]
DeepSeek

DeepSeek App疑似加入语音聊天界面

最新客户端疑似已加入语音聊天界面，但服务端尚未开放；用户通过反编译客户端完成界面复刻。链接：https://linux.do/t/topic/2962355[6]
OpenAI

企业用户比较国产AI编程工具替代Codex

社区重点比较CodeBuddy、Kimi Code和智谱ZCode的【企业席位、Django/Vue能力及发票支持】。链接：https://linux.do/t/topic/2961179[7]

技巧教程

研究生分享大模型辅助论文代码实现工作流

实践采用大模型、Skills工作流与Trellis拆解科研代码任务，并保存公式、约束和实现要求。链接：https://linux.do/t/topic/2962291[4]

行业资讯

微软研究院Agensh实现1024个编码智能体无中心协同

Agensh通过共享状态协调最多1024个编码智能体，在多项编程任务中观察到规模化收益。链接：https://aihot.news/items/cmukjwkok1u3bro9h0q956i9g[1]