一招分辨刷榜作弊大模型，博士小哥开源AI数学“照妖镜”

如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？

今年，有人在匈牙利全国数学期末考试刚刚公布的题目上进行了一次全面测试

很多模型一下子就“现原形”了。

先看绿色部分，这些大模型在经典数学测试集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这项试验表示感谢，认为这正是了解模型实际情况所需要的。

有些人表达了担忧：

从这一天起，所有训练大模型的人都会加入匈牙利历年数学考试题。

同时他认为，解决办法可能是有一家拥有专有测试的专门大模型评估公司。

另一项提议是建立一个逐年更新的测试基准，来缓和过度拟合问题。