📌 この記事の要約

• AIが数学研究の領域に入り始めている 2026年に入り、AIがエルデシュ問題の一部に取り組み、数学者からも注目される成果が出始めています。

• ライデン宣言はAI排除ではなく、共通ルールの提案 世界15大学の研究者16人が、数学の価値や研究倫理を守りながらAIを使うための原則をまとめました。

• 懸念の中心は、もっともらしい誤り、引用、格差、過剰宣伝 AIの出力を誰が確認し、誰が責任を持つのかが、数学界だけでなく広い創作・研究領域の課題になっています。

• 問われているのは、人間の判断をどこに残すか 宣言は、AIを使う時代でも、証明の理解、責任、透明性、研究テーマの自律性を人間側に残す重要性を示しています。

2026年に入り、AIが数学の世界に衝撃を与えています。20世紀を代表する数学者ポール・エルデシュが残した、何十年も解かれてこなかった数々の未解決問題、いわゆるエルデシュ問題の一部を、最新のAIが次々と解き始めたのです。2026年1月には、『GPT-5.2 Pro』がそうした問題の一つを解き、著名な数学者であるテレンス・タオ氏が、過去の文献には見当たらないほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだと評価しました。

AIが練習問題を解くだけでなく、人間でも手強い本物の研究に踏み込む時代が現実になりつつあります。こうした流れを受けて、2026年6月2日、世界15大学の研究者16人が「人工知能と数学に関するライデン宣言（Leiden Declaration on Artificial Intelligence and Mathematics）」を発表しました。AIとどう向き合うかを、数学者みずからが定めようとする数学界としての大きな意思表示です。

世界15大学の数学者16人がまとめ、国際数学連合も支持しています。

約60人の研究者が8カ月かけて練り上げた共同宣言

ライデン宣言が生まれたきっかけは、2025年9月にオランダのライデン大学ローレンツセンターで開かれた「数学研究の機械化」という研究会でした。コンピューターによる証明やAIの急速な進歩が、数学の研究のやり方そのものをどう変えるのか。その問いをじっくり考えるために、10カ国から約60人が集まりました。数学者だけでなく、計算機科学者、哲学者、歴史家、教育者、政策に携わる人まで、ふだんは同じ部屋に集まらない顔ぶれが一堂に会しました。

研究会では、技術的な話題にとどまらず、数学という営みの根っこを問う議論が交わされました。講演には「2035年に数学は存在しているのか」「数学はもう時代遅れなのか」といった、刺激的な題が並びました。長年研究を続けてきた数学者たちが、コーヒーを片手に「そもそも自分たちは何をしているのか」と語り合う場面もあったといいます。最終日には「自動証明の時代の数学」と題した公開シンポジウムも開かれ、議論が広く共有されました。

この研究会から、数学が大切にしている価値、研究のやり方、教育、付き合うべき技術、新しいAIがもたらす倫理という5つのテーマが浮かび上がりました。議論を一度きりで終わらせないために、参加者の中から選ばれた16人の作業部会が、その後の8カ月をかけて文章を練り上げました。とりまとめ役を務めたのは、オランダのアイントホーフェン工科大学のジム・ポルテギース氏です。執筆陣は、アメリカ、イギリス、オランダ、ドイツ、ポーランド、スイスなど15の大学に所属しています。

この宣言が注目を集めた理由のひとつが、数学者の国際組織である国際数学連合（IMU）が正式に支持を表明したことです。フィールズ賞を受賞したピーター・ショルツェ氏をはじめ、現代を代表する数学者たちも名を連ねています。

宣言はAIを数学から締め出そうとするものではありません。研究者はすでに、論文を書くときや証明を考えるとき、査読のときにもAIを使い始めています。問われているのは、その使い方に共通のルールがないことです。IMU副会長は、宣言の精神をこう言い表しています。

「数学は本質的に人間の営みであり、これからもそうあり続けるべきです（Mathematics is, and should always remain, a profoundly human endeavour.）」（ウルリケ・ティルマン氏）

数学が大切にしてきた人間ならではの価値

宣言を理解するには、まず数学者が何を大切にしてきたかを知る必要があります。宣言は、AIによって脅かされかねない価値を5つ挙げています。

1つ目は「証明」です。数学の証明は、結論が正しいという最高度の確かさを与えると同時に、なぜ正しいのかという理解をもたらします。答えが合っているだけでは足りず、その理由まで腑に落ちることが大切なのですね。

2つ目は、成果が特定の人物に結びつくことです。誰が発見したかがはっきりしていて、その人が手柄を得ると同時に、正しさの責任も負います。

