一招分辨刷榜作弊大模型，博士小哥开源AI数学“照妖镜”
Air Explorer Pro是一款跨平台多网盘管理工具，可实现一站式完成不同网盘间文件的互传、搜索和同步等操作。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？今年，有人在匈牙利全国数学期末考试刚刚公布的题目上进行了一次全面测试很多模型一下子就“现原形”了。先看绿色部分，这些大模型在经典数学测试集GSM8k和全新卷子上取得的成绩差不多，共同组成参照标准。再看红色部分，在GSM8K上的成绩显著高于同参数规模的大模型，一到全新卷子上成绩却明显下降，与同规模大模型差不多了。研究者把他们归类为“疑似或已知在GSM8k上训练过”。有人看过这项测试后表示，应该开始对那些从未见过的题目进行评测了有些人认为，
如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？
今年，有人在匈牙利全国数学期末考试刚刚公布的题目上进行了一次全面测试
很多模型一下子就“现原形”了。
先看绿色部分，这些大模型在经典数学测试集GSM8k和全新卷子上取得的成绩差不多，共同组成参照标准。
再看红色部分，在GSM8K上的成绩显著高于同参数规模的大模型，一到全新卷子上成绩却明显下降，与同规模大模型差不多了。
研究者把他们归类为“疑似或已知在GSM8k上训练过”。
有人看过这项测试后表示，应该开始对那些从未见过的题目进行评测了
有些人认为，这种测试和每个人对大型模型实际使用的经验，是目前唯一可靠的评估方法
马斯克Grok仅次于GPT-4，开源Llemma成绩出色
测试者Keiran Paster是多伦多大学博士生、谷歌学生研究者，也是测试中Lemma大模型的作者之一。
让大模型考匈牙利全国高中数学期末考试，这招出自马斯克的xAI。
为了排除xAI的Grok大模型无意中在网络数据中见过测试题的问题，除了几个常见的测试集，还额外进行了这项测试
这个考试今年5月底才考完，当前大模型基本没机会见过这套试题。
xAI发布时还公布了的GPT-3.5、GPT-4、Claude 2的成绩作为比较。
在这组数据的基础上，Paster进行了进一步的测试，测试的对象是多个生成数学能力强的开源模型
并把测试题目、测试脚本、各模型回答结果都开源在了Huggingface上，供大家检验以及进一步测试其他模型。
结果来看，GPT-4和Claude-2组成第一梯队，在GSM8k和新卷子上成绩都很高。
虽然这不代表GPT-4和Claude 2的训练数据中完全没有GSM8k的泄露题，但至少它俩泛化能力不错、能做对新题，就不计较了。
接下来，马斯克xAI的Grok-0（33B）和Grok-1（未公布参数规模）表现都不错。
Grok-1是“未作弊组”里成绩最高的，新卷子成绩甚至高过Claude 2。
Grok-0在GSM8k上的表现接近GPT3.5-Turbo，新卷子上略差一些。
除了上述几个封闭模型外，测试中的其他模型都是开源的
Code Llama系列是Meta自己在Llama 2基础上微调的，主打根据自然语言生成代码，现在看来数学能力比同规模的模型稍差。
在Code Llama的基础上，多所大学和研究机构共同推出Llemma系列，并由EleutherAI开源。
团队从科学论文、包含数学的网络数据和数学代码中收集了Proof-Pile-2数据集，训练后的Llemma能使用工具和做形式定理证明，无需任何进一步的微调。
在新的卷子上，Llemma 34B的表现接近于GPT-3.5 Turbo水平
Mistral系列则是法国AI独角兽Mistral AI训练的，Apache2.0开源协议比Llama更宽松，成为羊驼家族之后最受开源社区欢迎的基础模型。
“过拟合组”里的OpenChat 3.5和MetaMath Mistral都是基于Mistral生态微调而来。
MetaMath和MAmmoTH Code则是基于Code Llama生态。
选择在实际业务中采用开源大模型的人需要小心避开这一组，因为它们很可能只是为了刷榜而表现出色，但实际能力可能不如同规模的其他模型强
不少网友都对Paster这项试验表示感谢，认为这正是了解模型实际情况所需要的。
有些人表达了担忧：
从这一天起，所有训练大模型的人都会加入匈牙利历年数学考试题。
同时他认为，解决办法可能是有一家拥有专有测试的专门大模型评估公司。
另一项提议是建立一个逐年更新的测试基准，来缓和过度拟合问题。
火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力，依托字节自研豆包多模态大模型，凭借火山方舟一站式平台，提供模型精调、推理部署、智能应用搭建等全链路服务，结合高性能AI算力，助力各行业快速落地大模型数字化与智能化应用。
AirBuddy 3 是面向 macOS 的蓝牙外设增强工具，可集中查看 AirPods、Beats 与苹果设备电量，提供快速连接、播放控制、电量提醒、桌面小组件和多台 Mac 外设接力等功能。
AirServer macOS版可把 Mac 转换为无线投屏接收端，通过 AirPlay 或 Google Cast 接收手机、平板和电脑画面，并支持多设备同时连接、高清镜像及会话录制，适合家庭娱乐、课堂教学、会议演示和应用展示。
火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力，依托字节自研豆包多模态大模型，凭借火山方舟一站式平台，提供模型精调、推理部署、智能应用搭建等全链路服务，结合高性能AI算力，助力各行业快速落地大模型数字化与智能化应用。
PixTV 是一款在浏览器中使用的 AI 视觉内容创作平台，提供图片、视频、音频、文字生成、AI 分镜、局部重绘、提示词反推和无限画布等工具，适合短剧、漫剧、广告及社交媒体内容制作。
Autodesk Maya 是面向影视、电视、动画和游戏行业的专业三维制作软件，集多边形与 NURBS 建模、角色绑定、关键帧和动作捕捉动画、Bifrost 特效模拟、材质开发及 Arnold 渲染于一体，