「可验证推理」共找到 6130 篇相关文章
数学题干带猫AI就不会了！错误率翻300%，DeepSeek、o1都不能幸免
研究发现，在数学题后加如“猫一生绝大多数时间都在睡觉”这类话术，会让大模型答错概率翻3倍，DeepSeek - R1、OpenAI o1等推理模型中招。研究探索攻击方式，总结出三种攻击模式。
Artificial Analysis 发布 2025 年 AI 现状 Q3 季报
Artificial Analysis发布2025年Q3 AI现状报告，揭示五大关键趋势，如推理模型占智能榜单前十、智能体能力突破、开源模型发布创新高、图像视频技术主流化、原生语音模型达生产级，还将举办简报会。
秘塔AI放大招！「边想边搜边做」，内置20+智能体，想法一键实现
在AI浪潮下，搜索正经历重构。秘塔AI推出「Agentic Search」模式，「边想边搜边做」，可自主完成多步工具调用，内置20余种工具。通过5个场景展示升级，从读懂用户到美化结果、精准计算、打通工作流等，让搜索进化为「帮达成」。
牛B, 我真的起飞啦，6.4k Star Bright Data CLI～～～～
约6.4k Star的Bright Data CLI想解决AI Agent访问网页难题，把网页变成易被模型读懂的材料。它将网页访问能力拆成终端可组合动作，还关注工程化细节，让Agent上网有章可循。
冷门新语言AI写不动？IEEE论文：从零到及格线，MoonBit给出完整训练路线
IEEE论文聚焦新语言MoonBit和Gleam，探讨大模型代码生成能力。研究发现大模型零样本生成新语言代码能力差，few - shot和RAG有提升但有限，继续预训练及指令迁移可显著提高模型表现。
变更即指标：用交付信号度量系统可靠性
系统变更是生产事故主因，本文提出聚焦变更可观测性的指标框架，介绍可扩展架构采集展示指标。定义业务和技术指标，构建以事件为中心架构获取数据，还阐述以数据驱动改进变更交付过程。
一手实测！不用研究小龙虾了：腾讯搬出QClaw，直连微信，零门槛
腾讯基于OpenClaw开源生态推出QClaw，主打简单、零门槛部署，可直连主流大语言模型，集成微信能远程操控电脑。还推出SkillHub技能社区，腾讯电脑管家有安全防护功能，但权限问题待解决。
能导出 PSD 的 AI 设计工具，出现了
国内 Seede AI 团队发布海外新产品，无需写咒语，填文案信息就能让 AI 搞定排版等。它生成可编辑源文件，适合有内容但不会设计的人，还支持多格式导出，不过不擅长创意生图。
3.5k星星！用AI推演、预测未来，这个开源多体智能引擎做到了。
文章介绍开源多体智能引擎MiroFish，它是基于多智能体技术的AI预测引擎。用户提供种子文件、下达指令，它能构建数字沙盘，让AI智能体互动演化，可用于企业公关等场景，还给出推演流程。
LLM-in-Sandbox：给大模型一台电脑，激发通用智能体能力
来自中国人民大学、微软研究院和清华的研究者提出LLM - in - Sandbox范式，让大模型在代码沙盒完成任务，实验显示其能提升多领域表现，无需额外训练，还能减少token消耗，研究者认为应取代纯LLM推理。