$ 0 0 グーグル・ディープマインドのAlモデルが高校生の国際数学オリンピックの難問を解いたというニュースは、AIによる推論において画期的な出来事と言える。今後、数学者が新たな種類の問題を解いたり考案したりするのに役立つようになるかもしれない。