【文/观察者网专栏作者 潘禺】今年,一场数学竞赛初赛结果的出圈传播,导致了媒体的聚焦和全社会的讨论。而在该事件不久之后,其实还有另外一场数学竞赛的结果,具有深远的影响和重要的意义,在媒体上得到的关注却小得多。那就是2024年的国际数学奥林匹克竞赛 (IMO),主角中同样有科技互联网巨头的身影,Google DeepMind的人工智能AlphaProof和AlphaGeometry 2,答对了6道题中的4道,首次达到了IMO银牌获奖者的水平。
AlphaProof解决了2道代数问题和1道数论问题,包括本届IMO中最难的问题,只有5名参赛者解决了这个问题。AlphaGeometry 2证明了几何问题,而2个组合问题AI没能解决。每道题最高可得7分,总共最高42分。人工智能的最终得分为28分,在解决的每个问题上都获得了满分,相当于银牌类别的最高水平,因为今年的金牌从29分开始。
这一结果表明,AI处理复杂数学推理能力有了显著飞跃。而数学推理是人类认知能力的一个重要方面,推动了科学发现和技术进步。