陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」
文章摘要
【关 键 词】 人工智能、数学竞赛、DeepMind、陶哲轩、AI进步
谷歌DeepMind的人工智能系统在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，其得分接近金牌水平。在IMO的六个问题中，该系统解决了四个并获得满分，总分为28分，相当于银牌类别的最高分。数学家陶哲轩对此表示赞赏，认为这是一项伟大的工作，改变了人们对AI在数学领域潜力的认识。
陶哲轩指出，AI在解决IMO级别的几何问题上已取得进展，通过强化学习过程，AI能够找到形式化证明。尽管目前AI在形式化证明方面仍需人类帮助，但这种方法有望推动数学研究方法的自动化。他还提到，如果公开共享AI生成的形式证明数据库，将是一个宝贵的资源。
DeepMind的AI系统采用了与AlphaGo类似的强化学习方法，而非依赖大型语言模型。这种方法强调整体方法，展示了AI在辅助问题解决工具集方面的能力。陶哲轩还提到了“人工智能效应”，即当AI技术取得进展时，人们往往不再认为其具有真正的智能。
此外，陶哲轩在自己的博客中提到了AI数学奥林匹克竞赛（AIMO）的进展，其中Numina团队的NuminaMath模型在自动化和资源效率方面表现出色。NuminaMath模型采用大型语言模型生成Python代码，解决数值答案问题，且完全开源。
DeepMind在数学推理领域的努力不仅限于IMO竞赛。今年年初，其人工智能算法在数学奥林匹克竞赛中取得了突破性成果，相关论文《Solving olympiad geometry without human demonstrations》发表在《自然》杂志上，标志着AI在模拟人类推理能力方面迈出了重要一步。未来，DeepMind在数学推理领域的进展值得期待。
原文和模型
【原文链接】 阅读原文 [ 1033字 | 5分钟 ]
【原文作者】 机器之心
【摘要模型】 moonshot-v1-32k
【摘要评分】 ★☆☆☆☆
