Cover Story：AIが直感を導く：数学者が新たな予想を導出する際のひらめきを機械学習が助ける

純粋数学には、数学的対象の間のパターンを発見し、そうしたつながりを用いて予想を定式化することが含まれる。数学者たちは、1960年代からコンピューターを使ってそうしたパターンの発見に役立ててきたが、今回A Daviesたちは、このプロセスへの機械学習の使用を実証している。この方法ではまず、アルゴリズムが、数学的対象の間のパターンと関係を探ってその意味の理解を試み、次に数学者が、観察結果を使って直感を潜在的な予想へと誘導する。著者たちは、今回の方法を2つの数学領域に適用し、位相幾何学における新しい定理と表現理論における新しい予想の発見につなげている。

目次へ戻る