AIが数学の未解決問題を次々解決　数学者の胸中は

科学をエンタメのように分かりやすく語るポッドキャスト番組「サイエントーク」の最新回が配信された。パーソナリティのレンとエマが、AIの急速な進化と人類が挑み続ける数学の未解決問題をテーマに熱いトークを展開した。

AIの難問解決に対する数学者の胸中

エマは「情熱を注いできた数学者からしたら、AIに次々と難問を解かれたら面白くないのでは」「僕が解きたかったのにとならないか」と率直な疑問を口にする。レンも「そう思う人は確実にいそう」と応じ、研究者の心情に寄り添い共感を示した。

山登りに例えて語る予想と定理の違い

話題は「ゴールドバッハ予想」や「コラッツ予想」といった未解決問題へ。レンは数学の営みを山登りに例え、「山頂に登れるはずだというのが予想」であり、誰もが認める論理でルートを示す行為が証明だと語る。証明された主張は「定理」となり、先人たちによる「登頂済みの山」になると解説した。

計算機で400京まで確かめても証明にはならず、AIが解いたとされる主張も検証自体が難しいとレンは指摘。反例を探す難しさや、機械と人間の知性がせめぎ合う数学の最前線に、二人は終始知的好奇心を刺激された様子で語り合った。