GPT-5.4 Proのエルデシュ問題証明手法、60年来の別の未解決予想にも適用成功
Original: UPDATE: The method from the proof generated by GPT-5.4 Pro for Erdos Problem 1196 was successfully applied to other problems including another 60 year old Erdos conjecture. View original →
汎用性を持つ手法
r/singularityへの続報（451票）によれば、GPT-5.4 Proの証明手法は汎用的であり、60年来未解決だった別のエルデシュ予想を含む複数の問題に適用可能であることが判明した。
スタンフォード数学の未来シンポジウム
成果はスタンフォード大学のFuture of Mathematics Symposiumで発表された。AIが広く応用可能な新たな数学的方法論を創出していることを示す。
意義
AIが解くだけでなく複数問題に波及する手法を生み出したことは、AI支援による数学的発見が新たな段階に入りつつあることを示唆する。
Related Articles
安全性評価が、手作りの難問だけでなく実利用に近い発生率予測へ広がっている。OpenAIは約130万件の非識別会話を使い、GPT-5系で中央値1.5倍の予測誤差を示した。
フィールズ賞受賞数学者のTimothy Gowersが、ChatGPT 5.5 Proで未解決の数学問題に挑戦し、約1時間で博士レベルの証明を生成させた。現在のAI進歩速度では数学研究が近く危機を迎えると警告している。
AI agent基盤の評価軸が、単純なトークン速度から同時セッション数と電力効率へ移っている。NVIDIAはArtificial AnalysisのAA-AgentPerfで、GB300 NVL72がH200よりMWあたり最大20倍のcoding agent処理能力を示したと説明した。