「可验证推理」共找到 6130 篇相关文章
Raycast + MCP = AI Mac
Raycast添加AI插件可实现跨应用调度，现支持MCP。它解决了MCP用户部署、配置难的问题，提供接近自动部署的方法。还介绍了MCP在Raycast中的安装与使用，以及作者常用的支持MCP的客户端。
Karpathy刚进Anthropic，转头又投了它
AI初创公司Engram成立8个月，估值达6亿美金，获9800万美元融资。它聚焦AI记忆，用Cartridges技术降内存、提速度，将推理和记忆层拆开，团队成员背景强大，押注AI范式新转向。
14.7M参数，小目标AP达到13.9%！FSDETR用频空融合重新定义目标检测
传统小目标检测问题多，2026年4月FSDETR论文提出频空融合法，用14.7M参数获13.9% APS成绩。它有SHAB、DA - AIFI、FSFPN三个核心模块，还给出训练、推理及导出ONNX部署代码。
断腿也能跑！97小伙研发乐高式机器人，每个模块独立自主，断臂后秒变三脚怪兽继续狂奔
近日，美国西北大学博士生余琛团队研发出全新模块化机器人，由独立智能腿模块组成，能像乐高自由组合，可在复杂户外奔跑，断腿后也能继续前进，在多领域有应用潜力，相关论文已发表。
52k Star，Hermes Agent试图杀死OpenClaw
近期龙虾（OpenClaw）热度下降，harmess engineering大火。开源项目hermes-agent已有52.7k Star，是自学习型AI智能体，能积累技能、持续学习，可轻松切换多种模型，还给出安装、使用指南和文档教程。
龙虾之后，为什么说「主动式智能」才是Agent的终极形态？
OpenClaw爆火展现AI Agent主动性，但止步屏幕。Looki最新上线Proactive Intelligence Engine，将自动驾驶工程范式迁移到可穿戴设备，实现从被动到主动的跨越，面临技术和隐私挑战。
硅谷豪赌算力烧到停电，中国团队反向出击！这一刀，直接砍碎Scaling Law
硅谷陷入算力战争，OpenAI、马斯克等豪赌Scaling。但Anthropic指出模型大、算力多不一定聪明。Yuan 3.0 Flash登场，用RAPO+RIRM解决过度思考，降低推理token，在多模态任务表现出色，引发开发者关注。
微软谷歌正在大力招「电工」
巨头围绕AI的人才争夺战扩至能源领域。微软、谷歌等大厂纷纷扩招能源专家团队，互挖墙脚。缺电已成AI发展瓶颈，大厂也在核电、核聚变项目投资，还可提高数据中心能源效率。
2篇最新152页论文，RL+LLM被彻底讲透了！
今天分享2篇2025最新RL×LLM的技术综述，分别聚焦“RL在LLM全生命周期的打法”和“RL如何炼成大推理模型”，梳理玩法、组件、算法演进等内容，还给出开源模型、数据等盘点。
全球价值最高创企诞生，OpenAI估值创纪录来到5000亿美元
几天前OpenAI发布视频大模型Sora 2，获Altman盛赞。据彭博社，OpenAI完成交易，员工可按5000亿美元估值售股。年初其估值3000亿美元，此次提升突显其用户与收入快速增长。