这个模型能让你的小学数学老师失业

准备好迎接一个能让你的小学数学老师失业的新玩意儿了吗？

最近，一群疯狂的科学家们搞出了一个叫"LLEMMA"的语言模型，专门用来解决数学问题。这玩意儿简直就是数学界的新宠儿，比你初中时暗恋的那个数学课代表还要受欢迎！

这群疯子是怎么做到的？他们给这个模型喂了一个叫"Proof-Pile-2"的庞大数据集，足足有550亿个token！这是什么概念？就像是把整个图书馆的数学书都塞进了一个超级无敌大脑里，而且还是用压缩饼干的方式塞进去的！

这个数据集里都有啥？

290亿个token来自ArXiv上的计算机科学论文。就像是把全世界的计算机呆子们的脑子都榨干了！

150亿个token来自OpenWebMath，一堆经过筛选的数学网页。这就像是把互联网上所有的数学宅男的笔记本都偷来看了一遍！

110亿个token是来自17种编程语言的数学代码。这简直就是把全世界的程序员都绑架来做数学题！

然后，这群疯子们拿着这堆数据，对着一个叫Code Llama的模型狂轰滥炸，整整轰了2000亿步！这就像是把一个只会写代码的呆子关在图书馆里，逼着他读完所有的数学书，直到他变成一个数学天才！

结果呢？这个LLEMMA模型在MATH基准测试中的准确率比之前的开源模型高出了13%以上！这就像是一个从来没学过数学的人，突然在高考数学中考了满分，还顺便解开了哥德巴赫猜想！

不仅如此，这个模型还能用Python和SymPy解决数学问题，证明定理，甚至还能和Lean证明助手互动。这简直就是把一个数学教授、一个程序员和一个逻辑学家的脑子都揉在了一起！