标签:IMO

陶哲轩点评谷歌AlphaProof:AI在数学竞赛中展现「超凡智慧」

DeepMind公司开发的人工智能系统在2024年国际数学奥林匹克竞赛(IMO)中取得了显著成绩,接近获得金牌水平。该系统在IMO的六个问题中解决了四个,总分为28分...