详细内容或原文请订阅后点击阅览
当你计算时，人类仍然是统治者
麦克阿瑟“天才”哈佛大学的劳伦·威廉姆斯 (Lauren Williams) 加入国际社会挑战人工智能霸权观念的努力
来源:哈佛大学报关于人工智能取代数学家的报道是否被过分夸大了？
人工智能已经取得了一系列令人印象深刻的成就——解决国际数学奥林匹克竞赛的问题、对学术文献进行百科全书式的调查，甚至找到一些长期存在的研究问题的解决方案。然而，这些系统在很大程度上仍然无法与研究数学概念前沿的顶级专家相媲美。
现在，哈佛大学教授和其他世界知名数学家发起了一项宏伟的实验，以更清晰地界定人工智能和人类智能之间的界限。这些学者向人工智能公司提出挑战，要求它们解决一系列数学家自己最近已经解决但仍处于保密状态的难题。这项努力旨在回答一个关键问题：人工智能在哪里取得了统治地位，而人类智能在哪里仍然占据主导地位？
“这是一个很难回答的问题，因为人工智能的能力一直在提高，”哈佛大学德怀特·帕克·罗宾逊 (Dwight Parker Robinson) 数学教授劳伦·威廉姆斯 (Lauren Williams) 说，他最近获得了麦克阿瑟基金会的天才奖。 “但是，至少目前，人工智能不太擅长实现创造性飞跃，也不太擅长解决远远超出已解决问题类型的问题。”
Williams 是一个由 11 名数学家组成的团队（其中包括一位菲尔兹奖得主和两位麦克阿瑟天才）之一，他们正在组织“First Proof”。该项目旨在创建一种更客观的方法来评估人工智能系统解决研究数学问题的能力。
毫无疑问，人工智能系统在数学方面取得了长足的进步。 2024 年，谷歌 DeepMind 创建的系统在国际数学奥林匹克竞赛中解决了问题，其水平与银牌得主相当。
第一个证明项目是由斯坦福大学数学教授 Mohammed Abouzaid 发起的。他表示，许多备受吹捧的人工智能数学能力演示“并没有真正反映我作为数学家的经验”。