雅加达 - Alphabet(Google)和OpenAI宣布,他们的人工智能(AI)模型在全球数学竞赛,国际数学奥林匹克(IMO)中为高中生赢得金牌。这标志着人工智能系统首次超过比赛中的金牌得分门槛。
谷歌和OpenAI的两款AI模型都使用常见的“分配”模型,用自然语言处理数学概念,与人工智能公司使用的先前方法不同,成功完成了六个问题中的五个。
谷歌DeepMind正在与IMO合作,评估和认证他们的模型,而OpenAI则没有正式参加比赛。OpenAI透露,他们的模型在今年取得了相当于金牌的成绩,这是基于三位外部IMO奖牌得主的评估。
这一成就表明,人工智能有可能被数学家用来在不到一年的时间内解决未解散的研究问题,布朗大学数学教授、谷歌DeepMind AI部门嘉宾研究员Junehyuk Jung说。
“当我们能够用自然语言解决困难的点球问题时,它将打开人工智能和数学家之间潜在的合作,”VOI援引Jung的话说。
OpenAI的成功是通过一种新的实验型型号来实现的,该模型侧重于大规模的“测试时间计算”来衡量。根据OpenAI研究员Noam Brown的说法,它通过提供更长的时间模型来“思考”并使用平行计算能力同时运行多个点球线来实现。布朗称他的计算成本“非常昂贵”,但没有具体说明数量。
OpenAI研究人员认为,人工智能模型具有广泛的分辨能力的迹象,可以扩展到数学以外的其他领域。谷歌研究人员也分享了类似的乐观情绪,他们认为人工智能模型的能力可以应用于物理等领域的研究问题,Jung说,他于2003年获得了IMO金牌。
在澳大利亚昆士兰日海岸参加第66届IMO的630名学生中,约有11%或67名参与者获得金牌。
去年,谷歌的DeepMind AI部门使用专门的数学AI系统获得了银牌。今年,谷歌使用了一种名为双子座Deep Think的常规模型,该模型此前于5月的年度开发者大会上推出。
根据该公司的博客文章,与以前依赖正式语言和长计算的AI方法不同,谷歌今年的方法完全使用自然语言并在4.5小时的官方时间限制内解决问题。
OpenAI拥有自己的点球模型,也为本次比赛建造了实验版,根据研究员Alexander Wei在X平台上的一篇文章。他指出,该公司不打算在未来几个月内发布具有这些数学能力的模型。
今年是IMO竞赛首次与一些AI开发商正式合作,多年来,IMO等着名数学竞赛一直使用这些竞赛来测试模型能力。IMO评审团认证了包括谷歌在内的合作公司的结果,并要求他们在7月28日公布结果。
「我们尊重IMO理事会最初的要求,即所有AI实验室在结果得到独立专家和学生的正式验证后才分享结果,并获得适当的奖项,”谷歌DeepMind首席执行官Demis Hassabis于7月21日星期一在X上表示。
OpenAI于7月19日星期六公布了结果,并首次声称获得金牌地位,他在接受采访时表示,它已获得IMO董事会成员的许可,可以在周六的闭幕式后这样做。周一的竞争允许公司共同努力公布结果,“IMO董事会主席Gregor Dolinar说。
The English, Chinese, Japanese, Arabic, and French versions are automatically generated by the AI. So there may still be inaccuracies in translating, please always see Indonesian as our main language. (system supported by DigitalSiber.id)