【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明

23歳の数学愛好家がOpenAIの大規模言語モデル「GPT-5.4 Pro」を用いて、約60年間未解決だった数学の難問「エルデシュ問題1196番」の証明に成功した。AIは人間の研究者が見落としていた手法を提示し、フィールズ賞受賞者らとの共同論文として公開された。定理証明支援言語「Lean」による形式的な検証も完了している。 2026年4月、数学の高度な専門教育を受けていない23歳のLiam Price氏が、GPT-5.4 Proとの対話を通じて、ポール・エルデシュが提唱した未解決問題「Erdos Problem #1196」を証明した。この問題は原始集合と呼ばれる、どの要素も他の要素を割り切らない整数の集合の密度に関する予想であり、約60年にわたって専門家による証明がなされていなかった。Price氏は厳密な定式化から始める従来の手法ではなく、直感的にAIへ質問を投げてアイデアを生成させるア

[mutsugi]

数学愛好家を素人というのもちょっと恣意的な気も

[heppokopg2013]

どっちかって言うとLeanがすごい。科学の発展寄与度でいうと、限界突破してる気がする

[niwaradi]

id:homarara氏、私は逆の印象を受けた。人間の常識に囚われない最初の天才的な一手が必要だったと読んだ。将棋AIや一部の天才棋士達が変な初手して勝つみたいな。

[hachi]

関係ないけど「チャッピー」、公式とはいえイマイチすぎる命名

[shields-pikes]

4月に話題になってた、アレか。テレンス・タオ氏がすぐに認めてたから本物だろうと思ってたけど、共同論文まで出たんだな。コメントする前に、どんな過程で解いたか調べようよ。本当に素人みたいな依頼方法だから。

[ono332]

この勢いで宇宙の謎を解明してくれ ワイが生きているうちに

[hdampty7]

使って思うのは人間が指示しないと新しいことはAIは何も提案してくれないんだけど、論理の矛盾などはいくら複雑になっても順番にやらせれば精度が高い結果が得られる点が決定的に違う。それが数学と関係あるのかなぁ

[Windfola]

毎回同じ解法を見つけるなら「解いた」で良いんだけど、他のAI証明の記事を読むと挙動的には「正解を引き当てた」に近いような。エルデシュ問題は数が多いので、人間が見落としてたものはまだ沢山ありそう。

[kompiro]

査読できる人の能力がすごい

[homarara]

解決に必要だったのは天才的な発想の転換ではなく、当たり前を積み重ねていけば到達できる所にあった、という事なのだろうか。

[quick_past]

そのChatGPTにこの記事を検証させたら、大げさな誇張や記事の間違いが多いってツッコミがあったんですけどね。盛り上げるために嘘を本当の中に混ぜるの、好きだねえ経済誌は。

[kobak]

AIが作るこの手のしょーもないインフォグラフィックってどうにかならんものか

[sororo9797]

その調子で人間の知を拡張し続けてほしい。

[fraction]

craprak氏、使用したのが5.2なら無理っぽい。他でもコメしたが体感で5.3とで断層感じた。5.2は高校物理で完全に間違い解答（5.3と正反対の答）、大学教養レベルの数学も間違ってた。gemini3proも間違った物理問題5.5完璧だった

[misshiki]

23歳のLiam Price氏がGPT-5.4 Proとの約80分の対話でErdos Problem #1196を証明したとする記事。タオ氏らとのarXiv論文、Leanによる約4000行の形式検証も紹介。

[abortion]

シンギュラリティが完全に来てしまったかもな。

[UCs]

チャッピー呼びって公式じゃないよね？(と、本人も言ってる)　キモいから自分は避けてる(個人の感想)んだけど、公式なら考え改める。

[h5dhn9k]

これ、『GPT-5.4 Pro』のエルデシュ数って、どうなるんだろ？　共同論文じゃないから除外？

[zZwIwl]

生成AIは適当にそれっぽいこと言ってくるツールだけど、たまたま当たったのか、適当の精度が上がっているのか。あるいは両方なのかも。

[s-feng]

「今年の下半期ごろから、科学的新発見をAIが出し始めるだろうという予想ロードマップ」は見ていたので、その通りに進んでいそう、

[sawarabi1920]

基礎科学研究はAIでどんどん進める時代になったな。巨大な計算資源を持つ大国間のAI競争が加速する！！！

[uzusayuu]

これはマインスイーパーで、考えればわかる部分を自動で解いている状態に近づいたのではないだろうか。既存の論理で足りない部分の飛躍だけ人間に託される。

[sakuragaoka99]

世に登場して数年（一般人が知らなかった期間は長いとは言え）でこの進化のスピードがやばい。インターネット黎明期と同じブレイクスルーだ

[nemoba]

膨大な背景知識によって抽象の解像度が高く人を超えた構造的な類推が出来るとみるのか、大量なプールからあてずっぽう(ハルシネーション)の精度が上がったのか。どっちよりとか考えると面白い。まだ後者なのかな。

[craprak]

しばらく放置されてるEARL先生のオイラーの定数は無理数であることの証明も実は合ってる可能性が…？ https://x.com/earl_med_tw/status/2014600833711886633

[mermaidtan]

シンギュラリティってもう言っていいよねえ

[pekee-nuee-nuee]

テレンスタオがリファインメントに協力してくれてるとはいえ、愛好家が紙とペンだけで到達できる場所は大きく超えてるわけで、やっぱ研究が加速していくのはもうリアルなんだろうなあ

[ISADOK]

この結果を受けて、数学に限らずいろんな分野の素人が俺も俺もと未解決問題をガンガンAIに投げて新発見に繋がったりしないかな？

[bml]

これでAIの教授になれそう。

[vismaxima]

未解決問題が急にたくさん解決されるかもね

[tokuniimihanai]

本当の素人なら証明はもちろん問題の意味すら理解できないんよ。

[nakex1]

フォーブスには同じ問題を別の人がChatGPTを使って80分で解いたって記事があるけど，どういうこと？ https://forbesjapan.com/articles/detail/96574 8名の共同著者のだれをクローズアップするかなのかな？

[henoheno7871]

Aという情報とBという情報を組み合わせてCを解決できることに、人間より柔軟に対応できる可能性。