摘要
1) 一句话总结 17岁中专生姜萍在2024阿里巴巴全球数学竞赛中斩获高分引发关注，而作者实测发现ChatGPT在该竞赛试题中得分为零，凸显了当前通用AI在高等数学推理能力上的局限性。
2) 关键要点
- 选手成绩：17岁服装设计专业中专生姜萍在2024阿里巴巴全球数学竞赛中以93分位列全球第12名，是前三十名中唯一的女生，也是该赛事首位闯入决赛的中专生。
- 赛事背景：该赛事由阿里巴巴公益和达摩院共同打造，今年为第六届，且首次创新性地支持AI队伍参赛。
- AI参赛赛况：共有563支AI队伍参赛，但无一入围决赛；AI最高分仅为34分，与人类最高分（113分）和姜萍的成绩（93分）差距显著。
- ChatGPT实测：作者在无提示词（Prompt）和智能体（Agent）辅助的情况下，将7道竞赛题直接输入给ChatGPT，结果ChatGPT全部答错，最终得分为0分。
- 特定AI的数学突破：虽然通用大模型在竞赛中表现不佳，但经过专门训练的AI已取得成果，如谷歌DeepMind的AlphaGeometry在30道国际奥数几何题中解出25道，达到人类金牌得主水平。
- 未来展望：OpenAI的Sam Altman曾表示，未来的GPT-5将在高级推理功能上实现重大突破。
3) 风险与不足
- 高等数学推理能力缺失：现有的通用AI大模型（如测试中的ChatGPT）在面对高等数学的复杂推理和学习时存在明显能力断层，无法准确理解和解答竞赛级数学题。
正文
最近这个叫做姜萍的小姑娘火了。
不仅仅因为她进入了2024阿里巴巴全球数学竞赛决赛入围名单，而且，因为她是17岁、93分、全球第12名。 且是 前三十名里唯一的女生。
更炸的一点是，是她的学校。
江苏省涟水中等专业学校。
嗯，中专。
她的上下左右，是北大、剑桥、清华、MIT、中科院等等等等。
这个 江苏省 涟水中等专业学校，就让人非常的出戏。
而且她读的还是， 服装设计专业。
这一下子，给我人看的更麻了。
今年是阿里全球数学竞赛的第六届，而姜萍，也是有史以来，第一个冲进决赛的中专生。
互联网上铺天盖地，有太多太多关于她的讨论了。无论如何，在这里，先向小姑娘献上膝盖。希望她越走越远，去攀登自己理想的高峰。
同时也让我对另一个点很好奇， 2024阿里巴巴全球数学竞赛 ，这是个啥比赛。
于是我就去查了下资料和题。
才发现原来是马爸爸在2018年就发起的比赛，然后阿里巴巴公益、达摩院一起把它打造成为现在世界上规模最大的在线数学竞赛。
而且最好玩的是，今年的竞赛，有一个很创新的点，就是，支持AI队伍参赛。
然后有563支AI队伍冲了进去，但是无一入围。最高分才34分，跟人类第一113分差的挺远，跟姜萍的93分也有很大的距离。
看了一下AI组的榜单，第一名又是个高中生= =第二名还是个老熟人，特工宇宙。
不过他们都用了不少的工程化的手法。
我突然就对这个数学竞赛的题目感了兴趣，我就想看看，他有多难。
于是我就把试题翻了出来。
第1题：
看完这题，我就感觉，我刚才说话稍微是有些大声了。 脑海里就在幻视这个小同学勇闯迷踪阵，有6个桩，小同学们迷失在迷踪中，回过神来发现怎么只有四个桩。不是问桩在哪个位置，而是问到底有几个小同学…
但是没关系，我有AI，于是我没有加任何Prompt和Agent，就这么直接把这张图扔给了ChatGPT。
反正看着很厉害的一顿输出后，GG了。答案是6，你整个12，复制人是吧。
老师告诉我们，考试的时候不要在第一题浪费太多时间。那先冷静一下看第二题。
第2题：
我：好啊！这题我会，战机游戏！AABB上上下下！完事。
至于ChatGPT，他让我想起了那首歌，《 都 选C 》 。全错。。。答案是B和A。
人类与人工智能选择看第三题。。。
第3题：
我：这怎么还有立体效果。。。不是，那个Z，怎么镂空了？数学卷子上都开始用windows 艺术字了？通篇我就看到一个稠密，看的我脑子都稠密了。
ChatGPT：
小字写挺多，一堆我看不懂的玩意就往上招呼，我虽然看不懂公式，但是我好歹看得懂调不同，你这里面的公式，一个都跟答案里长得不一样啊我擦= =
第4题：
我：是谁？！是谁对我释放了大脑空空咒…
至于ChatGPT…算了，它认怂了。
第5题：
我：多年经验告诉我，字少事大。果然，定睛一看，那个R，又特么 是艺术字！
不是，答案里面明明有很多长这样的小音符🎵的。
那问题来了，ChatGPT，你的小音符呢？都没小音符，你也敢说你对了？
第6题：
我：好家伙终于有一个认识的了！五福我熟啊，每年的福卡我都集齐了！
勉强蒙对个1/2，但是过程全错= =真的纯靠蒙。第二题继续错。
终于，来到了最后一题。
第7题：
我：啊？
你特娘的给我出阅读理解呢？
你不是音乐吗，不是小红和小绿吗？不是一起去了树下吗，滑稽树下滑稽果，滑稽树下你和我？
至于ChatGPT。。。
洗洗睡吧。。。
最终ChatGPT得分： 0分 。
在看完了7道题之后，此时此刻我的脑海里只有一句话：
我是做啥的来着？
估计ChatGPT也很懵，不知道为啥我要这么折磨它。 。
不得不说，能够参加这样的竞赛，能够在这样的竞赛中证明自己的，都是大神。
从上面我和ChatGPT一人一模型相互搀扶着踉踉跄跄走过来的经历看，现有的AI距离高等数学的推理学习，还有很长一段路要走。
但是这并不意味着大模型在数学领域就会被限制在中学水平。作为一种工具，它更多依靠的，是来自人类的训练。
就像今年1月登上Nature的炸裂级研究，谷歌DeepMind的AlphaGeometry，在30题的范围内，能够答出25道国际数学奥林匹克几何题， 人类金牌得主平均解决了 25.9个问题 。
这已经是人类的奥数金牌级水平了。
而这胜利背后，是AlphaGeometry的团队，构建了神经语言模型与符号演绎引擎这两个系统，尝试提高模型的推导能力。
这是AlphaGeometry的成就，这更是人类得天独厚的成就。
在具备丰富的情感与直觉感知的同时，去做出理性的决策与判断。
不过，这种东西，离我们普通人，肯定还是有非常远的距离，但是我们也有属于自己的小期待。
比如，GPT-5。
之前Sam Altman就放出话来，GPT-5会在高级推理功能上实现重大突破。
我很相信OpenAI，至少不会在GPT这个最核心的模型上，跟我们打嘴炮。
纵使现在的AI仍然需要成长，但是，攀登者从来不畏成长。
就像姜萍对数学的追求，就像之前我分享给大家的那些，因热爱而凌云登峰的可敬者们。
所以，最后的问题来了。
GPT-5，到底什么时候才能出来？
。