AIの難問解決と探究の過程をめぐる数学者の苦悩

人工知能じんこうちのう（AI）が数学すうがくの難問なんもんを次々つぎつぎと解決かいけつするなか、数学界すうがっかいでは問題もんだいを解とく「探究たんきゅうの過程かてい」そのものが失うしなわれかねないという危機感ききかんが広ひろがっています。世界的せかいてきな数学者すうがくしゃであるテレンス・タオ氏しは、映画えいがのネタバレやクロスワードのヒントを聞きいてしまうことになぞらえ、すでに存在そんざいする解答かいとうを知しってしまうと以前いぜんのように奥深おくふかく探究たんきゅうすることはできなくなると、The New York Timesに対たいして語かたりました。

タオ氏しはかつて、計算けいさんの実行じっこうや文献ぶんけんの検索けんさくを補助ほじょする手段しゅだんとしてAIを熱心ねっしんに支持しじし、2023年ねんからはOpenAIのモデルも利用りようしていました。背景はいけいには、ドナルド・トランプ大統領だいとうりょうによる大学だいがくへの研究助成金けんきゅうじょせいきんカットによって自身じしんが責任者せきにんしゃを務つとめる研究所けんきゅうじょが存続そんぞくの危機ききに陥おちいり、同社どうしゃから6万まん〜7万まんドルの資金提供しきんていきょうを受うけたことがあります。しかし、OpenAIが科学者かがくしゃの支援しえんではなく、自社じしゃモデルの評価ひょうかのために数学すうがくを使つかうようになったことで、現在げんざいでは建設的けんせつてきに関かかわっていく方法ほうほうが見みいだせなくなったと述のべています。

ハーバード大学だいがくの数学者すうがくしゃグループによる報告書ほうこくしょでも、AIの進歩しんぽとともに数学界すうがっかいには「今後こんご数年間すうねんかん、深ふかい不確実性ふかくじつせいが続つづく」との見解けんかいが示しめされています。問題もんだいを解とく知的ちてきな冒険ぼうけんに引ひかれて研究けんきゅうの道みちを選えらんだ人々ひとびとの間あいだには喪失感そうしつかんがにじんでおり、タオ氏しのもとにも不安ふあんを訴うったえる声こえが多おおく届とどいています。学生がくせいとの面談めんだんが「セラピーのセッションのようになりつつある」といい、同氏どうしは対応策たいおうさくの検討けんとうや相談役そうだんやくの紹介しょうかいなど、コミュニティの支援しえんに追おわれています。

それでもタオ氏しは、最先端さいせんたんの数学すうがくにおける問題もんだいのほとんどは未解決みかいけつのままであり、「数学すうがくは無限むげんであり、問題もんだいの難度なんどは際限さいげんがない」と強調きょうちょうしています。AIによって膨大ぼうだいなデータが収集しゅうしゅうできるようになったことで、1つの問題もんだいを単独たんどくで解とくのではなく、AIで10個この問題もんだいを解といて新あらたなパターンや疑問ぎもんを見みいだすような、より大規模だいきぼな共同研究きょうどうけんきゅうへと数学者すうがくしゃの役割やくわりが広ひろがっていくと展望てんぼうを語かたっています。