AI抢攻人类奥赛金牌！DeepMind数学模型做对25道IMO几何题，GPT-4惨败得0分

AIGC动态欢迎阅读

原标题：AI抢攻人类奥赛金牌！DeepMind数学模型做对25道IMO几何题，GPT-4惨败得0分
关键字：几何,数据,符号,数学,奥林匹克
文章来源：新智元
内容字数：10069字

内容摘要：

新智元报道编辑：编辑部
【新智元导读】今天，谷歌DeepMind的AlphaGeometry模型登上了Nature！30道IMO几何题中，它能做出25道，已经接近人类金牌选手的水平！而GPT-4，却一道题都没做出来，直接挂了零蛋。谷歌DeepMind的AI智能体，又破纪录了！
这个名叫AlphaGeometry的AI系统，能做出国际数学奥林匹克（IMO）的30道几何题中的25道，这个表现，已经接近了人类的奥数金牌得主。
从此，AI在数学领域的推理能力再次实现史诗级升级，超越此前的最高水平。
这一研究已经登上Nature。
论文地址：https://www.nature.com/articles/s41586-023-06747-5
下面这道IMO大赛几何真题，曾经难倒了一大批参赛选手，而如今，AI却能把做出来了！
更特别的是，这个模型是靠合成数据训练出来的，而非通常使用的真实数据。
训练过程是这样的：先初始生成了十亿个随机几何图形，全面分析每个图形中点和线的所有关系。
随后，AlphaGeometry找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有

原文链接：AI抢攻人类奥赛金牌！DeepMind数学模型做对25道IMO几何题，GPT-4惨败得0分

联系作者

文章来源：新智元
作者微信：AI_era
作者简介：智能+中国主平台，致力于推动中国从互联网+迈向智能+新纪元。重点关注人工智能、机器人等前沿领域发展，关注人机融合、人工智能和机器人革命对人类社会与文明进化的影响，领航中国新智能时代。