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/ Leiden Declaration: AI is challenging the core values of m

[n_y_a_n_t_a]

「知っているのか雷電!?」「うむ」確かに最近雷電の言うことを真に受けがち

[nobububu]

第一の脅威以外はしょうがないじゃないかね。数学者じゃない職業のひとにとっても似たようなもんだろ。

[misshiki]

15大学の研究者16人が「ライデン宣言」を発表。AIによる誤証明、帰属・著作権、研究格差、過剰宣伝、数学研究の自律性喪失を警告し、人間の責任と透明性を求める。

[kitone]

Leiden ManifestではなくLeiden Declaration on ...

[nguyen-oi]

ハルシネーションを真に受けて「証明できた！」と誤認するリスクは致命的だからな。数学の世界こそ、AIを盲信せず人間の査読と形式検証が必須になる

[tomoP]

証明とプログラムは似たようなものなので（カリー＝ハワード同型対応）、コードレビュー問題と似たようなことは起きるよね