GPT-5.4 Proは未解決のエルデシュ問題を80分で解決しました。テレンス・タオは、それを数学に対する意味のある貢献だと評しています。
この記事 OpenAI's GPT-5.4 Pro reportedly solves a longstanding open Erdős math problem in under two hours はThe Decoder に最初に掲載されました。
OpenAIのGPT-5.4 Proは、長年未解決だったエルデősの数学問題を2時間以内に解いたと報じられる
THE DECODER / 2026/4/15
📰 ニュースSignals & Early TrendsIdeas & Deep AnalysisModels & Research
要点
- 報道によると、OpenAIのGPT-5.4 Proは長年未解決だったエルデősの数学問題を約80分で解いたという。
- テレンス・タオ氏は、当該結果を数学に対する意義ある貢献だと述べたと報じられており、AI支援によるブレークスルーの重要性が強調されている。
- この記事では、この達成は、先進的なLLMが、たんなる非公式な説明を生成するだけでなく、難しい現実の数学的課題に取り組めることの証拠だと位置づけている。
- 解答の速さが強調されており、自動化またはAI支援による定理発見ワークフローに向けた実用的な進展が示唆されている。
