「静态分析」共找到 1159 篇相关文章
离大谱！15k Star book-to-skill，我惊到了！！！
book-to-skill是将书籍、文档目录或多份资料转换成Agent Skill的命令行工具。它把资料拆成可按需加载的知识资产，有按需加载章节等优势，适合将常用知识编译成技能，不过也有一定局限性。
换个地面/身体，机器人策略就失灵？让扩散策略读懂「动力学」| ICML'26
扩散策略成机器人控制热门路线，但真实世界动力学多变，策略易失灵。UC Berkeley等联合提出DADP，训练统一策略，在零样本跨域控制任务表现强，尤其在OOD场景优势明显，还给出工程补充结果。
王阳明心学，被Anthropic用来教Claude做人了
UT Austin哲学教授Harvey Lederman研究王阳明心学十年，现加入Anthropic做Claude对齐训练。他用分析哲学拆解“知行合一”，发现AI模型存在“信念冲突”，Anthropic用类似阳明心学方法解决问题。如今硅谷AI公司争抢哲学家。
机器人的“ChatGPT时刻”为何迟迟未来？
俄勒冈州立大学教授乔纳森和前 Google X 高管汉斯探讨机器人有无“ChatGPT 时刻”。指出机器人领域难现单一突破，需工程实践、工具配合和数据积累，还从多方面分析了面临的问题。
库克留给苹果新CEO“第一份作业”
2026年9月1日，约翰·特努斯将接替库克任苹果CEO。届时可折叠iPhone将亮相，苹果未来产品线涵盖约10个新品类，均以AI为核心，但特努斯需解决Siri及供应链等问题。
IMO/IOI奖牌得主18000人追踪：1500倍概率成亿万富翁
知名X博主Deedy挖出18000名IMO、IOI、IPhO奖牌得主职业去向。这群人成亿万富翁概率是普通人1500倍，成独角兽创始人概率是4000倍。分析了他们大学选择、职业方向，也探讨了中国选手去向。
第 3 章 Agent 核心功能技术详解
本章以Claude Code及其生态为主参照，介绍现代Agent平台提供类似‘操作系统’机制，包括命令、记忆等。面向熟悉Python与LLM的开发者，按是什么、解决什么问题等展开，还分析了Agent工程核心挑战。
Claude Code越更越废？！大厂AI主管公开怒喷思考深度暴跌，官方回应更被怼爆 ：菜成AI“玩具”
Claude Code在2月更新后无法用于复杂工程任务，AMD AI团队主管Stella Laurenzo分析发现其思考深度下降67%、算力消耗增加。开发者不满，Claude Code负责人回应未获认同，部分开发者考虑转用Codex。
美军杀人AI猛料曝出！Claude24小时锁定伊朗1000个目标，战争彻底变天
外媒爆料，美伊冲突中，美军让Claude与Maven系统合作，24小时锁定1000个目标。Maven能整合多数据源、分析态势、生成建议。如今AI公司纷纷进军军工，AI让战争更快、更难控。
150万个AI在Moltbook上觉醒了吗？一群孤独的算法发送着毫无意义的信号
Moltbook是只允许AI发帖的社交网络，超150万个AI已入住。David Holtz教授分析其上线三天半的数据发现，它宏观类似人类社会，但微观充斥机械模仿、缺乏真实互动，语言表达也很贫乏。