Nature：几何，AI来了

AIGC动态欢迎阅读

原标题：Nature：几何，AI来了
关键字：几何,人类,数据,数学,语言
文章来源：人工智能学家
内容字数：4935字

内容摘要：

几何，数学中研究空间结构及性质的一门学科，各位读者在中学肯定都学过一些，但学的好的有几何？笔者知道不少学霸小伙伴此时会潇洒一笑，心里默念“有我一个”，不过这里说的“学的好”，标准可能要稍微高一点点，不仅仅是会解答或证明高考试卷上的那些普通几何题，而是要挑战“国际数学奥林匹克竞赛（IMO）”这个难度级别的题目。下面是2023年第64界IMO的一道几何题 [1]，各位“学的好”的小伙伴可以自行感知一下难度。
2023年第64界IMO的第2题。图片来源：IMO [1]
IMO面向全世界的高中生，但高中时有资格参加这项比赛的，无疑都是各个国家的数学大神。我国每年参加此项赛事的高中生只有6名左右，个个都是精英中的精英。此前颇受社交媒体关注的“韦神”，高一和高二时两次参加IMO都以满分成绩获得金牌，实打实的神级表现。
奥数这么难，当前红得发紫的人工智能（AI）怎么看？老实说，AI还真没什么看法，包括目前牛的不行的以ChatGPT为代表的各种大语言模型。不信的话，各位可以试一试让它们证明几道简单的初中几何题。究其原因，还是目前机器学习方法并不适用于大多数数学领域。以几何定理证明为例，将人类的证明转换

原文链接：Nature：几何，AI来了

联系作者

文章来源：人工智能学家
作者微信：AItists
作者简介：致力成为权威的人工智能科技媒体和前沿科技研究机构