数学分野でシンギュラリティ到来か？AIによる相次ぐ未解決難問証明で数学者が緊急声明「ライデン宣言」

概要

数学の最高峰とされる研究領域でAIが劇的な成果を相次いで上げている。OpenAIのGPT-5.4 Proが90年近く未解決だったエルデシュ問題をわずか80分で証明するなど、AIが自律的に新たな数学的証明を生成する段階に達した。世界15カ国の16人の研究者が「ライデン宣言」として緊急声明を発表した。

詳細

• OpenAI「GPT-5.4 Pro」がエルデシュ問題1196（原始的集合に関する予想）をわずか80分で証明
• 「エルデシュ問題1148」の有界表現問題を二次形式の点選択問題に変換して完全解決
• 「ディオファントス方程式の有限性問題」でGPT-5.4 Proが変数の絶対値が10^50を超える巨大な整数解を自律的に発見
• Google DeepMindのモデルもグラフ再構築予想のバリエーションなど複数の未解決問題を解決
• 世界15カ国の大学・研究機関の16人の研究者が「ライデン宣言」を発表、AIと人の役割変化に警鐘
• AIがツールから「共同研究者」へと進化しつつある数学分野のパラダイムシフト

参照

• 出典URL: https://www.sbbit.jp/article/cont1/185773
• はてなブックマーク数: 12