资讯

据英国《新科学家》杂志网站22日报道,谷歌旗下深度思维公司和美国OpenAI公司相继宣称,其AI模型在近日举行的国际数学奥林匹克竞赛(IMO)中,首次取得金牌级成绩。 IMO一直被研究人员视为AI系统数学推理能力的试金石。去年,深度思维公司宣布,其开发的数学推理AI模型“阿尔法证明”和几何求解AI模型“阿尔法几何”携手取得银牌级成绩。