世界を動かす技術を、日本語で。

エポックがGPT5.4 Proが最前線の数学のオープン問題を解決したことを確認

2026年3月24日原文(epoch.ai)

概要

  • FrontierMathのオープン問題「H(n)の下限改善」にAIが画期的な解決策を提示
  • Kevin BarretoとLiam PriceがGPT-5.4 Proを活用して新しい構成法を発見
  • Will Brianによる確認と今後の論文化予定
  • 新手法は従来の非効率性を排除し、上下限の一致精度が向上
  • 問題の詳細や今後の展望について解説

FrontierMathオープン問題「H(n)下限改善」AIによる解決

  • 問題の内容: 無限級数の同時収束 に関するハイパーグラフ理論問題
  • H(n)の定義: 孤立点を持たず、サイズnを超える分割を含まない最大頂点数k
  • 目標:従来より 優れた下限 を与えるハイパーグラフ構成法の発見
  • 既知の下限は 非効率的 であり、より良い構成が期待されていた
  • AIモデル(GPT-5.4 Pro等)が 新構成法 を提案し、専門家によって検証

解決の詳細と意義

  • Kevin BarretoとLiam Priceが GPT-5.4 Pro を利用し最初の解答を導出
  • Will Brian(問題提案者)が 正しさを確認 し、論文化を予定
  • 新構成法は従来の下限構成の 非効率性を解消
    • 上限構成の複雑さを 鏡映するような形 で下限も精緻化
  • 上下限が 良い一致 を見せ、Ramsey理論的にも興味深い結果
  • AIのアプローチが 新たな発展 や追試を促進

今後の展望と影響

  • 問題解決による 論文発表 が予定されている
  • BarretoとPriceは 共著者 として論文に参加可能
  • AIのアイデアが 更なる研究の端緒 となる可能性
  • FrontierMathの他モデル(Opus 4.6, Gemini 3.1 Pro等)も 同問題に成功

問題の技術的な要点

  • ハイパーグラフ(V, H)で 分割のサイズn を超えない構成を探す課題
  • 既知の帰納公式: k₁=1, kₙ=⌊n/2⌋+k_⌊n/2⌋+k_⌊(n+1)/2⌋
  • これを 定数倍改良 する構成法のアルゴリズムが求められていた
  • AIは c>1 となる新しい下限を与えるアルゴリズムを提示
  • 構成例やPythonスクリプト形式での 具体的な出力 が要求される問題設定

まとめ

  • 本問題の解決は 専門分野での注目度が高く、今後の理論的発展にも寄与
  • AIによる解決策は 数学研究の新潮流 を象徴
  • 今後の論文やさらなる応用に期待

Hackerたちの意見

この解決の後、私たちはFrontierMath: Open Problemsでモデルをテストするための一般的なスキャフォールドの開発を終えました。このスキャフォールドでは、他のいくつかのモデルも問題を解決できました:Opus 4.6(max)、Gemini 3.1 Pro、そしてGPT-5.4(xhigh)。面白いですね。「スキャフォールド」って何ですか?証明のためのユニットテストフレームワークみたいなもの?

この文脈では、スキャフォールドは実際のモデルを囲むハーネスのことだと思います。例えば、ツールやタスクの配置方法、自動批評のメソッドなどです。スキャフォールドによってモデルのパフォーマンスにかなりのばらつきがあると思うので、比較はいつも少し曖昧ですね。

高計算の並列思考モデルは必要なかったみたいで、普通の5.4とGemini 3.1 Proが解決しました。なぜかGemini 3 Deepthinkは解けなかったけど。

数学にちょっと触れた程度の私にとって、このセクションが一番面白かったです:> 著者は問題を次のように評価しました。> [数学者の数、試みた数、専門家がかかる時間、注目度など] これらのことを事前にどれくらい確実に知ることができるのでしょうか?これらはほとんど推測ですか?推測の価値を軽視するつもりはないですが、こういう推測がどれくらい信頼できるのか気になります。

ポール・エルデシュについて読んでみて。数学はリーマン予想だけじゃないし、いろんなことをつなげる地道な作業もあるんだよね。

数学者がその問題に詳しくて積極的に取り組んでいる数は、現代数学の研究がすごく専門的だから、誰が似たような問題に取り組んでいるのか把握しやすいよ。お互いの論文を読んだり、同じ会議に行ったりするしね。「専門家が問題を解くのにどれくらいかかるか」という質問については、本当にオープンな問題に関しては、解決されるまで自信を持って答えるのは難しいと思う。でも、一度解決されれば、経験のある人はどれくらい時間がかかったかをよく分かっているよ(ただ、多くの人は必要な時間を過小評価しがちだけど、予期しない課題に直面することが多いからね)。

確かに、あなたが見ている問題にどれだけの人が取り組んでいるのか、そしてそれを解くのにどれくらいの時間がかかるのかを知ることは、研究者として働く上で重要なスキルだよね。どんな答えを求めてるの?定量化するのは難しいよ。ほとんどの人は、博士課程の学生の時にこの評価が苦手で、時間が経つにつれて上達していくんだ。

解決策が見つかるまでに消費されるトークンの数が問題の難しさの指標だと想像していますが、Opus 4.6は約25万トークンを消費したみたいです。つまり、今日職場でやったちょっと厄介なReactのリファクタリングは、数学のオープンプロブレムの半分くらいの難しさだったってことですね! :)

冗談かもしれませんが、現実からそんなに遠くないと思います。もっと多くの人がAIが数学の問題を「解決」するというこのナンセンスに疑問を持つべきだと思います。人間の関与に関する詳細はいつも曖昧で、問題の重要性はほとんどの人には不透明です。私たちは、ここで何か奇跡的なことをしているというセンセーショナルで強く暗示された考えからは、かなり遠いです。

明日もう一度リファクタリングを試してみて。もしかしたら、簡単になってるかもしれないし、逆に難しくなってるかもしれないよ。

だから、コンテキスト管理がすごく重要なんだよね。トークンを無駄に使うと、AIが高くなるだけじゃなくて、パフォーマンスも悪くなるかもしれない。コンテキストサイズが大きくなっても、これは関係してくると思う。特に、AIプロバイダーがいつでもトークンの価格を引き上げる可能性があるからね。

冗談でしょ?でも、もしかしたら本当かも?数学の多くの分野は、まず第一に、信じられないほど難解でアクセスしづらいんだよね(他の数学者にとっても)。この件について、著者は解こうとした人が5~10人くらいしかいないかもしれないって言ってた。さらに、著者は、資格があってちょっと頑張れば解ける問題だと信じているみたい。ソフトウェアエンジニアリングでは、もし世界中で特定のプログラムのアイデアに触れたのが5~10人だけなら、その実装が存在しないのも驚くことじゃないよね、複雑さに関係なく。やりたいと思っても、他のことに気を取られて完成できなかったソフトウェアがたくさんあるし。もちろん、こうやってコードを書いたり数学を解いたりできるシステムがあるのは奇跡的なことだけどね。

Hacker Newsで議論の続きを見る