DeepMind Nature发文：AI首次实现数学领域的重大进展

大数据文摘转载自数据实战派作为一门古老的学科，数学的内容包括发现某种模式，并使用这些模式来表述和证明猜想，从而产生定理。自20世 纪60年代以来，数学家们一直使用计算机来帮助发现猜想的模式和公式，最著名的案例是Birch and Swinnerton-Dyer conjecture（贝赫和斯维讷通-戴尔猜想），这个猜想是千禧年数学大奖的七个问题之一，是数论领域的著名问题。但是，时至今日，计算机证明基础数学重要定理的例子也并不多见。现在，DeepMind的一项成果展示了更多的可能性：计算机科学家和数学家们首次使用AI来帮助证明或提出新的数学定理，包括复杂理论中的纽结理论（knot theory）和表象理论（representation theory）。这些让人惊喜的结果，今天发表在著名的科学杂志Nature上 ………………………………