GPT-5.4 Pro、エルデシュ問題 #1196 を解決

https://twitter.com/i/status/2044051379916882067

タイトル: GPT-5.4 Pro、エルデシュ問題 #1196 を解く

記事

  • GPT-5.4 Pro がエルデシュ(Erdős)の組み合わせ論問題 #1196 を解いたと主張
  • Twitter/X にて技術的な詳細をほとんど示さずに発表

ディスカッション

  • 最大の懸念点:未発表の既存解を再現しているだけではないかをどう検証するか
  • エルデシュ問題サイトの Jared Lichtman が、Terence Tao と提携する AI 数学スタートアップに関わっていることが指摘された
  • コミュニティの反応は概ね懐疑的で、関心も薄い(「Yawn(あくび)」)

HN でディスカッションを見る


原文(英語): GPT-5.4 Pro solves Erdős Problem #1196


Type Link
Added Apr 15, 2026
Modified Apr 15, 2026