#breakthrough

フィールズ賞受賞数学者のTimothy Gowersが、ChatGPT 5.5 Proで未解決の数学問題に挑戦し、約1時間で博士レベルの証明を生成させた。現在のAI進歩速度では数学研究が近く危機を迎えると警告している。

GPT-5.4 ProがエルデシュProblem 1196を解く際に生成した証明手法が、60年来の未解決予想を含む他の数学問題にも適用できることが確認された。