研究/論文2本の記事が同じ件を報じた初出 6/7 17:20
Leiden Declaration：AIが数学の証明を困難にする可能性、数学者が警告
Leiden Declaration: Mathematicians Warn AI Could Strain Math Proof
https://winbuzzer.com/feed/2026/6/7
AI要約
数学者たちが「ライデン宣言」で、AIによる証明ツールが査読、クレジット、検証プロセスに負担をかける可能性を警告。AIと学術界の関係性における課題を示唆している。