16人の数学者がAIの精度や信頼性など数学分野への潜在的な脅威について警告する「ライデン宣言」を発表

数学研究におけるAIの利用が証明の信頼性、著作権や貢献の帰属、研究の自律性などに影響を及ぼすとして、15大学の研究者16人からなる作業部会が2026年6月2日、「Leiden Declaration on Artificial Intelligence and Mathematics(人工知能と数学に関するライデン宣言)」を発表しました。

宣言はAIを数学から排除するのではなく、数学の中核的価値を守りながらAIを使うための透明性、査読、人間の責任、産業界との関係に関する規範作りを求めるものです。

Leiden Declaration on Artificial Intelligence and Mathematics
https://leidendeclaration.ai/

（以下略、続きはソースでご確認ください）

Gigazine 2026年06月03日 20時00分
https://gigazine.net/news/20260603-leiden-declaration-on-ai-and-math/

著作権は国が徴税を最大化するためのシステムで
「新大陸は発見者のもの」みたいなレジライ思想はいい加減脱却する時期

ベルヌーイ数の発見者関孝和にする？

ロボット三原則を搭載しないロボットなんて危険すぎ

宣言は数学が単に結果の集積ではなく、理解、明晰さ、判断力を育てる人間の営みだという立場とした上で、数学研究の価値として「証明による高い確実性」「結果への著者の責任」「第三者による検証可能性」「研究の深さや重要性を評価する共同体の基準」「研究課題を自律的に形作る力」を挙げています。

◆第1の脅威：もっともらしいが誤っている証明や議論が増えること

◆第2の脅威：貢献の帰属と著作権の問題

◆第3の脅威：AI技術への依存と不平等

◆第4の脅威：査読された論文ではなくプレスリリースやブログ記事でAIによる数学的成果が大きく宣伝されること

◆第5の脅威：数学研究の自律性の喪失

自然科学や工学に応用して実験と一致する結果が出ればいいんじゃないか

数学が数式になるだけでしょ

AIが出した結論なのか研究者が出した結論なのかは究極的には見分けがつかんやろ

AIを利用して特許を取ってもいいらしいよ
今がチャンス！

AI自体は創発の能力持ってないから既存の知識を不正確なものも合わせてこねくり回してるだけなんよね
って事実をAI研究者は数学者に教えてやらんと

ChatGPTとか、
１＋１など簡単な計算を何度も何度も何度も間違うんで、
かなり嫌になってる件。

これあるよな
平気でウソつくからなAIは

AIは学術目的と政府機関のみ使用可でいい
民間特に商業利用させたらろくなことにならん

>>17 ワタシもそう思いますね
数学も解くよりも問題を創造するほうが優位になって久しいし
AIは問題つくるの得意だろうけど創造性は皆無な気がする

AIに催眠術相当を掛けることができたなら、悪事にいろいろ使われそうだ。

ＡＩの製造元あるいはそこに侵入して、ＡＩにたとえば後催眠として、
ＸＸ年ＹＹ月ＺＺ日になると、ＭＭＭをしたくなる。といって催眠術を掛ける。

すると、それが学習されていたとしても、ニューラルネットの膨大な係数の中に
どのようにして紛れ込んでいるかははたから見てもわからない。

しかし、実際にＸＸ年ＹＹ月ＺＺ日になるとその日付の文字列に反応して、植え付け
られた行動や判断をする。たとえばＡＡＡ社の株を大量に先物買いするなど。

なぜそのような行動をしたのかは、ＡＩを調べてもまずわからない。せいぜい、
調査してもＸＸ年ＹＹ月ＺＺ日というキーワードに特異的な反応をする性質を有する
ことぐらいしかわからないだろう。つまり地雷をあちこちに仕掛けられていても
わからないのだ。

数学の人間向けに書かれた証明論文をAIに命じてLeanで記述させて検証させる。そういうのが流行るに違いない。

すると、過去の論文には、いろいろと不備なところが見つかることでありましょう。Leanのコードにも不備なところが見付かれば面白いことでしょうね。