AI导读：

谷歌旗下深度思维公司和OpenAI公司的AI模型在国际数学奥林匹克竞赛中首次取得金牌级成绩，标志着AI在数学推理领域取得重大突破，采用自然语言处理技术。

　　据英国《新科学家》杂志网站22日报道，谷歌旗下深度思维公司和美国OpenAI公司相继宣称，其AI模型在近日举行的国际数学奥林匹克竞赛（IMO）中，首次取得金牌级成绩。这一成就标志着AI在数学推理领域取得了重大突破。

　　IMO一直被研究人员视为AI系统数学推理能力的试金石。去年，深度思维公司宣布，其开发的数学推理AI模型“阿尔法证明”和几何求解AI模型“阿尔法几何”携手取得银牌级成绩。而今年，两大AI巨头更是携手斩获金牌，展现了AI技术的飞速发展。

　　19日，OpenAI宣布其新型AI系统在4.5小时内正确解答6道国际奥数竞赛题中的5道；两天后，深度思维的“双子座深度思考”系统也交出了同样的优异成绩。IMO主席格雷戈尔·多利纳尔证实，这些成绩均经过竞赛官方阅卷人的严格评定。

　　与以往专为IMO打造的AI系统不同，今年两大团队的模型均采用了自然语言处理技术，这标志着AI技术在自然语言理解方面取得了新的进展。

　　“双子座深度思考”开发人员解释称，强化学习是谷歌此前在“阿尔法零”等AI游戏上取得成功的关键技术。而OpenAI则仅透露运用了强化学习与“实验性方法”，具体技术细节仍待揭晓。

　　菲尔兹奖得主、美国加州大学洛杉矶分校数学家陶哲轩评价道，这一进展令人振奋，但需要可复现的研究数据来支撑。IMO金牌得主约瑟夫·梅耶也指出，自然语言证明虽具可读性，但冗长论证可能带来验证上的困难。

（文章来源：科技日报）