「自动化定理证明」共找到 812 篇相关文章
最火、最全的Agent记忆综述，NUS、人大、复旦、北大等联合出品
多所顶级学术机构联合发布百页综述《Memory in the Age of AI Agents: A Survey》，为‘Agent Memory’梳理技术路径。提出三角框架，辨析与其他概念差异，还探讨记忆形式、功能、运转机制，展望未来发展方向。
旧金山大停电，Waymo自动驾驶汽车瘫痪，特斯拉赢麻了
上周六旧金山大规模停电，由PG&E变电站火灾引发，约12万用户受影响。Waymo自动驾驶汽车因信号灯熄灭大规模瘫痪，造成交通堵塞。而特斯拉开启FSD的汽车正常行驶，凸显不同技术路线优劣。
用AI“打开”金融市场黑盒：微软亚洲研究院如何构建订单级仿真引擎
在大模型与智能 Agent 崛起的时代，金融行业变革不断。微软亚洲研究院刘炜清在 AICon 大会分享，团队构建金融基座模型与 Agent 流程，实现高保真市场模拟与决策优化，还介绍了相关平台和模型构建应用。
从华为“弃将”到打造两家上市公司，他如何成为中国“工控之王”？
过去二十多年，朱兴明打破欧美垄断，提升中国工业自动化核心零部件水平。他曾是华为员工，后创立汇川技术，带领其上市，还拆分出联合动力上市。他决策有得有失，如今又瞄准新领域。
AutoDev CLI：打造 AI 生成的 AI Agent 质量保障与验证架构
文章介绍AutoDev CLI，它基于AutoDev MPP架构构建，旨在解决上一代AutoDev智能体测试难题。阐述其起步、迭代、演进、集成过程，实现从AI生成代码到验证、生成测试系统的转变，带来可验证、可演化、可移植的优势。
BigBang-Proton: 自回归基座模型统一语言、科学和物质世界
超对称公司发布新版基座模型 BigBang - Proton，实现多学科问题与 LLM 统一预训练和推理，挑战主流 AGI 技术路线。它有三项创新，在多专业学科任务表现出色，还提出宇宙尺度压缩构想。
OpenAI Atlas等AI浏览器暴露Web Agent安全风险！南洋理工破解底层机制
OpenAI Atlas等AI浏览器提升网页自动化效率，但使智能爬虫威胁加剧。南洋理工等团队研发的WebCloak，混淆网页结构与语义，打破爬虫技术依赖，为数据安全筑防线，适用于数据敏感场景。
RL 将如何提高具身大模型 VLA 泛化性？清华大学团队NeurIPS 2025文章分析 RL 与 SFT 泛化性差异
清华大学团队在NeurIPS 2025发表文章，揭示强化学习（RL）提升具身大模型VLA泛化能力的优势，对比其与SFT差异，还提出评测基准和训练方法，为VLA训练提供新方向。
7亿人每周狂发180亿条消息！OpenAI首次揭秘ChatGPT最火用途
OpenAI联合杜克、哈佛发布ChatGPT首份使用报告，显示周月活达7亿，成高学历白领办公利器，编程冷门。同时，Anthropic报告称人们交给Claude完成任务比例涨至49%，Claude主战场是代码编写。
Notion CEO Ivan Zhao：好的 AI 产品，做到 7.5 分就够了
Notion CEO Ivan Zhao 在播客采访中分享打造 AI 产品的观点。他认为 Notion 整合 SaaS 成生产力工具，数据库是核心。好产品做到 7.5 分即可，构建 AI 产品像“酿啤酒”，知识工作领域 Agent 未真正出现。