GPT在数学问题解决能力方面持续提升,越来越能够攻克最棘手的难题。
今年1月,AI测试公司Epoch AI发现,AI模型的前一个版本GPT-5.2 Pro已经解决了31%的数学挑战,相比之前19%的最佳成绩有了显著提升。
最新版本延续了这一进步趋势,成功应对了学者们设置的一系列数学问题。
根据Epoch AI博客文章,GPT-5.4更进一步:该博客提到,"GPT-5.4 Pro解决了一个此前没有任何模型能够解决的4级难题。在初步分析中,它似乎找到了一篇2011年的预印本,这让它绕过了大部分预期的工作量。问题作者并不知道这篇预印本的存在。"这里提到的预印本是指尚未经过同行评议的学术论文。
虽然"解决"了这个问题,但这也说明了GPT-5.4(实际上所有AI模型都是如此)本质上是精密的搜索引擎,其有效性取决于对信息的获取和快速整合能力。
GPT-5.4 Pro还提供了其他几项创新功能。OpenAI声称这是第一个能够在计算机上执行操作的版本,而不仅仅是说明如何操作。例如,GPT-5.4 Pro可以点击鼠标——更准确地说,它可以向智能体发出"点击鼠标"的命令。
该模型还具有改进的电子表格处理能力,能够使用更少的Token来解决问题,并且会在处理复杂任务前制定计划,让用户有机会调整结果并引导其朝正确方向发展。
Q&A
Q1:GPT-5.4 Pro在数学能力上有什么突破?
A:GPT-5.4 Pro解决了一个此前没有任何AI模型能够解决的4级数学难题。该模型找到了一篇2011年的预印本研究,利用其中的方法绕过了大部分预期的计算工作。相比之前版本31%的数学挑战解决率,最新版本继续保持进步趋势。
Q2:GPT-5.4 Pro除了数学能力外还有哪些新功能?
A:GPT-5.4 Pro是首个能在计算机上直接执行操作的版本,比如可以向智能体发出"点击鼠标"命令。它还具有改进的电子表格处理技能,能用更少Token解决问题,并会在处理复杂任务前先制定计划供用户调整。
Q3:GPT-5.4解决数学问题说明了什么?
A:这次解题过程说明GPT-5.4和所有AI模型本质上都是精密的搜索引擎,其有效性主要依赖于对信息的快速获取和整合能力。虽然"解决"了问题,但实际上是通过找到相关研究资料来实现的。
好文章,需要你的鼓励
FORTIS是专门测量AI代理"越权行为"的基准测试,研究发现十款顶尖模型普遍选择远超任务需要的高权限技能,端到端成功率最高仅14.3%。
谷歌在Android Show发布会上宣布,将Gemini更深度整合至Android系统,推出名为"Gemini Intelligence"的升级功能。该功能可跨应用处理日常任务,包括自动填写表单、安排日程、生成购物清单及自定义小组件等,无需用户频繁切换应用。此外,Gboard新增"Rambler"功能,可自动过滤语音输入中的口误和填充词。Gemini Intelligence将率先登陆三星Galaxy和谷歌Pixel手机,并支持Android Auto、Wear OS及智能眼镜。
荷兰Nebius团队提出SlimSpec,通过低秩分解压缩草稿模型LM-Head的内部表示而非裁剪词汇,在保留完整词汇表的同时将LM-Head计算时间压缩至原来的五分之一,端到端推理速度超越现有方法最高达9%。