「可验证推理」共找到 6130 篇相关文章
一文带你彻底理解AIGC、Agent、MCP的概念和关系
本文为非AI开发者科普AIGC、Agent、MCP概念和关系。AIGC用AI生成内容；Agent可自主决策调用工具；MCP是Anthropic开源协议，降低模型与工具集成成本，获大厂支持。
马斯克Grok 4正式发布：世界最大AI超级计算机就训练了这？
Grok 4公开基准测试有进步，但在高级推理测试表现差，视觉理解仍是短板。性能提升多靠整合符号工具，无重大技术创新，‘幻觉’问题没实质进展，xAI官方对道德对齐信心不足。
谷歌杀疯了！全新开源AI编程工具Gemini CL，刚开源1天就斩获26.5K标星！
谷歌推出全新开源AI编程工具Gemini CLI，开源不到24小时获26.5K标星。它将Gemini 2.5 Pro塞进命令行终端，有自然语言驱动等多种能力，免费额度高，可扩展，部署简单。
清华SageAttention3，FP4量化5倍加速！且首次支持8比特训练
清华大学陈键飞团队提出针对BlackWell架构的SageAttention3，实现5倍于FlashAttention的推理加速，首次支持8比特训练。在多种大模型上保持端到端精度，代码将分别于6、7月开源。
清华东门1公里：AI原点社区的10万补贴和一天1块钱的工位
文章介绍北京AI原点社区，它2026年1月入选北京首批人工智能创新街区。这里无物理边界，三区融合，核心区16万平。企业可通过原点学堂等入驻，有补贴等资源。个人不挂靠公司也能用其资源，并给出使用建议。
网页藏毒，劫持Agent？你需要会「追凶」的自进化女警系统
AI Agent接入外部环境后，易遭遇隐蔽的网页藏毒、prompt注入攻击，传统防御要么成本过高要么易被新型攻击绕过，本文介绍新提出的自进化防御系统CAITLYN，验证了其防御效果。
OpenAI搬空Claude Code！用户家当一键进Codex，唯独带不走Claude
AI编程大战中，OpenAI盯上对手用户的配置、技能等“家当”。8月11日其统一外部智能体导入说明，可将Claude Code等工具配置等搬入Codex，但只能进不能出，且部分内容无法迁移。
两个95后华人，搞出硬件版Clawdbot，售价1700元
本文介绍硬件版OpenClaw——Distiller Alpha，其核心计算基于树莓派CM5，集成多设备，能和Agent对话，可Vibe coding。量子位采访创始人叶天奇，探讨软硬一体Agent、OpenClaw优缺点、硬件创业等问题。
图灵巨头反水！ICML新规血洗学术圈，学术散户只能「裸奔」
2025年NeurIPS投稿量大增致评审系统危机，ICML 2026推出作者自评级新政。图灵奖得主Bengio支持，认为可利用‘偏见’降噪。但该机制对只投一篇论文的‘学术散户’不利，或奖励‘灌水’。
Google封神，计算机视觉的GPT3时刻来了！
Google Deepmind称在CV领域做出类似GPT-3的成果，Veo 3经大规模训练涌现通用视觉理解和推理能力，能以图片+提示词完成复杂视觉任务，还具备感知、建模等四大超能力。