详细内容或原文请订阅后点击阅览
AI 刚刚验证了一项证明，该证明赢得了数学界最负盛名的奖项之一。数学永远不会相同
将人工智能引入数学代表着数学意义的巨大转变。
来源:LiveScience本月早些时候，一家人工智能 (AI) 初创公司宣布，他们的人工智能代理已经证实了两个极具挑战性的“高维球体堆积问题”案例的证明。 2022 年，这些证明为乌克兰数学家 Maryna Viazovska 赢得了菲尔兹奖，这是数学界最负盛名的奖项之一。
这是向前迈出的一大步，表明该领域正在悄然出现革命。
从表面上看，它可能并没有那么非凡。毕竟，数学家长期以来一直使用工具来扩展他们的能力——算盘、计算尺、计算器，以及最终的计算机。然而这些工具都没有取代数学家。它们只是让我们能够将注意力重新集中在更有趣的问题上。人工智能在数学领域的到来可能感觉像是同一过程中的又一步。但有一个关键的区别：这一次，这些工具不仅帮助我们计算，还帮助我们计算。它们正在帮助我们推理，或者至少执行人类推理背后的许多例程。
这代表了数学意义的巨大转变。我们不再孤军奋战，在自己的认知极限中苦苦挣扎，而是开始构建和调整工具，使我们能够扩展这些极限，将人类直觉与机器级纪律相结合。这可能意味着我们最复杂的证明不是一个人就能掌握的；相反，只有在严重依赖人工智能工具的集体头脑中才能充分理解它们。这也意味着我们可以处理的数学范围将急剧增加。
社交链接导航
Kit Yates 是英国巴斯大学数学生物学和公众参与教授
但直到最近，将尖端校样转变为机器可检查的形式还需要专家花费数月或数年的时间来完成这项工作。
将世界上最迷人的发现直接发送到您的收件箱。