AIが数学の証明まで書く時代へ。ライデン宣言が問う「人間の役割」

2026年6月2日に公表された「人工知能と数学に関するライデン宣言」を取り上げています。2026年1月にGPT-5.2 Proがエルデシュ問題を解決し、テレンス・タオ氏が能力向上の証と評価したことなどを背景に、2025年9月にライデン大学で開かれた研究会には10カ国から約60人の数学者や計算機科学者、哲学者らが集まり、8カ月の議論を経て16人の作業部会が宣言をまとめました。国際数学連合が正式に支持し、ピーター・ショルツェ氏らフィールズ賞受賞者も連署しています。

宣言は証明の理解、成果の帰属と責任、透明性、共通の評価基準、研究テーマ選定の自律性という5つの価値を掲げ、もっともらしい誤った証明の増加や引用不足、研究者間の格差、査読前の過剰宣伝など5つの懸念を挙げます。AI利用自体は否定せず、AIを使ったことの明記や引用の厳格化、出版・査読ルールの策定、公的な計算インフラへの投資など、数学者や研究機関、政府、AI企業それぞれに行動を求めています。

この要約は生成AIで作成しました。

記事はこちら

AIが数学の証明まで書く時代へ。ライデン宣言が問う「人間の役割」

柳谷智宣

ITライター

FacebookContact

1972年生まれ、東京育ち。ITやビジネスといったカテゴリーで執筆しているライターです。キャリアは27年目で、雑紙やムック、単行本、新聞といった紙媒体から、ウェブ記事、メールマガジン、プレスリリースなども手掛けています。現在は、執筆だけでなく、企画提案から執筆・編集までを行っております。主に一般ビジネスユーザーをターゲットに、易しく解説する記事が多いですが、エンタープライズ向けの記事やメーカーや企業のウェブサイトのコンテンツ制作も請け負っています。可能な限り、様々な案件に対応できますので、まずは打診いただけると幸いです。