3つ目は透明性です。数学の論証は、特別な装置や秘密の知識がなくても、誰もが自分の手で検証できるべきだとされています。

4つ目は、研究の深さや難しさ、重要性を共通のものさしで評価する姿勢です。

そして5つ目が、何を研究するかを数学者の共同体が自分たちで決める自律性です。数学は結果の積み重ねであると同時に、研究者が長い時間をかけて育ててきた理解や判断力そのものでもあります。宣言は、こうした人間の営みを守るべきだと訴えています。

宣言が守ろうとする、数学の5つの価値です。確かさや責任の所在、透明性が柱になります。

もっともらしい誤りと過剰な宣伝への警戒

では、AIは数学のどこを脅かすのでしょうか。宣言は5つの懸念を示しています。

まず、もっともらしく見えるのに実は誤っている証明が増えることです。正しい証明と見分けがつきにくいため、論文を確認する査読の仕組みに大きな負担がかかります。

次に、AIが参考にした人間の業績を引用せずに答えを出してしまう問題です。論文などが許可なく学習データに使われている例も指摘されています。

3つ目は、高価なAIや計算資源を使える研究者と、そうでない研究者の間に格差が生まれることです。

4つ目は、成果が査読を経ないまま、プレスリリースやブログで大きく宣伝される問題です。2025年7月にAIが国際数学オリンピック（IMO）で金メダル相当の成績をおさめた際にも、OpenAIが結果を急いで公表したとして、発表手順や検証のあり方が議論になりました。宣言は、特定の数学の問題が解けたことを、その製品の一般的な思考力の証拠であるかのように宣伝する風潮に警鐘を鳴らしています。

5つ目は、数学が自律性を失う心配です。AIで解きやすい問題ばかりが重んじられ、本当に深い問いが後回しになりかねません。資金難の大学が、不利な条件で技術企業と組まされる懸念もあります。こうした影響は、立場の弱い学生や若手の研究者ほど大きく受けるとされています。

AIがもたらす5つの懸念です。研究者間の格差や著作権への影響も挙げられています。

個人から企業まで4者に向けた行動の呼びかけ

宣言は、4つの立場に向けて行動を呼びかけています。

まず個々の数学者には、どのAIをどう使ったかを論文に明記すること、そして結果が正しいかどうかの責任はあくまで人間が負うことを求めています。AIを著者として扱わず、引用すべき先人の業績を丁寧にたどる努力も欠かせません。

数学関連の組織や研究助成団体には、出版や査読のルールづくりを主導すること、著者の作品が無断で学習データに使われないよう権利を守ることを促しています。成果は引き続き査読のある学術誌などで発表すべきで、プレスリリースやブログがその代わりになってはならないとされています。企業から独立した公的な研究拠点をつくる提案も盛り込まれました。

政府には、AI産業への規制と、民間に頼りすぎないための公的な計算インフラへの投資を求めています。「ハイプ（誇大宣伝）を信じるな」という小見出しのもと、政策判断は宣伝文句ではなく専門家の意見にもとづくべきだとも訴えています。

そして宣言は、AIを開発する企業そのものにも直接語りかけます。研究者と協力するなら最低限のルールを守ること、そして従業員が会社の方針について率直に発言できる自由を尊重することを求めています。

数学者、研究機関、政府、AI企業に、それぞれ異なる役割を求めています。

補足

ここで重要なのは、AIの利用そのものを否定しているわけではない点です。宣言が求めているのは、利用の開示、責任の所在、査読や検証の維持、そして過剰な宣伝から研究共同体を守ることです。

数学だけにとどまらないAI時代の共通課題

ライデン宣言は数学を題材にしていますが、その問いかけは数学者だけのものではありません。AIが書いた文章や成果を、誰が確認し、誰が責任を持ち、どう正しく評価するのか。これは研究の世界に限らず、文章や音楽、デザインなど、あらゆる創作の現場に共通する課題です。

ビジネスの場面でも、AIが出した答えをそのまま信じてよいのか、宣伝されている性能は本当なのか、立ち止まって考える姿勢が問われています。ライデン宣言が示したのは、ひとりひとりが声を上げるだけでなく、専門家の集団が共通のルールを掲げて行動することの大切さです。

AIをうまく使いながら、人間ならではの判断や信頼をどう守るのか。数学者たちが先に投げかけたこの問いは、私たち自身の仕事や暮らしにもそのまま返ってきます。あなたの現場では、AIとの線引きをどこに置きますか。

ライデン宣言の論点を、研究や創作の現場にも広がる共通課題として整理した解説画像です。