OpenAI的GPT-5.2 Pro在解决复杂数学问题方面表现出显著改进,超越了该公司早期版本的大语言模型。根据非营利研究机构Epoch AI发布的最新研究显示,这一进展标志着人工智能在数学推理领域的重要突破。
GPT-5.2 Pro成功解决了四个此前任何AI模型都无法攻克的数学难题。在其他模型曾经解决过的13个问题中,GPT-5.2 Pro成功解决了11个。这使得GPT-5.2 Pro在Epoch AI挑战测试中的成功率达到31%,相比之前最佳成绩19%有了显著提升。
数学问题长期以来一直是人工智能面临的重大挑战。科学家推测这可能是因为AI系统无法识别自身的局限性,也有观点认为问题在于AI系统更专注于语言处理而非数值计算,导致在数学推理过程中出现错误。
Epoch AI的实验证明,人工智能正在一些复杂数学问题的处理上变得更加熟练。在测试中,GPT-5.2 Pro面对来自数学各个分支的挑战性问题。
加州大学戴维斯分校数学系教授Joel Hass为测试贡献了一道被GPT-5.2 Pro成功解决的问题。他向Epoch AI表示,对该模型解决拓扑学挑战的方式印象深刻。"GPT-5.2 Pro通过正确的推理解决了问题。值得注意的是,它能够识别问题陈述中多项式定义表面的特定几何形状。"他说。
弗吉尼亚大学数论学家Ken Ono也贡献了一道测试题目。他表示,这个AI模型"理解了基本的理论技巧并执行了必要的计算"来解决问题,但同时补充道:"如果它是一名博士生,由于缺少细节,我在严谨性方面只会给6/10分。"
Q&A
Q1:GPT-5.2 Pro在数学能力方面有什么突破?
A:GPT-5.2 Pro成功解决了四个此前任何AI模型都无法攻克的数学难题,在Epoch AI挑战测试中的成功率达到31%,相比之前最佳成绩19%有了显著提升,展现出在复杂数学问题处理方面的重要进展。
Q2:为什么数学问题对人工智能来说很困难?
A:科学家认为主要原因可能是AI系统无法识别自身的局限性,另外也有观点认为AI系统更专注于语言处理而非数值计算,这导致在数学推理过程中容易出现错误。
Q3:专家如何评价GPT-5.2 Pro的数学解题能力?
A:加州大学戴维斯分校教授Joel Hass对其拓扑学问题的解决方式印象深刻,认为推理正确且能识别几何形状。弗吉尼亚大学的Ken Ono认为AI理解了理论技巧,但在严谨性方面仍有不足。
好文章,需要你的鼓励
Replit与RevenueCat达成合作,将订阅变现工具直接集成至Replit平台。用户只需通过自然语言提示(如"添加订阅"),即可完成应用内购和订阅配置,无需离开平台。RevenueCat管理超8万款应用的订阅业务,每月处理约10亿美元交易。此次合作旨在让"氛围编程"用户在构建应用的同时即可实现商业变现,月收入未达2500美元前免费使用,超出后收取1%费用。
LiVER是由北京大学、北京邮电大学等机构联合提出的视频生成框架,核心创新是将物理渲染技术与AI视频生成结合,通过Blender引擎计算漫反射、粗糙GGX和光泽GGX三种光照图像构成"场景代理",引导视频扩散模型生成光影物理准确的视频。框架包含渲染器智能体、轻量化编码器适配器和三阶段训练策略,支持对光照、场景布局和摄像机轨迹的独立精确控制。配套构建的LiVERSet数据集含约11000段标注视频,实验显示该方法在视频质量和控制精度上均优于现有方法。
所有人都说AI需要护栏,但真正在构建它的人寥寥无几。SkipLabs创始人Julien Verlaguet深耕这一问题已逾一年,他发现市面上多数"护栏"不过是提示词包装。为此,他打造了专为后端服务设计的AI编程智能体Skipper,基于健全的TypeScript类型系统与响应式运行时,实现增量式代码生成与测试,内部基准测试通过率超90%。他认为,编程语言的"人类可读性时代"正走向终结,面向智能体的精确工具链才是未来。
这项由蒙特利尔学习算法研究所(Mila)与麦吉尔大学联合发布的研究(arXiv:2604.07776,2026年4月)提出了AGENT-AS-ANNOTATORS框架,通过模仿人类数据标注的三种角色分工,系统化生成高质量网页智能体训练轨迹。以Gemini 3 Pro为教师模型,仅用2322条精选轨迹对90亿参数的Qwen3.5-9B模型进行监督微调,在WebArena基准上达到41.5%成功率,超越GPT-4o和Claude 3.5 Sonnet,并在从未见过的企业平台WorkArena L1上提升18.2个百分点,验证了"数据质量远比数量重要"这一核心结论。