ライデン宣言の一次資料から検証してみました。
7/6(月) 6:30配信のYahoo newsにあった朝日新聞の「AIは数学の脅威、学者ら懸念表明」という記事を見ました。数学研究におけるAI利用をめぐるライデン宣言を紹介しているものです。一通り目を通し、結論から言えば、記事の骨格は事実に沿っている。ライデン宣言は2026年6月2日に公表され、AIが数学の証明、帰属、評価、研究自治に与え得る影響を問題にし、国際数学連合（IMU）も支持を表明しています。
ただし、「AIは数学の脅威」という見出しは、原文の対象を広げすぎています。宣言が脅威として挙げるのはAI一般ではなく、「近年のAI技術とその利用形態が、数学を支える価値」であり、「証明の信頼性、著者への帰属、独立検証、研究評価、研究課題を自律的に選ぶ権利」を損なう危険のことです。宣言自身は、AIが新発見をもたらす可能性に対する期待にも触れ、AIの全面禁止ではなく、利用を透明化し、人間が正しさと引用の責任を負うことを求めています。
記事の「審査なき難問証明」という表現にも注意が必要だと思います。宣言は二つの別の危険を指摘しているものです。一つは、わたしの研究でもありますが「AIが生成する論証が説得的に見えても誤っており、正しい証明と見分けにくい」という問題です。もう一つは、「DOI付きなどの論文や必要な方法開示を伴わないプレスリリースや、ブログ記事が、共同体による評価より先に結果を広めるという問題」です。前者は論証の信頼性の問題、後者は出版と広報の問題です。この区別を消すと、「AIが証明した難問は審査されていないから誤りだ」という短絡が生まれる。しかし宣言が求めるのは短絡ではなく、ツール利用の開示、中心的論証の人間による説明、必要に応じた形式検証、理論・計算結果の照合、外部事前審査などです。
企業との関係についても、宣言は「企業が数学に関与すること」自体を否定していません。問題にしているのは、商業企業が能力を過大に宣伝する誘因、計算資源や法務支援へのアクセス格差、企業都合による研究課題の偏り、そして産学協働における交渉力の非対称性です。この宣言の要求は、企業との協働を排除することではなく、少なくとも学術研究に期待される透明性、責任、著者の権利、良心の自由を同様に守らせることにあるのです。
ここで重要なのは、署名数やIMUの支持を「宣言内容の技術的正しさ」の証明に変えないことです。IMUの支持は、数学界の国際組織がこの問題提起を正当な検討対象と見なしたことを示します。しかし、それはAIの個別の数学的能力、あるいは特定の証明の正否を自動的に決める証拠ではありません。署名数も同様に、関心と賛同の規模を示しますが、命題の真偽を多数決で決めるものではありません。この宣言サイトの署名数は増加する動的な数値であり、思うに、記事では「配信時点」を明示して扱うべきです。
さて、私は当然「AI反対」か「AI推進」かという陣営ではありません。守るべきなのは、出所が追跡できること、証明と宣伝を混同しないこと、訂正が新たな誤情報の固定化に変わらないこと、そして不明な点を不明なまま残すことであります。ライデン宣言は数学の制度・出版・帰属・自治の問題を扱うものです。
この朝日新聞の記事がより正確になるためには、「AIは数学の脅威」と言い切るのではなく、「AIの利用形態が、数学の証明・帰属・評価・自治を損なう危険について、数学者らが制度的な基準を求めた」と書くべきだと思います。その方が宣言の警告を弱めず、同時にAIをめぐる論点を宣伝対反対の二項対立から救い出すことができる事になるでしょう。
小西寛子 (https://synthesis-intelligence-lab.jp/ AI記事より転載）
