详细内容或原文请订阅后点击阅览
“就像太空外星人登陆”：研讨会权衡人工智能对数学未来的影响
许多人表示，人工智能工具已经在重塑数学，但该领域最困难的问题仍然是人类。“就像外星人登陆一样：研讨会权衡人工智能对数学未来的影响”一文首先出现在《斯坦福日报》上。
来源:斯坦福大学日报三位领域奖得主、来自 OpenAI 和 DeepMind 的研究人员以及数十名数学家和计算机科学家上周聚集在斯坦福大学，共同展望人工智能 (AI) 如何改变数学。
在斯坦福经济政策与研究所举行的为期两天的主题演讲和小组讨论中，出现了一个粗略的共识：人工智能工具已经重塑了数学的工作方式，但该领域最困难的问题，例如定义正确的概念、理解证明为何有效以及决定哪些问题重要，仍然是人类的问题。
这条主线出现在研讨会的几场重要演讲中。在关于新数学工作流程的主题演讲中，来自加州大学洛杉矶分校 (UCLA) 的菲尔兹奖得主陶哲轩认为，该领域需要超越询问人工智能是否可以生成或验证证明的问题。他确定了他所谓的“激励差距”，并引入了“证明消化”的概念，即简化、向他人解释证明并将其与过去的文献和未来方向联系起来的过程。
“正确的衡量标准不在于证明是否已生成或是否已得到验证，而在于是否有人可以发表演讲并回答问题，”陶说。 “衡量成功的标准是我们所做的事情是否能让人们更清晰、更有效地思考和理解数学。”
菲尔兹奖得主迈克尔·弗里德曼 (Michael Freedman) 从结构性角度阐述了这一挑战。他说，目标是引导人工智能代理在输入组合的空间内保持在合理的轨道上。后来，他认为数学家关心但不理解的问题的人工智能验证证明证书的可能性是“最迷人和令人兴奋的事件之一……有点像外星人登陆”。
来自 OpenAI 的 Sébastien Bubeck 阐述了 GPT 系列模型在概率、组合学和优化方面解决问题的能力。