「可验证推理」共找到 6204 篇相关文章
企业级Agent「登月」时刻！1人1周搞定高可用系统，只花5元
12月16日，无问芯穹智能体服务平台发布，为企业提供全链路陪伴式落地服务。它有能力模板和托管服务，能解决企业智能体落地困境，如提升效果、保障稳定、控制成本等，已在多行业验证价值。
苹果光速撤回RLAX论文：用了谷歌TPU和阿里Qwen，作者中还有庞若鸣
苹果一篇新论文在 arXiv 公开后匆匆撤稿。该论文揭示基于 TPU 的可扩展 RL 框架 RLAX，用了谷歌 TPU、亚马逊云及阿里 Qwen 模型，还介绍其架构、策略支持等，实验结果亮眼，也分享 Debug 过程。
告别App孤岛，天翼AI如何用统一入口重构数亿用户的数字生活？｜甲子光年
2025年中国AI行业模型能力强但用户体验复杂，存在数字鸿沟。中国电信在数智科技生态大会上，天翼AI发布星辰智能体服务平台1.0，以统一入口“星小辰”智能体重塑入口逻辑，还在多领域布局扩张能力。
刚刚，GPT-5.2满分屠榜，OpenAI十周年王者归来
OpenAI 十周年推出 GPT - 5.2 系列模型，包括 Instant、Thinking 和 Pro 版本。它在多方面表现出色，刷新多项基准测试 SOTA 水平，如 AIME 2025 获满分，在 GDPval 达人类专家水平。还在编码、视觉理解等能力上有显著提升。
10K Star！这个 AGENTS.md 开源项目太赞了，AI 编程助手彻底悟了！
AI 在看 README 时理解能力差，被戏称“智商只有三岁”。AGENTS.md 是专门写给 AI 编程智能体的文档格式，已获 10K Star，可助其理解项目，还介绍了与 README.md 的区别、使用方法等。
全图与切片并非等价？LLaVA-UHD-v3揭示差异推出高效全图建模方案
随着多模态大模型发展，处理高分辨率图像成关键。主流视觉编码范式难兼顾性能与效率，清华和中科院团队发布 LLaVA-UHD v3，提出 PVC 框架，对比 SBE 和 GNE，验证其在提升效率同时保留模型能力。
斯坦福人均≈0.1张GPU！学术界算力遭「屠杀」，LeCun急了
学术界GPU荒严重，美国顶尖大学人均GPU少，与大厂差距大。如斯坦福人均0.14张，而微软等大厂数据中心算力惊人。这导致人才流向工业界，学术验证能力弱，但部分高校有改善措施。
GPT-5从零提出量子物理新想法，物理学家写成论文已登Physics Letters B
密歇根州立大学物理学家Stephen Hsu在《Physics Letters B》发表量子物理论文，核心思想由GPT - 5提出。论文探讨量子演化线性问题，推导出新算符可积性条件。他还分享与GPT - 5协作过程及体验，对人机协作前景乐观。
DeepSeekV3.2技术报告还是老外看得细
ChatGPT三岁生日时，DeepSeek两款开源模型DeepSeek-V3.2和DeepSeek-V3.2-Speciale引发热议。它们在智能体评测中表现出色，缩小了开源与闭源模型差距，还降低了成本，给硅谷闭源AI公司带来压力。
学生3年投稿6次被拒，于是吴恩达亲手搓了个评审Agent
机器学习大佬吴恩达为投稿屡被拒的学生，做了免费AI论文评审智能体。它在ICLR 2025审稿数据训练，与人类审稿相关系数达0.42，能按会议风格评审，还提修改建议，可体验。