AI数学証明ブームに警鐘、ライデン宣言が問う研究倫理と検証責任

OpenAIの未解決幾何問題の反証やDeepMindの数学五輪成果でAI数学が加速する一方、ライデン宣言は透明性、著作権、査読、研究自治の危機を指摘。証明を人間がどう検証し、企業発表をどこまで信頼すべきか。研究者、編集者、政策担当者が見落としやすい論点を整理し、数学者が求める開示ルールと産学連携の距離感を解説。