英国的 DeepMind已经表明，其人工智能系统可以为数学家提供信息来发展定理。研究人员和人工智能的联合工作已经导致拓扑和表示论领域的假设突破，以及节点结构的证明定理。
打开网易新闻 查看更多图片
此前，AI 与数学家合作，成功开发了一个关于节点结构的定理，但代码中包含的建议非常不直观，以至于被拒绝。后来才发现他们提供了宝贵的信息。这项工作表明，人工智能可能会开辟需要处理大型数据集的新数学领域。
数学家长期以来一直使用人工智能进行大型计算，并反驳数学假设。但是从头开始创建假设是一项更加复杂和精细的工作。为了反驳一个假设，人工智能只需要遍历大量的输入数据来找到一个与想法相矛盾的例子。但是，提出假设或证明定理需要特殊技能和许多合乎逻辑的步骤。
DeepMind 的人工智能探索了现有的模式数学结构。开发人员声称该系统发现了以前已知的和新的模式，并引导人类数学家进行了发现。
牛津大学的 Mark Lakenby 和 Andras Juhas 与 DeepMind 合作创建了一个关于代数和几何结不变量之间关系的新定理。绳结理论是对两端连接在一起的绳索结的研究。潜在地，该理论可应用于量子场论和非欧几何。