本文抜粋
1: ななしさん@発達中 2026/06/04(木) 22:44:59.26 ID:P3DQ0HPh
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/
スポンサーリンク
8: ななしさん@発達中 2026/06/05(金) 04:29:30.57 ID:Z433ntKm
◆第1の脅威:もっともらしいが誤っている証明や議論が増えること
◆第2の脅威:貢献の帰属と著作権の問題
◆第3の脅威:AI技術への依存と不平等
◆第4の脅威:査読された論文ではなくプレスリリースやブログ記事でAIによる数学的成果が大きく宣伝されること
◆第5の脅威:数学研究の自律性の喪失
◆第2の脅威:貢献の帰属と著作権の問題
◆第3の脅威:AI技術への依存と不平等
◆第4の脅威:査読された論文ではなくプレスリリースやブログ記事でAIによる数学的成果が大きく宣伝されること
◆第5の脅威:数学研究の自律性の喪失
9: ななしさん@発達中 2026/06/05(金) 04:32:38.84 ID:Z433ntKm
>>8
の項目を数学者は掲げているけれど別に未解決問題の数学を解くことに必死にならなくても各自の数学の能力に応じて行っていけばよい内容に成ってしまうような感じがする
2: ななしさん@発達中 2026/06/05(金) 00:24:17.29 ID:NqW+2GlA
数学に関しては「人類の数学史」が終わりに近づくだけで数学自体は進歩する
3: ななしさん@発達中 2026/06/05(金) 00:26:53.56 ID:NqW+2GlA
著作権は国が徴税を最大化するためのシステムで
「新大陸は発見者のもの」みたいなレジライ思想はいい加減脱却する時期
「新大陸は発見者のもの」みたいなレジライ思想はいい加減脱却する時期
13: ななしさん@発達中 2026/06/05(金) 06:18:57.30 ID:qLNvqJe3
自然科学や工学に応用して実験と一致する結果が出ればいいんじゃないか
14: ななしさん@発達中 2026/06/05(金) 15:07:55.11 ID:owDJfmoQ
数学が数式になるだけでしょ
15: ななしさん@発達中 2026/06/05(金) 15:26:08.06 ID:quDI4fz3
ひとにぎりの人間しか理解できないような難問を既存の公になってるデータの寄せ集めで解法を導き出すって流石にどこかに間違いがある可能性の方が高そう
18: ななしさん@発達中 2026/06/05(金) 16:18:57.97 ID:YAuitxP3
>>15
ABC予想の証明は間違っている!と言ってる奴と変わらん
ABC予想の証明は間違っている!と言ってる奴と変わらん
32: ななしさん@発達中 2026/06/07(日) 23:03:28.35 ID:JhKJjDVS
>>18
こらこら望月新一www
こらこら望月新一www
33: ななしさん@発達中 2026/06/07(日) 23:04:16.19 ID:JhKJjDVS
>>18
望月新一の「証明」は反例が示されてる
終了済み
望月新一の「証明」は反例が示されてる
終了済み
17: ななしさん@発達中 2026/06/05(金) 16:06:30.75 ID:kijjHbIX
それほど危惧する事なのか?
AIが自前で意味|価値のある命題を立てて理論発展させられる訳じゃなかろうに
亞書のような味のしない論文で溢れる訳でも無かろうに?
あと現状、数多の未解決問題でAIの力借りて突破したのってまだ殆ど無いんじゃ…
そいやラマヌジャンの未証明の式とかも多分誰かAIに放り込んでるんだろうな
AIが自前で意味|価値のある命題を立てて理論発展させられる訳じゃなかろうに
亞書のような味のしない論文で溢れる訳でも無かろうに?
あと現状、数多の未解決問題でAIの力借りて突破したのってまだ殆ど無いんじゃ…
そいやラマヌジャンの未証明の式とかも多分誰かAIに放り込んでるんだろうな
19: ななしさん@発達中 2026/06/05(金) 17:04:44.71 ID:Ml5vV4gt
AIが出した結論なのか研究者が出した結論なのかは究極的には見分けがつかんやろ
27: ななしさん@発達中 2026/06/05(金) 22:43:29.12 ID:2yfZ+819
AIを利用して特許を取ってもいいらしいよ
今がチャンス!
今がチャンス!
28: ななしさん@発達中 2026/06/06(土) 03:23:32.24 ID:f8e9k+ah
AI自体は創発の能力持ってないから既存の知識を不正確なものも合わせてこねくり回してるだけなんよね
って事実をAI研究者は数学者に教えてやらんと
って事実をAI研究者は数学者に教えてやらんと
30: ななしさん@発達中 2026/06/07(日) 13:44:15.32 ID:B8Eazn87
最近、不思議に思っているんだけど
そんなに生成AIの能力が凄いものであるとしたら
例えば、「クロード ミトス」とかに今まで発見されている
数学の定理や公式をすべて憶えさせて、「未発見の新たな公式を見つけなさい」と
命令したら即座に数十個の定理もしくは公式を見つけられるはずじゃないのか?
AIにとっては人間の言語を翻訳するよりも数学や物理の公式を見つけるほうが
はるかに適応能力があると思うんだけど。
未だに「生成AIが新たな数学の公式を発見しました」と言う話を聞いてないのは
不思議なんだよなあ。
そんなに生成AIの能力が凄いものであるとしたら
例えば、「クロード ミトス」とかに今まで発見されている
数学の定理や公式をすべて憶えさせて、「未発見の新たな公式を見つけなさい」と
命令したら即座に数十個の定理もしくは公式を見つけられるはずじゃないのか?
AIにとっては人間の言語を翻訳するよりも数学や物理の公式を見つけるほうが
はるかに適応能力があると思うんだけど。
未だに「生成AIが新たな数学の公式を発見しました」と言う話を聞いてないのは
不思議なんだよなあ。
スポンサーリンク
\他サイト様最新記事/






