23歳のアマチュア愛好者がGPT-5.4 Proの支援を受けて、60年にわたる未解決の Erdős 数学予想（#1196）を解明。モデルは学際的なマルコフ過程を通じて整数構造を結び付け、人類が未曾有の証明経路を提案した。OpenAIの4月28日の公式発表とScientific Americanの4月24日の詳細報道によると、60年にわたる未解決の Erdős 数学予想（番号 #1196）が、ChatGPTの最先端推論モデルGPT-5.4 Proの協力により解決された。OpenAIは同日、公式ポッドキャストにて研究員Sébastien BubeckとErnest Ryu、司会のAndrew Mayneを招き、事件の詳細と意義について正式に説明した。事件の主人公：23歳のアマチュア Liam Price-----------------------解決者のLiam Priceは23歳で、上級数学の訓練は受けておらず、普段は時折ケンブリッジ大学数学科の2年生Kevin Barretoと共同研究を行っている。Priceは語る：「この問題が何なのか全く知らなかった—ただ時々Erdősの問題をAIに投げて、何が出てくるか試しているだけだった。」Priceは2026年4月のある月曜日の午後にErdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196スレッドをコミュニティに提出し、審査を依頼した。Scientific Americanは4月24日に詳細な報道を掲載し、OpenAIは4月28日の公式ポッドキャストで一週間後の事後説明を行った。数学的ブレイクスルー：マルコフ過程を用いた整数構造の連結、Taoは「人類の第一歩は誤った道を歩んだ」と評す--------------------------------------Erdős #1196は「primitive sets」（原始集合）の研究範疇に属し、任意の要素が他の要素によって割り切れない整数の集まりを指す。Erdősの予想は、こうした集合の要素が無限に近づくとき、「Erdős sum分数」の最大値がちょうど1に下がるというものだ。GPT-5.4 Proの証明は、「人類の数学者がこれまで試みたことのない」アプローチを採用している：整数構造（anatomy of integers）とマルコフ過程理論を結びつける。この学際的な橋渡しは、これまで誰の研究路線にもなかった。フィールズ賞受賞者で著名な数学者Terence Taoは、この事件について二つのコメントを出し、広く引用されている。彼は「この問題は他と異なる—人類は確かに見てきたが、第一歩で集団的に誤った道を歩んだ」と述べ、「この貢献は、整数構造の研究にとって、特定のErdős問題を解く以上の意義がある」と付け加えた。もう一人、スタンフォード大学の数学者Jared Duker Lichtmanは、AIが採用したアプローチは長年の直感を裏付けるもので、「こうした問題間には何らかの共通の統一感が存在する」と述べている。OpenAI 4/28発表：ポッドキャスト対談とその後の検証------------------------------OpenAIは4月28日のポッドキャストで、研究員Sébastien BubeckとErnest Ryu、司会のAndrew Mayneを招き、「AIの数学研究における役割」について対談した。OpenAIのツイートは次のように述べている：「今月初め、60年にわたるErdősの問題がGPT-5.4 Proの協力で解決された。今やAIは数学に長けている。次に何が起こるだろうか？」本稿執筆時点で、Priceが提出した証明はerdosproblems.comのフォーラムで依然としてコミュニティによる検証段階にあり、正式なピアレビューは未完了である。TheDecoderは4月15日に「formal verificationはまだ進行中」と報じている。OpenAIの今日のポッドキャストは、あくまで外部向けの情報公開レベルであり、完全な数学的証明の検証が済んだことを意味しない。読者は今後の動向をErdős Problemsフォーラムのスレッド#1196で追うことができる。* 本文は許可を得て転載されたものです：《鏈新聞》* 原文タイトル：《23歳アマチュアがChatGPTで60年の難題を解く：80分で解明》* 原文著者：Elponcrab
80分で解読！23歳のアマチュアがChatGPTの支援を受けて、60年の数学の難問を解決
23歳のアマチュア愛好者がGPT-5.4 Proの支援を受けて、60年にわたる未解決の Erdős 数学予想（#1196）を解明。モデルは学際的なマルコフ過程を通じて整数構造を結び付け、人類が未曾有の証明経路を提案した。
OpenAIの4月28日の公式発表とScientific Americanの4月24日の詳細報道によると、60年にわたる未解決の Erdős 数学予想（番号 #1196）が、ChatGPTの最先端推論モデルGPT-5.4 Proの協力により解決された。OpenAIは同日、公式ポッドキャストにて研究員Sébastien BubeckとErnest Ryu、司会のAndrew Mayneを招き、事件の詳細と意義について正式に説明した。
事件の主人公：23歳のアマチュア Liam Price
解決者のLiam Priceは23歳で、上級数学の訓練は受けておらず、普段は時折ケンブリッジ大学数学科の2年生Kevin Barretoと共同研究を行っている。Priceは語る：「この問題が何なのか全く知らなかった—ただ時々Erdősの問題をAIに投げて、何が出てくるか試しているだけだった。」
Priceは2026年4月のある月曜日の午後にErdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196スレッドをコミュニティに提出し、審査を依頼した。Scientific Americanは4月24日に詳細な報道を掲載し、OpenAIは4月28日の公式ポッドキャストで一週間後の事後説明を行った。
数学的ブレイクスルー：マルコフ過程を用いた整数構造の連結、Taoは「人類の第一歩は誤った道を歩んだ」と評す
Erdős #1196は「primitive sets」（原始集合）の研究範疇に属し、任意の要素が他の要素によって割り切れない整数の集まりを指す。Erdősの予想は、こうした集合の要素が無限に近づくとき、「Erdős sum分数」の最大値がちょうど1に下がるというものだ。
GPT-5.4 Proの証明は、「人類の数学者がこれまで試みたことのない」アプローチを採用している：整数構造（anatomy of integers）とマルコフ過程理論を結びつける。この学際的な橋渡しは、これまで誰の研究路線にもなかった。
フィールズ賞受賞者で著名な数学者Terence Taoは、この事件について二つのコメントを出し、広く引用されている。彼は「この問題は他と異なる—人類は確かに見てきたが、第一歩で集団的に誤った道を歩んだ」と述べ、「この貢献は、整数構造の研究にとって、特定のErdős問題を解く以上の意義がある」と付け加えた。
もう一人、スタンフォード大学の数学者Jared Duker Lichtmanは、AIが採用したアプローチは長年の直感を裏付けるもので、「こうした問題間には何らかの共通の統一感が存在する」と述べている。
OpenAI 4/28発表：ポッドキャスト対談とその後の検証
OpenAIは4月28日のポッドキャストで、研究員Sébastien BubeckとErnest Ryu、司会のAndrew Mayneを招き、「AIの数学研究における役割」について対談した。OpenAIのツイートは次のように述べている：「今月初め、60年にわたるErdősの問題がGPT-5.4 Proの協力で解決された。今やAIは数学に長けている。次に何が起こるだろうか？」
本稿執筆時点で、Priceが提出した証明はerdosproblems.comのフォーラムで依然としてコミュニティによる検証段階にあり、正式なピアレビューは未完了である。TheDecoderは4月15日に「formal verificationはまだ進行中」と報じている。OpenAIの今日のポッドキャストは、あくまで外部向けの情報公開レベルであり、完全な数学的証明の検証が済んだことを意味しない。読者は今後の動向をErdős Problemsフォーラムのスレッド#1196で追うことができる。