「可验证推理」共找到 6204 篇相关文章
陶哲轩亲测！GPT-5 Pro 40分钟破解3年难题，登顶最难数学考试
数学家陶哲轩将几何难题交给GPT - 5 Pro，虽推理完美但无解。同一周，GPT - 5 Pro在FrontierMath测试集夺冠。陶哲轩测试发现AI在科研不同层面表现有别，也揭示了AI理解力受限及人类与AI的分工边界。
中国AI云的领航者：阿里云栖大会背后的战略重塑与价值重估
本文围绕阿里云栖大会，剖析阿里巴巴战略转型。其向“AI驱动，公共云优先”迈进，市场低估其AI云潜力。大会展示愿景、降价策略与生态布局，从资本、公共云、全栈技术构建优势，虽短期财务承压，长期增长可期。
斯坦福提出新的RL范式，让3B模型的Agent超越Claude、GPT-4
斯坦福提出新的RL范式，让小模型Qwen2.5 - 3B经训练后性能超越Claude - 3.5 - Sonnet等大模型。论文解决了RL在代理环境中可变时长动作优化偏差和稀疏奖励两大挑战，为AI代理发展指明方向。
2025 的企业 AI 市场， Data &AI 占据主流视野
数据是 AI 模型学习和训练的基础，Data & AI 基础设施可打通数据与 AI 全链路。企业应用 AI 不应只关注算法和算力，还需重视私域数据。同时介绍了不同类型企业在 Data & AI 领域的特点及合作成本等内容。
全球95%企业AI惨败？MIT报告引硅谷恐慌！90%员工偷用ChatGPT续命
MIT报告《The GenAI Divide: State of AI in Business 2025》指出，95%企业AI试点项目失败，但90%员工用ChatGPT等个人AI工具办公。消费级工具因灵活易用胜企业级，企业应向员工学习，与供应商合作。摩根士丹利报告称AI可为企业省成本。
一张图0.1秒生成上半身3D化身！清华IDEA新框架入选ICCV 2025
清华和IDEA研究人员提出新框架GUAVA，可0.1秒从单图创建上半身3D化身。它解决了现有方法在ID一致性、效率等方面的局限，实验显示其在渲染质量和效率上优于现有2D和3D方法，代码已开源。
大模型竞赛转向：决胜关键为何是“后训练”？
大模型价值主战场正向后训练转移。xAI发布的Grok 4通过后训练取得强大性能，在多项测试中领先。后训练可解决通用模型产业落地难题，不同公司探索新方法，且后训练有五大关键要素，阿里云提供一体化支撑。
亿级短视频数据突破具身智能Scaling Law！Being-H0提出VLA训练新范式
真机数据匮乏使具身智能VLA模型发展受限，现有真机数据与所需上亿级训练样本相差甚远。BeingBeyond团队提出创新性方案，利用人类视频手部数据构建数据集，训练出VLA模型Being - H0，经实验验证效果良好。
碾压DeepSeek V3！阿里开源新版Qwen-3，屠榜级断层第一
今天凌晨1点，阿里巴巴开源Qwen3系列新版本Qwen3 - 235B - A22B - 2507。它是非思维推理的指令微调模型，性能强劲，在多类测试基准中大幅超DeepSeek开源的新版V3 - 0324及月之暗面的kimi - k2。
AI教父Hinton暴论：AI永生之日，全人类变烤面包倒计时！
在Gitex Europe开幕日，「AI教父」Hinton接受专访，表达对AI发展的看法。他认为AI可深刻改变多领域，未来十年有望在数学领域超越人类，也指出AI能耗问题，担心人类触及能源极限，还强调AI可能灭绝人类，呼吁政府监管。