「证明系统」共找到 2060 篇相关文章
做过十遍还要从头摸索？Agent 的记忆终于开始长成技能
MemTensor 等机构提出无需训练基础模型的 MSCE 框架，为 Agent 外部经验建‘晋升制度’，让经验成技能。该论文在 EvoAgentBench 与 LoCoMo 测试中结果更好，但在因果证明、模型依赖等方面有不足。
英伟达GEAR实验室刚刚放出大招，物理世界的自动研究 AutoResearch 首次成为现实
英伟达GEAR实验室实现物理世界自动研究AutoResearch，其ENPIRE系统让8个Codex智能体接管机器人舰队自主完成研究流程，将高精度操作成功率提至99%，还发现新物理缩放法则，项目即将开源。
当达沃斯还在热议AI未来时，中国一家公司的AI教育已经服务了全球5000万群体
世界经济论坛第56届达沃斯年会聚焦AI，各方探讨其走向与价值。松鼠Ai作为中国AI独角兽企业受邀，其智适应教学系统落地应用，创始人栗浩洋提出AI价值重构，该企业还具备全球复制潜力。
对话西工大徐韬：昇腾生态如何为AI创新装上涡轮增压？｜甲子光年
本文讲述西工大徐韬团队与昇腾平台深度合作的故事。他们从算子研究攻坚底层技术，开发抑郁症初筛等系统。昇腾还助力教学，让学生实践操作。未来，更多人将参与国产AI源头创新。
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
十万卡，不是把十万张GPU插在一起
本文拆解十万卡GPU集群的核心痛点，指出其难点并非硬件堆叠，而是系统调度、稳定性等工程能力，介绍摩尔线程全栈布局及与京东云合作打造国产十万卡集群的行业信号。
一名员工用个 AI 工具，直接把 Vercel “送”进黑客手里！AI 还在替你决定技术栈，vibe 产品危？
当地时间4月19日，云开发平台Vercel确认内部系统遭未授权访问，黑客出售窃取的数据。攻击源于员工使用的AI平台Context.ai安全事件。此外AI编程助手正重塑技术生态入口，影响工具选择。
美军杀人AI猛料曝出！Claude24小时锁定伊朗1000个目标，战争彻底变天
外媒爆料，美伊冲突中，美军让Claude与Maven系统合作，24小时锁定1000个目标。Maven能整合多数据源、分析态势、生成建议。如今AI公司纷纷进军军工，AI让战争更快、更难控。
100k Star，他们给Clawdbot升级了超级记忆
Clawdbot项目突破100k，后改名moltbot。其原记忆是静态的，此次升级为超级/动态记忆，构建三层记忆系统，让理解力自我更新。还集成Supermemory，有自动回忆等功能，文章给出实施指南。
Meta提出StepWiser，让模型学会“反思”自己的推理过程
Meta提出StepWiser解决大语言模型推理逻辑正确性问题。它训练生成式评判模型，通过强化学习在线训练，能解释推理步骤好坏。实验显示其远超传统方法，为构建可靠AI系统提供新思路。