AIで数学の新たな定理発見　英DeepMindと数学者がNatureに共同論文

新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。