DeepMind团队研究人员与数学领域顶尖科学家合作，研发出一个机器学习框架，能帮助数学家发现新的猜想和定理，验证了人工智能技术在发现数学猜想和定理方面可以发挥重要的作用。

据介绍，纯数学研究工作的关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想：怀疑为真但尚未得到严格证明的叙述。在该研究中，研究人员建立了一个机器学习框架，用于协助数学研究。他们的算法用于搜索数学对象间潜在的规律和联系，尝试寻找意义。其后由数学家接手，利用这些观察来引导他们对潜在猜想的直觉。

应用该机器学习框架，团队研究人员与悉尼大学Geordie Williamson教授合作，在表象理论中发现了一个尚未被证明的猜想；与英国牛津大学的Marc Lackenby和Andr s Juh sz教授合作，创建了一个关于结点的代数和几何不变量之间联系的新定理。

信息来源：

https://news.sciencenet.cn/htmlnews/2021/12/470079.shtm

https://paper.sciencenet.cn/sbhtmlnews/2021/12/366910.shtm?id=366910