人工智能再发威！开始协作迄今只有人类能做到的事！

无论AI发展得多迅猛，但长期以来，有一个领域一直是人类坚守的底线，很多人认为，人工智能可能永远也无法在这个领域与人类相提并论，甚至连进入这个领域都不可能。但最近，数学家们在DeepMind开发的人工智能系统的帮助下在该领域有了新的突破，让人工智能第一次可以涉足一个以前人类专属的能力领域，这个能力是什么呢？

那就是“直觉性预测”，或者也可以简称为直觉。

直觉的作用

虽然计算机长期以来一直在帮助人类计算或分析大数据，但计算机从来没有过提出新数学猜想的能力，因为这需要“直觉”，长久以来一直属于人类直觉的领域，而且并非人人都具有这样的能力，只有少部分数学家才能靠直觉提出新的数学猜想。

原因很简单，这是因为以往计算机和AI不具备对自己不知道的模型进行编程，你都不知道怎么去刻画它？所以，猜想是人类意识自发产生的，比如印度数学家拉马努扬，他就是这种直觉灵感闪现的最著名的例子，他在数论中提出了无数突破性的猜想，几乎都是凭空而来，他自己都无法解释为什么会想到这些猜测。

伦敦谷歌DeepMind研究中心的亚历克斯-戴维斯（Alex Davies）和他的同事解释说："数学家的直觉在数学发现中发挥着巨大的作用。但是，如果有一个人工智能系统可以与这种数学直觉一起工作，会如何？人工智能研究人员和数学家组成的团队现在已经取得了进展（论文截图见上图）。

具体而言，他正在使用自适应的人工智能来澄清“纽结理论”领域的一个问题："我们的目标是，让人工智能帮助数学家提出一个“关于结的双曲和代数不变量之间存在一种尚未发现的关系”的猜想"Juhasz解释道。在这种情况下，不变量是描述一个节点并将其与其他节点区分开的数学属性。该团队训练人工智能系统检查一组几何不变式，以了解哪里可能存在交叉连接。

团队合作开发新定理

最后，DeepMind的算法找到了要找的东西。它确定了三个不变量，指出了结的代数特征和其斜率的几何描述之间的联系。基于这一发现，数学家随后能够从中推导出一个新的猜想，而且直接证明它。

因此，人工智能和人类的团队合作产生了一个新的数学定理。"该定理是第一个将结的代数和几何不变量联系起来的定理之一。“ 科学家们解释说："这有多种有趣的应用。扭结理论在许多学科中都发挥着作用，包括流体动力学、DNA链的行为或太阳日冕中力量的相互作用。”

论文中写道："令人惊讶的是，这样一个简单而深刻的联系至今都被人类忽视了，而且是在一个已经被密集研究的领域里被忽略了。“

表示论中的新猜想

DeepMind的人工智能还在数学的第二个领域--”表示理论“中向数学家证明了自己。线性代数的这一领域是关于通过高维空间的对称性来表示和描述元素和群组的一种特殊方式。悉尼大学的乔迪-威廉姆森（Geordie Williamson）解释说："在这个领域中提出或证明猜想，有时需要无限的空间和跨越多个维度的极其复杂的方程组"。

在人工智能系统的帮助下，威廉姆森和他的同事们成功地完成了一个关于所谓卡兹丹-卢斯蒂格多项式的猜想，这个猜想已经有40年没有完成了。"这是人工智能第一次向我这样的纯理论数学家证明了其有用性"威廉姆斯说。" 直觉可以让我们走得更远，但人工智能可以帮助我们找到人类思维不容易看到的联系。"

在其他领域也很有用

据研究小组称，早期的例子证明，即使在理论数学等高度复杂和抽象的领域，机器学习也能提供有价值的帮助。"在我们看来，人工智能系统现在已经足够先进，可以加速许多学科的科学进步，"DeepMind研究员戴维斯说。"纯数学只是其中的一个例子。"