「可验证推理」共找到 6204 篇相关文章
Arc研究所造出能“举一反三”的虚拟细胞模型，破解跨细胞预测难题
生物学和药物研发中，因细胞组合庞大，难以全实验验证，且同药在不同细胞效果不同。Arc Institute 团队推出虚拟细胞模型 STATE 及评测套件 Cell - Eval，STATE 预测效果优，但也存在短板。
EMNLP 2026高分论文MathDebugger：当合成数据涌入训练集，如何为数学题做体检？
随着合成数据增多，模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark，覆盖问答两端，评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据，证明错误标签可作监督信号。
全球首个通用决策大模型，AI推演现实世界的技术揭秘
中科闻歌决策机Decitron被称为「全球首个通用决策大模型」，它将不同能力统一到开放世界决策框架，形成闭环。8月3日其技术报告发布，公开三项核心技术，还介绍了推演流程和实验验证情况。
用Codex做跨境电商：第十章
第九章用虚构材料完成示范测试，表明工作流可在当前项目运行，但他人使用存问题。本章讲把工作流变成资产，使其具备复用和交接价值，还以Pilates环德国站上架为例说明操作步骤。
新一代Mac mini搭载M6开售！M5 Ultra也来了
苹果更新Mac mini和Mac Studio，带来M6、M5 Ultra芯片。M6是苹果首颗2nm制程M系列芯片，M5 Ultra为四晶粒封装SoC。苹果用四个档位搭建桌面Mac本地AI算力梯队，8月27日预购，9月22日发售。
一台工业具身机器人，从理想到现实要经过哪些坑？
在具身智能赛道，‘落地’常被滥用。聆动通用在‘工业落地’上很果决，以‘商业有闭环’和‘批量可复制’为核心指标。他们选择物流场景起步，推出LDB机器人，还面临量产和运营难题。
都在问世界模型怎么落地，PixVerse把答案做成了「好玩」
互动式娱乐市场正在爆发，PixVerse推出实时视频世界模型R2版本。该版本让用户真正和世界交互，解决实时视频世界模型持续scaling问题，从内测case来看玩法丰富，其底层技术也有大幅改进。
浙大开源PhyEdit：单图编辑+精准3D物体操作 | ACM MM'26
浙江大学ReLER团队开源的PhyEdit，用3D foundation model明确目标几何，让DiT图像编辑器负责最终渲染。单张图片里物体能移动并形成连续状态，在多项指标表现出色，还具备多种能力，已被ACM MM 2026接收。
别高估车企“造人”
今年5月特斯拉停产后搭建Optimus量产线，虽强调FSD算法可复用，却未量产。车企造机器人，优势在供应链管理和生产制造，算法移植效果一般，且面临数据难题，竞赛中暂无通关密码。
牛津、NUS提出下一代世界模型方向：心智世界模型来了
牛津大学和新加坡国立大学研究团队提出心智世界建模（MWM）通用框架，将心智变量纳入世界状态。还实现基准系统 MENTIS 验证其有效性，实验表明 MWM 对预测人类决策必要，瓶颈是状态转移模拟能力不足。