AIで数学の新たな定理発見　英DeepMindと数学者がNatureに共同論文
https://www.itmedia.co.jp/news/spv/2112/02/news149.html

新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。
順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。