Google人工智能在国际数学奥林匹克竞赛取得突破
Keywords: Google, 人工智能, 国际数学奥林匹克竞赛, IMO, Gemini, AlphaProof, AlphaGeometry 2, Mistral AI, Meta Platforms, 语言模型
今日，Google（NASDAQ: GOOG）的人工智能模型在解决国际数学奥林匹克竞赛（IMO）问题时取得了新的突破。基于Gemini的AlphaProof和AlphaGeometry 2模型成功解决了今年IMO的四个问题，相当于获得了银牌成绩。IMO自1959年开始每年举办，挑战世界上最顶尖的年轻数学家，提出了代数、组合数学、几何和数论等领域的最难问题。这些问题也成为了评估人工智能系统能力的标准。
IMO的参赛者需要在两个四个半小时的考试中回答六个复杂的问题。而Google的人工智能系统成功解决了其中四个问题，其中一个问题在几分钟内完成，其他的则需要三天的时间。
据公司透露，“AlphaProof通过确定答案并证明其正确性解决了两个代数问题和一个数论问题，其中包括了今年IMO只有五位参赛者解决的最难问题。AlphaGeometry 2则证明了几何问题，而两个组合数学问题则未能解决。”
曾获得金牌的IMO冠军对此表示印象深刻。“该程序能够提出非显而易见的构造方法非常令人印象深刻，远远超出了我认为的技术水平，”前IMO金牌得主、菲尔兹奖得主Timothy Gowers爵士说道。
同时，微软支持的Mistral AI昨日发布了其最新的大型语言模型Mistral Large 2。而Meta Platforms（META）也在前一天发布了其迄今为止最大的语言模型Llama 3.1 405B。
“拥有先进数学推理能力的人工通用智能有潜力开启科学技术的新领域，”Google表示。
随着人工智能模型不断进步，技术行业也将迎来新的发展机遇。