「能源领域自动驾驶」共找到 2304 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
鹏城实验室 X 中大hcp实验室推出 RADAR : 具身智能评测的新标杆
RADAR是鹏城实验室与中大hcp实验室为具身智能领域设计的评测基准，解决现有评测体系三大缺陷，通过创新设计揭示模型不足，为研究者提供方向，推动具身智能实用化。
100k Star，他们给Clawdbot升级了超级记忆
Clawdbot项目突破100k，后改名moltbot。其原记忆是静态的，此次升级为超级/动态记忆，构建三层记忆系统，让理解力自我更新。还集成Supermemory，有自动回忆等功能，文章给出实施指南。
The Batch: 869 | 编码助手的训练数据
研究人员开发自动生成编码助手训练数据的流程。斯坦福等高校及阿里团队提出 SWE - smith 方法，从 128 个 Python 仓库入手合成漏洞、验证并生成修复样本，成果免费开放，有望改进 AI 辅助编程模型。
刚刚，NLP先驱、斯坦福教授Manning学术休假，加盟风投公司任合伙人
NLP领域先驱、斯坦福教授克里斯托弗・曼宁从斯坦福休假，加入AIX Ventures任普通合伙人。他是将深度学习用于NLP的早期领军者，著作、课程影响大，此次转型将助力AI初创公司发展。
吴恩达对谈LangChain创始人：企业构建Agen系统的核心认知！
吴恩达与LangChain联合创始人Harrison Chase深度对话，点明构建Agent系统关键要点，如关注系统‘Agentic’、解决构建核心挑战、模块化构建等，还提及被低估领域、MCP问题及AI创业制胜之道。
OpenClaw 一键接入飞书最简单的方式，出现了！
作者作为安装 OpenClaw 的技师，起初安装方式效率低。后飞书推出在“飞书妙搭”一键接入 OpenClaw 的方法，还自动安装官方插件，其功能强大，可让 AI 助手像“数字同事”参与协作。
ICLR重磅回应：评审回滚、AC重置、封禁泄密者、严查贿赂串通
自11月27日OpenReview平台曝出重大API漏洞，ICLR 2026超10000篇投稿数据泄露，评审流程熔断。ICLR公布处理方案，回滚评审数据、重分领域主席，封禁泄密者，涉串通论文将拒稿。
OpenAI深夜放出GPT-5狙击谷歌！基准测试碾压前代模型，价格比Claude更便宜
北京时间8月8日凌晨，OpenAI推出GPT - 5，宣称其更智能、准确，幻觉率低。还推两款新模型，介绍了不同用户套餐。它在编程基准测试表现佳，健康领域能力突出，引发各界热议。
宇树王兴兴，A股上市辅导公告了
宇树科技创业九年正式冲刺A股上市，其创始人王兴兴持股情况曝光。公司估值超百亿，产品涵盖多类型机器人，应用潜力大。当下具身智能领域投资火热，行业正迈向产业场景落地。