使用人工智能（AI）和机器学习，科学家创建了一个新的数学定理。这一发现是第一个表明人工智能可以帮助纯数学的发现。
虽然数学家一直在使用计算机来查找数十年的模式，但机器学习的功能的提高意味着这些网络现在可以通过大量数据进行筛选，并找到以前从未见过的模式。
为了研究结理论和代表理论，牛津大学和悉尼大学的数学家与深态，一家位于伦敦的Google拥有的公司。
这两者都被认为是纯数学，它们的增长强烈依赖于人类的直觉。根据研究人员在最近的一篇文章中的说法，DeepMind能够检测两个复杂数学领域的模式和链接。
该小组展示了AI进行了对Kazhdan-Lusztig多项式的证明，这是一个40岁的数学问题，涉及高维代数的对称性。
该研究还表明，监督的学习模型是一种机器学习技术，能够发现两种类型的数学结之间的以前未知的关系，从而导致了完全的新定理。
安德拉斯·贾哈斯（AndrásJuhász），牛津大学的一位数学家说：“我们已经证明，在数学直觉的指导下，机器学习提供了一个强大的框架，可以在可用的大量数据或对象太大的地方发现有趣且可证明的猜想使用经典方法学习”。
研究发现，高速，超可信，大规模的数据处理可以用作数学家固有直觉的补充。当您处理漫长而复杂的公式时，这可能会产生重大影响。
研究人员认为，他们的研究将导致数学和人工智能领域的学者之间进行更多的合作，从而使迄今为止发现的发现。
 and machine learning, scientists have created a new mathematical theorem. This discovery is the first to show that artificial intelligence can help with pure mathematics. While mathematicians have been using computers to find patterns for decades, the increased capability of machine learning means that these networks can now sift through […]&media=//www.shenggeheng.com/wp-content/uploads/2021/12/PRI_212914641.jpg){kind=link}