在数学的圣殿中，谷歌DeepMind再次展现了其AI的非凡能力。最近，谷歌AI在国际数学奥林匹克竞赛（IMO）中夺得银牌，这一成就不仅震惊了数学界，也让人们对AI的未来充满了无限的想象。
谷歌的AlphaProof和AlphaGeometry2在IMO2024竞赛中的表现令人瞩目。它们在6道题目中做对了4道，仅以一分之差与金牌擦肩而过。更令人惊叹的是，AlphaGeometry2在短短19秒内就破解了一道几何题目，这样的速度和准确性，即便是人类顶尖数学家也难以企及。
这一成就不仅在AI界引起了轰动，也引起了数学界传奇人物的关注。菲尔兹奖得主陶哲轩和前IMO美国队负责人罗博深都对谷歌AI的表现给予了高度评价。陶哲轩认为，DeepMind的这项工作拓宽了AI在数学领域的能力边界，而罗博深则将这种震撼比作苏联第一颗人造卫星Sputnik的感觉。
Perplexity AI的CEO甚至大胆预测，如果谷歌继续在AI数学领域深耕，未来可能会打造出一个“AI陶哲轩”。陶哲轩本人则更关注AI和数学如何共同发展，他认为，AI在数学领域的进步将有助于形式化数学的自动化，推动数学研究的进展。
DeepMind的这次研发路径非常聪明，他们更多地依赖于强化学习而非大语言模型，这种方法在一定程度上继承了AlphaGo的精神。通过形式化方法，AI能够解决IMO级别的几何问题，这在以前是难以想象的。
罗博深教授认为，AI的强大数学能力对教育方法提出了新的挑战。现有的教育结构需要快速变革，以适应AI时代的需求。他强调，每个人都必须学会解决从未见过的新问题，否则就无法跟上AI的步伐。
谷歌AI在IMO的表现，不仅是技术上的突破，更是对人类智慧的一次深刻启示。随着AI技术的不断进步，我们有理由相信，未来的数学研究和教育都将发生翻天覆地的变化。让我们一起期待，AI如何继续在数学领域创造奇迹。