「可验证推理」共找到 6130 篇相关文章
说句话，造个3D世界！腾讯VibeWorlding氛围造世界
香港科技大学（广州）和腾讯团队开源VibeWorlding框架，实现说句话造3D世界。它由VWE - Bench和VibeWorlding - Gym组成，开源模型经强化学习训练后成绩逆袭，证明强化学习解锁3D推理潜力巨大。
Transformer上限触顶，Mobius能否引发下一代模型架构的革命？
自ChatGPT问世，Transformer上限备受关注。前OpenAI、Google负责人称其走到尽头。国内改进架构受算力限制。上海人工智能实验室的书生Mobius团队提出分离知识与推理的架构，有望解决商用等关键问题。
APP 是功能的软件化，Skill 是经验的软件化
文章指出移动互联网时代人类把需求装进 APP，Agent 时代则把经验装进 Skill。当前多数人未充分使用 AI，微信接入 Openclaw推动大众拥抱 AI。Skill 是新旧世界耦合点，还具备进化能力，可形成复利。
推进科研和工程，编程跻身顶级人类竞赛榜：谷歌Gemini 3 Deep Think重大升级
谷歌发布Gemini 3 Deep Think重大更新，剑指科研和工程。它在编程算法竞赛等多项测试中成绩亮眼，能模拟人类科学家深度思考，处理复杂问题，还可重塑工程设计流程，已向部分用户和企业开放。
1400亿，他带走AI芯片独角兽的核心班底
平安夜英伟达官宣200亿美元与AI芯片初创公司Groq交易，后澄清是技术许可协议。英伟达获技术授权并整合产品，Groq核心团队加入，其继续独立运营，这或为“人才收购”，剑指AI推理市场。
出价算法新SOTA——快手首提生成式强化学习出价
文章介绍快手新提出的生成式强化学习出价模型GAVE，回顾出价算法发展历程。GAVE结合生成式与强化学习优势，有Score-based RTG等创新，经竞赛、实验验证效果佳，为出价技术带来新方向。
Chrome已死，Agent当立。 AI Chrome正式发布~
谷歌官宣为Chrome浏览器植入Gemini AI，发布10项更新，如智能体助理上线、跨标签页整合等。但用户体验不稳定，其AI能力是嫁接非原生。创业公司可放弃浏览器，拥抱智能体，利用自身优势发展。
12.4K 标星！开源AI编程神器 Dyad，v0、Bolt的开源平替！
AI 编程领域的 v0、Lovable、Bolt 等平台虽降低开发门槛，但有联网、隐私等问题。开源项目 Dyad 可作其替代方案，支持本地运行、多模型，能与 IDE 等集成，已获 12.4K 标星。
我的空白页恐惧症，被AI治好了
作者分享摆脱空白文档恐惧的经验，认为可让AI先写初稿，人与AI协同创作。以百度文库Genflow 2.0为例，展示其在资料导入、任务执行等方面优势，鼓励大家尝试与AI协作。
GPT-5真的拉胯吗？机器之心一手实测，网友：还我4o、还我4.5
OpenAI发布GPT - 5后评价褒贬不一。有人认为它进步大，也有人差评，如制作游戏、重构代码失败。机器之心实测发现其表现不稳定，写作、推理、编码能力有好有坏，复杂任务表现欠佳。