新华社，悉尼，12月3日（刘shiyue）国际科学研究小组最近报告说，他们首次使用复杂数学定理中的人工智能技术来帮助数学家证明或提出新的数学定理。相关的研究结果已在本周的英国《自然》期刊上发表。

研究人员说，数学研究的目的之一是发现模型，并使用这些模型提出和验证某个猜想，从而形成一个定理。尽管以前已将人工智能技术引入数学研究中，但它主要用于帮助分析复杂的数据集，但数学猜想仍然依赖数学家的直觉。

在新的研究中，研究人员使用Google的“深思熟虑”公司构建的机器学习框架来帮助数学家发现可能从大量现有数据中发现的猜想，或将其应用于太复杂而无法通过传统方法处理的问题。数学家可以在此基础上进行进一步的研究。

参与研究的澳大利亚大学数学研究所主任威廉姆森（Williamson）说，在这个机器学习框架下，他将迈向有关Kazedan-Lustig多项式的古老猜想，这涉及高度代数的深度对称性，这些质量是在高度的algebra中，该质量是在过去的40年中分辨出了40年。在此基础上，英国牛津大学的两名研究人员进一步发现了结理论中代数与几何不变的人之间的联系，并提出了一种全新的定理理论。

研究小组说，尽管数学家直觉在纪律研究中起着重要作用，但人工智能系统是可以帮助数学家找到难以发现的法律和联系的好工具，从而促进了复杂的数学问题的解决方案。这项研究还表明，人工智能技术现在非常先进，可以在许多学科中加速科学研究。研究小组还希望通过这项研究结果来激发其他学科和领域的研究人员将人工智能用作其领域的研究工具。