国際的な数学者グループが「ライデン宣言」を出し、人工知能（AI）が数学的証明の整合性を脅かしていると警告した [1]。

この動きは、AIの速度と自動化が、科学的発見に不可欠な厳密さと信頼を損なう可能性があるという懸念が高まっていることを示している。もしこの学問の核心的な価値が損なわれれば、数学的真理の基盤が揺らぎかねない。

この宣言は、150人以上の教授 [1] や130人以上のトップ数学者 [2] を含む専門家連合によって支持されている。署名者らは、現在のAI統合の方向性は、業績の帰属や研究の自律性を損なうリスクがあると述べた [3]。

懸念の中心にあるのは、AIが従来の検証に必要な透明性を欠いた結果を導き出す可能性があることだ。同グループは、AIが証明という論理的プロセスよりも出力を優先させることで、数学の基盤そのものを脅かす可能性があると指摘した [2]。こうした転換は、発見の起源が機械による生成によって不透明になり、科学文献における信頼の危機を招く恐れがある [3]。

ライデン宣言は、人間の監視を維持するための厳格な保護策の必要性を強調している。署名者らは、証明の厳密さと、関与する研究者の知的自律性を守らなければならないと述べた [3]。こうした保護策がなければ、数学的真理の追求が「ブラックボックス」化したアルゴリズムへの依存に取って代わられる可能性があるという [2]。

この集団的な行動は、学術的な環境でAIツールが普及する中で起こった。参加した数学者らは、AIの能力を巡る過剰な期待（ハイプ）が、分野の整合性に対するリスクを覆い隠していることが多いと述べた [1]。彼らは、AIが人間の数学者のためのツールであり続け、複雑な定理を検証するために必要な批判的思考に取って代わるものではないことを保証する枠組みが必要だと主張している [3]。

“AIが数学の基盤を脅かす可能性がある”

ライデン宣言は、極めて重要度の高い学術分野における生成AIの「ブラックボックス」的な性質に対する正式な反発を意味する。業績の帰属と証明の整合性に焦点を当てることで、数学界は計算による支援と、科学的検証に必要な認知的厳密さとの間に境界線を設けようとしており、人間の論理が真理の最終的な決定権を保持することを確実にしようとしている。