数学者25人がAIの数学問題解法に懸念表明
過去数ヶ月でLLMの数学能力は劇的に向上し、数学の主要な未解決問題を解くことができるようになったが、AI企業がこれを ベンチマークとして利用することは数学科学に悪影響を及ぼす可能性があるという宣言が発表された。
ここ数ヶ月間にわたり、大規模言語モデル(LLM)の数学的能力が劇的に向上し、数学の多くの分野における主要な未解決問題を解くことができるようになった。しかし、AI企業がこの数学問題解法能力をベンチマークとして使用する動きに対し、Fields賞受賞者を含む数学者25人が懸念を表明する宣言を発表した。
AI企業と数学コミュニティの目標の不一致
Artur Avila、Manjul Bhargava、Caucher Birkar、Pierre Deligne、Yu Deng、Simon Donaldson、Hugo Duminil-Copin、Alessio Figalli、Martin Hairer、June Huj、Maxim Kontsevich、Elon Lindenstrauss、Pierre-Louis Lions、James Maynard、Curt McMullen、Shigefumi Mori、Ngô Bảo Châu、Andrei Okounkov、Peter Scholze、Stanislav Smirnov、Terence Tao、Maryna Viazovska、Cédric Villani、Wendelin Werner、Efim Zemaniovらの署名者は、AI企業の目標と数学コミュニティの目標が大きく相反していると指摘している。
懸念される課題
署名者らが提起する懸念は複数の領域に及ぶ。解答は急いで発表されることが多く、適切な論文化、新しい方法と思想の分離、および関連する先行研究の引用に充分な時間を設けないという点が指摘されている。また、AIが生み出した発想は、それを発展させ数学の正典に統合する意志を持つ数学者の存在があってはじめて完全に実現されるという点に着目している。
筆者の見立て
- AI企業による数学問題の解法ベンチマーク利用は数学科学および数学コミュニティにとって有害であると論じている
- AI企業と数学コミュニティの目標が深刻に相反していると解釈している
- より速いペースでの真偽陳述の大量生成は、新しい思想に生命を吹き込む代わりに肥沃な土地を破壊する可能性を示唆している
- 意志を持つ数学者による発展と統合なしに、AI生成のアイデアは決して完全に実現されないであろうと予想している
- これらの変化が最終的に分野に利益をもたらすか破壊的な影響を与えるかは、この新しい技術を統制する人間の決定に大きく左右されるであろうと予想している
この記事は元記事の事実のみに基づいて自動生成されました。
出典
Math and AI — Declaration、https://mathandai.org/