「AI推理系统」共找到 11777 篇相关文章
黄仁勋抢吃龙虾：英伟达新核弹10倍算力提升，OpenClaw自由了
北京时间凌晨，英伟达GTC大会召开。CEO黄仁勋称正处新平台变革开端，算力需求爆发。推出Vera Rubin系统，性能提升显著，还有新推理芯片LPU。上线NemoClaw保障安全，AI在物理世界也加速落地。
最窒息的Bug：Agent循环搜索原地打转？SGR Agent用「双阶段认知」破局
Hybrid Schema - Guided Reasoning（SGR）是革命性AI研究智能体框架，用「两阶段推理 - 执行架构」和「持久化上下文记忆系统」，解决AI助手复杂研究任务的三大痛点，模拟人类研究过程，适用于多场景。
炸裂！Claude以第一作者写论文反驳苹果「推理模型根本没有推理能力」：苹果有三大错误
苹果论文称推理模型无推理能力，引发争议。Anthropic的Claude Opus以第一作者写论文反击，指出苹果研究有混淆‘推理失败’与‘输出截断’等三大问题，还通过实验证明模型能力，强调需更聪明评估方法。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
Builder.ai 破产背后：700 名工程师伪造 AI 是假，重复造轮子及财务造假是真
印度AI独角兽Builder.ai破产引发关注，此前有说法称其用700名工程师伪造AI。经与前员工沟通，这一说法不实。该公司搭建了AI工具Natasha，技术栈含Python、GPT等，但存在重复造轮子、财务欺诈等问题致破产。
苹果高级副总裁下岗！AI大败局，靠血洗AI团队解决？
刚进入12月，掌管苹果AI与机器学习战略七年的高级副总裁约翰·詹南德里亚卸任。苹果AI乏力非其一人之过，是谷歌流派与苹果文化冲突所致。此次人事调整后，AI回归软件工程本位，不过人才流失成新挑战。
中科院首提「AI哲学」，万字解读：为自身立命，为AI立心
中科院吴怀宇教授首次系统性提出「AI哲学」体系，以「感智境行」为核心架构，探讨智能本质、人机边界等，为人类应对AI冲击提供认知框架，也为AI赋予意识根基，涉及多学科，具多方面价值。
人类研发时代结束？XYZ最强Search Agent横扫七大榜单，300个Agent跑通AI4AI全栈闭环
近日，XYZAI Lab发布两款Deep Search Agent，刷新多项评测SOTA成绩。其背后是新型AI4AI研发范式，让AI驱动研发闭环。XYZ团队用AI解决多方面问题，在Deep Search验证，未来有望拓展更多场景。
“老程序员”为啥不迷信 AI 带来的效率提升？聊聊 AI 编码的局限与现实
开发经验丰富的人对AI编码提升效率更保守，因现有开发模式下，AI编程效率提升有限。特定场景AI给力，但项目复杂时提升迅速下降，还分析了原因，最后提到微服务架构或在AI编程时代重新火起来。
Docker 通过 Cagent 提供 AI 代理确定性测试
AI 代理系统普及，工程团队面临测试概率性输出的挑战。Docker 的 Cagent 是一种 AI 代理确定性测试方法，采用 proxy - and - cassette 模型，虽处早期，但揭示了 AI 代理测试的不同方向。