腐食中
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
LLM Reddit May 10, 2026 1 min read
フィールズ賞受賞数学者のTimothy Gowersが、ChatGPT 5.5 Proで未解決の数学問題に挑戦し、約1時間で博士レベルの証明を生成させた。現在のAI進歩速度では数学研究が近く危機を迎えると警告している。
LLM Jul 25, 2026 1 min read
高性能モデルの競争軸が、最高点だけでなく費用対効果へ移っている。Claude Opus 5はFable 5に近いcoding・知識作業性能を掲げ、API価格は入力$5/M・出力$25/M tokensに据え置かれた。
LLM X/Twitter Jul 25, 2026 1 min read
小型モデルでも短いRLループで特定タスクを大きく伸ばせる。NVIDIAはNemotron 3 Nanoが5ドル未満で数学精度を22%から91%へ上げたとした。