中国で数学AI連合が発足、8機関が参加

日曜日に北京で「丘成桐数学・人工知能研究室連合」が発足したことは、中国の数学者がAIを数学研究に統合しようとする組織的な取り組みを意味する。フィールズ賞受賞者の丘成桐氏は中国が米国に後れを取っていると警告し、緊迫感を示した。連合は8機関が参加し、1,000人超の研究者ネットワークの構築を目指すが、その目標の時期は明示されていない。

対照的に、西側の数学者は懐疑的なままだ。Terence Tao氏やPeter Scholze氏を含むフィールズ賞受賞者25人が、AIが生成した証明は数学的理解を損ない、研究者を追えないツールに依存させると懸念している。コミュニティの一部はAI生成証明のボイコットを呼びかけ、自動投稿の量に衝撃を受ける声もある。一方、中国の連合は特化型モデルの構築、機械検証可能な証明の開発、透明なAI推論の実現を狙う。AIを使う専門家の間でも、それが真の数学的洞察を生むのか、既知の手法を力ずくでなぞるだけなのか、あるいはその区別が重要かどうかについて、コンセンサスはない。