「可验证推理」共找到 6130 篇相关文章
华为GTS让Agent学会「看着网络排障」，双防火墙难题几乎全拿下
本文介绍华为GTS算法团队针对大模型Agent网络排障遇到的「拓扑失忆」痛点，提出NetCanvas方案，通过可交互视觉拓扑实现认知卸载，大幅提升复杂网络排障的准确率和效率。
Lovart第一时间上线Image 2：每个人真的可以瞬间拥有一个设计部了
Lovart上线Image 2，有去AI味的写实感、强大文字生成与泛化推理能力，完爆Nano Banana 2。它结合独家工作流，带来设计体验飞升，还给出五个使用场景案例，并对比了与Claude design的差异。
千元手机也能离线爽跑谷歌Gemma 4，太酷了！
谷歌推出开源APP `Google AI Edge Gallery`，可在手机离线运行开源大模型，如Gemma 4。它数据不出本地，玩法多，支持中文交互。虽有局限，但已超模型演示范畴，展示AI本地智能趋势。
The Batch: 919 | 本地 AI 能否替代云端？
大语言模型预测输出需求推动数据中心扩建，研究人员探讨本地小型模型能否分担算力负荷。斯坦福与Together AI团队研究发现，本地系统单瓦特智能量与云端有差距但在缩小，若准确率相近可节省能耗。
GPT-5.4 发布，OpenClaw 要被替代？OpenAI 新模型会自己用电脑了，还顺手把编程能力拉满
今天，OpenAI 发布 GPT-5.4，将推理、编程和计算机使用能力整合，具备原生电脑操作能力，提升了工具使用效率。它成本降低、幻觉减少、编程能力更强，但 API 价格较高。其或与 OpenClaw 抢夺入口。
这个情人节，AI深吻Math！国产RL系统多维突破300年亲吻数难题
2月14日情人节，上智院等联合研发的PackingStar强化学习系统，在多维度刷新亲吻数与广义亲吻数纪录，实现数学结构领域多维度、系统性突破。它将复杂几何问题转化为可训练游戏，成果获权威认可。
实测丨别人还在做网站，Atoms 已经帮用户赚到第一桶美金了
当下多数AI编程工具只解决写代码问题，难以让产品变现。Atoms由MetaGPT等原班人马打造，补齐商业闭环，从市场验证、上线收钱到解决流量问题都有办法，实测效果佳，还让普通人成功盈利。
61.3%！「人类最后一场考试」AI终于及格了，揭秘Agent自我进化新路径
上海交通大学等联合团队提出MemRL框架，在不微调模型参数下，让AI在“人类最后一场考试”中准确率跃至61.3%。该框架受人类认知科学启发，解耦推理与记忆，实验表现出色，或为AGI提供高效路径。
把 AI Coding Agent 搬进终端：Crush 让你的命令行变成“编程搭子”
Crush是Charmbracelet出品的终端AI编程代理，可将工具、代码和工作流接到所选LLM，在终端协同工作。它有多模型、会话制等特点，适合终端重度用户等，还介绍了安装、使用及进阶玩法。
Token是这个时代最伟大的发明
博主黄益贺认为AI称得上科技革命，因其带来信息形态与交互方式的根本性变革，而这都归功于Token。Token实现信息形态大统一，带来信息交互方式变革，让信息可被自由召唤、定制化显现。