Vector数据库退位，AI记忆Memvid登场！

近期基于视频的AI记忆库Memvid大火，宣称革新AI记忆管理，能将文本片段存于MP4实现快速语义搜索。不过网友分析，它底层用FAISS，读写慢、文件大，仓库issues也显示其性能与声称相反。

大树之家团队师生赴希腊参加第一届人工智能与流体力学国际研讨会（AIFLUIDs）

第1届人工智能与流体力学国际研讨会于2025年5月27 - 30日在希腊举办，由多所高校联合筹办，34国超300名学者和近20家科技公司参会。大树之家团队8人参与，作报告获高度关注，加强了学术交流。

现实世界的天气能复刻？Weather-Magician实时渲染下雨打雷下雪

传统工业方法在还原复杂现实场景时成本高、质量差，当前算法也难重建和渲染真实天气效果。上海交通大学提出Weather - Magician框架，能重建场景并渲染4D天气效果，对硬件要求低且可实时渲染。

Multi-Agent 的灵活编排之路

文章从Copilot 3.0架构规划模块出发，结合DeepSeek R1强化学习训练实践，探讨多智能体架构下大模型编排智能体解决问题。分析Copilot 2.0局限并介绍3.0升级，指出难点，展示效果对比及解决方案。

陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车

数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。

n8n是开源工作流程自动化工具，提供直观界面创建自定义流程，支持超400应用集成。过去一年增长迅速，活跃用户超20万，ARR增长5倍，GitHub获77.5k star。介绍其创立背景、优势特点，用户评价褒贬不一，还提及与其他工具对比及“公平代码”理念。

DeepSeek涨价，OpenAI降价，Agent改写了大模型价格战

近期，DeepSeek上调API价格，V4 Pro等型号涨幅明显；而OpenAI的GPT - 5.6 Luna API价格降80%，Terra降20%。这背后是大模型价格竞争方向转变，受竞争、广告、效率及Agent使用方式等因素影响。

Meta重返开源！30B本地Agent塞进24GB显存，LeCun火速力挺

Meta重返开源，推出开源模型Muse Glimmer，参数30B，经量化后一块24GB消费级显卡就能跑通，拥有完整Agent能力。Meta还预告Muse Spark 1.2开放权重版本将发布，扎克伯格称会恢复发布部分开放模型。

Claude Opus 5被扒光了！1511行提示词底牌全摊开

Anthropic的Claude Opus 5上线当天，系统提示词被开发者Eversmile1传到GitHub。提示词含产品说明、法务合规手册、推销渠道内容。其记忆规则严格，版权引用限制多，商业推荐有不同策略。上线24小时能力被广泛测试。

零GPU，世界第一超算！深圳制造改写游戏规则了

中山大学教授带队、深圳制造的灵晟超算登顶全球超算TOP500榜单，零GPU采用纯CPU架构，全链路自研。图灵奖得主评价其为“AI4S新型架构的希望之光”，还在多领域展开应用。