掲載済み (2026-10-03号)
184 175文字 • 1分

AI生成数学の責任ある公開に関する提言

原題: Responsible Release of AI-Generated Mathematics

英語

掲載情報

概要

AIラボが高度な数学的成果を公開する際、学術的な規範を維持し、人間の理解を促進するための具体的なガイドラインと資金援助の必要性を説く提言書。

詳細内容

AIラボが非公開のプロプライエタリなモデルを使用して高度な数学的問題を解く現状に対し、数学コミュニティの有志が作成した提言です。AIが生成した証明を人間が理解・検証できないまま公開することは、数千年にわたる数学の伝統(理解と責任)を損なうと警告しています。提言は2つのステップで構成されています。ステップIでは、AIラボに対し、先行研究の適切な引用、伝統的な論文形式での記述、公開リポジトリへの登録、計算コストやプロンプトの開示、可能な限りの形式化(Formalization)を求めています。ステップIIでは、AIラボが、その成果を人間が理解・吸収するための会議、ワークショップ、ポスドク、書籍執筆などに対し、資金的な支援を行う責任があるとしています。また、AIラボ間の格差が数学界に二層構造をもたらすリスクについても言及し、広範で公平なモデルへのアクセスを求めています。