「可验证推理」共找到 6084 篇相关文章
AI 提效了，老板觉得自己又行了：可代码行数和 Token 排名，真该拿来裁人吗？
文章探讨AI提效下的行业现状。开发者节奏加快，企业收紧人力。不同行业提效有别，互联网显著，金融审慎。还谈及效率悖论、裁员依据、生产力衡量及成本管控，指出提效应用于承接项目而非裁员。
3D版Nano Banana来了！AI修模成为现实，3D生成进入可编辑时代
2026年初市场关注3D生成领域，中国团队Hyper3D发布Rodin Gen - 2 Edit，实现3D模型局部编辑。它支持两种操作路径，将“3D生成”与“3D编辑”整合，还打通主流工作流，源于团队长期技术积累。
Google全链路赋能出海：3人团队调度千个智能体，可成独角兽｜MEET2026
在量子位MEET2026大会上，Google Cloud大中华区负责人Dennis Yue称智能体为初创出海注入新内涵。谷歌推一体化方案全链路赋能，还谈到Gemini 3突破、A2A协议及商业模式转变等。
视觉领域的GPT-3时刻！DeepMind首次证明Veo3模型实现对物理世界建模和推理
谷歌DeepMind研究团队论文显示，视频模型Veo 3学会‘无师自通’，能处理多种没学过的视觉任务。研究人员将其能力分四级，还做了定量评估。研究认为机器视觉或正处范式转变边缘。
三重激励+全周期扶持，即梦升级这个计划，让AI创作者的成长有迹可循
即梦AI创作者成长计划全面升级，构建覆盖三阶段的扶持体系，提供多维资源。该计划通过三重激励机制助创作者增收，还打造优质社区，持续开放至2025年12月。
奥特曼深夜官宣：OpenAI重回开源！两大推理模型追平o4-mini，号称世界最强
OpenAI深夜推出gpt-oss 20B和120B两款开源模型，性能比肩o3-mini和o4-mini，能在消费级显卡甚至手机运行。有宽松许可证等亮点，还准备了体验网站。这是自GPT - 2后首次开源，降低了部分群体准入门槛。
任务级奖励提升App Agent思考力，淘天提出Mobile-R1，3B模型可超32B
现有Mobile/APP Agent依赖动作级奖励，难应对变化环境。淘天集团团队提出Mobile-R1框架，采用三阶段训练，结合任务级奖励，实验显示其表现超基准，团队还计划开源资源。
ICLR 2026 Oral｜中科院团队提出新框架「SparseRL」，深度强化学习可自动生成高性能CUDA代码
中科院计算所团队提出 SparseRL 框架，将深度强化学习引入稀疏 CUDA 代码生成任务。实验显示，在 SpMV 任务上编译成功率提升 20%，执行速度提升 30%。该成果已入选 ICLR 2026 Oral。
锁死一致性！Vidu Q2「参考生」可算来了，新功能强到离谱，APP全面进化
生数科技Vidu Q2「参考生」功能全球正式上线，APP端全面改版。新上线「视频延长」功能，最长扩展5分钟，还在一致性、速度、成本等方面优化，在镜头语言、语义理解等表现出色，APP社交体验好。
混元3D开源端到端全景深度估计器，代码+精选全景数据已上线，在线可玩
全景深度估计在3D视觉领域日益受关注，但因全景数据稀缺、球面畸变问题，以往方法零样本泛化和效率不佳。腾讯混元3D团队提出DA²，通过数据扩充引擎和SphereViT架构，提升性能，展现SOTA表现。