「可验证推理」共找到 6204 篇相关文章
夸克 AI 对话助手的邪修打开方式：一句话直通网盘，看电影、找资料全拿下
阿里“C计划”首个成果，夸克App深度整合对话助手，用Qwen3 - Max模型。可随意切换模式，其独特之处是提问资料或电影，能直返夸克网盘链接，“搜、用、存”一气呵成，与其他AI助手不同。
Codex 和 Claude Code，用哪个？
文章探讨 Codex 和 Claude Code 的使用，建议有条件用最好的模型工具。介绍二者特点，给出文件同步、记忆文件更新、项目目录结构添加等使用方法，还强调写好 Prompt 及明确 AI 能力边界的重要性。
AI点外卖哪家强，美团LongCat团队做了个全面评测
美团LongCat团队发布贴近生活场景的大模型智能体评测基准VitaBench，以三大高频生活场景为载体，构建含66个工具的评测环境。评测显示现有智能体与应用需求差距大，该基准已全面开源。
薛定谔亲外孙创业量子计算，老黄早早就成了股东
PsiQuantum由薛定谔外孙参与创办，获10亿美元巨额融资，欲2028年造百万比特级量子计算机。其量子比特基于光子，有生产优势，不过纠错能力待验证。公司团队学术背景强，项目多为政府大单。
谷歌 DeepMind 推出 CodeMender：自动修复代码的智能代理
谷歌DeepMind推出CodeMender，这一AI驱动的智能代理能自动检测、修复并加固软件漏洞。它结合多种技术推理程序行为，生成修复方案经自动测试和人工审核后提交。社区反响积极，长期影响待察。
一个模型装下整个物种树！伯克利GPN-Star斩获基因预测双料冠军
加州大学伯克利分校等机构推出基因组语言模型GPN - Star，可将全基因组比对和物种树信息装进大模型。它克服传统GLMs短板，实现三点升级，在多基准测试表现出色，是强大的全基因组变异解读框架。
Vision-Zero：零数据VLM自我进化！陈怡然团队提出零监督训练新范式
陈怡然团队提出零监督训练新范式Vision-Zero，在多模态任务表现突出。它借鉴自博弈技术，设计自博弈框架，解决数据稀缺和知识天花板问题，还缓解跨能力负迁移，开源代码与模型可供研究。
一篇大模型Agentic框架到应用最新综述
这是首篇系统拆解“大模型Agentic推理框架”的综述，不聊训练，只聚焦如何把LLM组织成会思考、协作、调工具的Agent，横跨科学发现、医疗、软件工程、社会经济模拟四大战场，给出统一语言、视角和评测。
华人主导谷歌SLED，论文登顶会！一键让模型学会自救
大模型常「瞎编」，传统修复代价高。谷歌在NeurIPS 2024提出SLED方法，不依赖外部知识和额外微调，将各层预测纳入考量，减少模型幻觉。实验显示，SLED能显著提升模型准确率。
从全局到部件：腾讯全新开源Hunyuan3D-Part和Omni
腾讯全新开源Hunyuan3D - Part和Omni。Hunyuan3D - Omni支持多模态输入，统一信号到跨模态架构提升融合鲁棒性。Hunyuan3D - Part含P3 - SAM和X - Part，分别用于部件分割与生成，在对应领域达先进水平。