一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由深度思维（DeepMind）开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中，支持数学研究。

这也是计算机科学家和数学家首次使用人工智能（AI）来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。