◆ AI 总结

本期重点关注端侧与实时生成的新模型应用，以及智能体记忆和概念建模等方法进展。另有Ling-3.1-flash开源和数学形式化证明等值得关注的科研动态。

模型动态

斯坦福提出先粗后细的Next-Concept Modeling

斯坦福提出Next-Concept Modeling，先生成粗略概念再并行补充细节，质量达到或超过部分扩散模型基线。链接：https://x.com/StanfordAILab/status/2110517407395860570[2]

Ling-3.1-flash开源，560B模型支持四卡部署

蚂蚁百灵开源Ling-3.1-flash，总参数560B、激活约25B，支持百万Token上下文和四卡部署。详情：https://aihot.news/items/hie2iw214agnrwu3mxy3t79af[3]

Muse Wonder在Agent Arena排名第12但成本约高一倍

Muse Wonder在5000多次真实智能体任务中排名第12，较Spark 1.3提升2.8个百分点；单任务成本约为其【2.1倍】。详情：https://x.com/arena/status/2110465487914295770[6]

技巧教程

Anatomy Skill支持一句话生成科普视频

Anatomy可通过一句话生成科普视频，适合内容创作者快速起号。项目地址：https://t.co/OD91H2DRrM[1]
Langchain

LangChain介绍长时程智能体的上下文记忆方案

LangChain建议将历史上下文移出活跃窗口，保留工具结果与指令，以缓解长时间运行导致的准确率下降。链接：https://x.com/LangChain/status/2110449692144509184[5]

硬件动态

Matrix-Game 4.0实现单张RTX 5090实时运行

昆仑万维开源Matrix-Game 4.0，主打视频生成与实时交互，可在单张RTX 5090上运行。项目详情：https://aihot.news/items/eg7f0ohfzuyjux9ndx2ggk72s[4]

行业资讯

书生S2协助完成三维Ghys猜想形式化证明

上海人工智能实验室借助书生S2完成三维Ghys猜想证明，并由北大团队使用SHEAF形式化验证；相关代码已开源。详情：https://aihot.news/items/pchpeyjsiuqf4biupja4p4af4[7]