https://b.hatena.ne.jp/entry/s/gigazine.net/news/20260603-leiden-declaration-on-ai-and-math/ 数学研究におけるAIの利用が証明の信頼性、著作権や貢献の帰属、研究の自律性などに影響を及ぼすとして、15大学の研究者16人からなる作業部会が2026年6月2日、「Leiden Declaration on Artificial Intelligence a... https://b.hatena.ne.jp/arakik10/20260605#bookmark-4788252589780536770 2026-06-05T06:51:38Z あとで読む https://b.hatena.ne.jp/naggg/20260605#bookmark-4788252589780536770 2026-06-05T02:39:28Z あとで読む https://b.hatena.ne.jp/fuzitahoushirou/20260604#bookmark-4788252589780536770 2026-06-04T13:54:25Z 数学 AI 技術 あとで読む https://b.hatena.ne.jp/misshiki/20260604#bookmark-4788252589780536770 15大学の研究者16人が「ライデン宣言」を発表。AIによる誤証明、帰属・著作権、研究格差、過剰宣伝、数学研究の自律性喪失を警告し、人間の責任と透明性を求める。 2026-06-04T09:38:13Z 人工知能 数学 法律と倫理 https://b.hatena.ne.jp/TakayukiN627/20260604#bookmark-4788252589780536770 2026-06-04T01:54:23Z 数学 AI https://b.hatena.ne.jp/kitone/20260604#bookmark-4788252589780536770 Leiden ManifestではなくLeiden Declaration on ... 2026-06-04T01:09:26Z https://b.hatena.ne.jp/plasmatic/20260604#bookmark-4788252589780536770 2026-06-03T23:52:28Z https://b.hatena.ne.jp/morioka/20260604#bookmark-4788252589780536770 2026-06-03T23:47:27Z あとで読む https://b.hatena.ne.jp/buell/20260604#bookmark-4788252589780536770 2026-06-03T23:40:32Z https://b.hatena.ne.jp/andsoatlast/20260604#bookmark-4788252589780536770 2026-06-03T23:33:18Z https://b.hatena.ne.jp/hiroujin/20260604#bookmark-4788252589780536770 2026-06-03T23:24:35Z あとで読む https://b.hatena.ne.jp/feilong/20260604#bookmark-4788252589780536770 2026-06-03T22:59:31Z https://b.hatena.ne.jp/nobububu/20260604#bookmark-4788252589780536770 第一の脅威以外はしょうがないじゃないかね。数学者じゃない職業のひとにとっても似たようなもんだろ。 2026-06-03T22:57:18Z https://b.hatena.ne.jp/yasuhiro1212/20260604#bookmark-4788252589780536770 2026-06-03T22:52:40Z あとで読む https://b.hatena.ne.jp/n_y_a_n_t_a/20260604#bookmark-4788252589780536770 「知っているのか雷電!?」「うむ」確かに最近雷電の言うことを真に受けがち 2026-06-03T22:48:38Z https://b.hatena.ne.jp/asyst/20260604#bookmark-4788252589780536770 2026-06-03T22:45:44Z https://b.hatena.ne.jp/hourousuteneko/20260604#bookmark-4788252589780536770 2026-06-03T22:33:42Z あとで読む https://b.hatena.ne.jp/nguyen-oi/20260604#bookmark-4788252589780536770 ハルシネーションを真に受けて「証明できた！」と誤認するリスクは致命的だからな。数学の世界こそ、AIを盲信せず人間の査読と形式検証が必須になる 2026-06-03T22:03:16Z https://b.hatena.ne.jp/pengwinsky/20260604#bookmark-4788252589780536770 2026-06-03T21:45:48Z https://b.hatena.ne.jp/nttpf2/20260604#bookmark-4788252589780536770 2026-06-03T21:40:16Z あとで読む https://b.hatena.ne.jp/puglee/20260604#bookmark-4788252589780536770 2026-06-03T18:51:48Z 数学 ai https://b.hatena.ne.jp/tomoP/20260603#bookmark-4788252589780536770 証明とプログラムは似たようなものなので（カリー＝ハワード同型対応）、コードレビュー問題と似たようなことは起きるよね 2026-06-03T12:16:29Z https://b.hatena.ne.jp/rouiza2011/20260603#bookmark-4788252589780536770 2026-06-03T11:47:49Z AIアイデア サイエンス