何が変わったか

これまでの数学博士課程教育は、「まだ誰も解いていないが比較的取り組みやすそうな問題」を初期研究テーマとして学生に渡し、研究者としての訓練の第一歩にする慣行で運用されてきた。

フィールズ賞受賞者の Timothy Gowers 氏が自身のブログで報告した今回の体験で、ChatGPT 5.5 Pro は整数の和集合の大きさに関する組合せ論問題で、h=2 の場合に指数関数的だった上界をシドン集合を用いて二次関数的に、より一般の h については MIT 学生 Isaac Rajagopal 氏の既存研究を発展させて指数関数から多項式的な上界へ改善する非自明な構成を 2 時間未満で提示した。Rajagopal 氏は「自分なら 1〜2 週間考えて思いつけたら誇りに思う水準」と評価した。

社会にどんな影響があるか

主たる影響として、人間の研究者に求められる最低ラインが「未解決問題を解くこと」から「AI だけでは解けないことを証明すること」へ移っていく。Gowers 氏は、初期博士課程学生に研究を教えることが今後さらに難しくなると指摘する。

副作用として、研究の意味自体が変わる。「定理や定義に自分の名前が永遠に残る」というタイプの名誉は、AI とのやり取りで主要アイデアを AI が担った場合に正当性を主張しづらくなる。それでも Gowers 氏は、難問と格闘する経験そのものが「AI を使いこなす能力」の前提条件として残ると見ている。優れたプログラマーほど AI コーディングをうまく使いこなすのと同じ構造である。

俺にどんな影響があるか

「PRES のテーゼ的問い」「2B vault で扱う知識構造」のレベルで、人間が問題と格闘して得る「問題解決の感覚」が AI 活用の前提条件として残るという論点は、知識生産・学習・教育のサービス設計に直接効いてくる。AI が「やさしい未解決問題」を解ける段階で、教育プログラムが「答えを得る効率」ではなく「問題を立てる質感」を訓練するものに移行する必要がある。

ニュースの詳細

問題設定は「k 個の整数からなる集合を h 回足し合わせて狙った大きさの和集合を作るには、整数の範囲がどれくらい必要か」という構造。h=2 では既知のシドン集合 (足し算結果が重なりにくい集合) を活用して二次関数的上界へ。一般の h では Rajagopal 氏の論文の議論を土台に、「幾何数列のように振る舞うが要素の大きさは多項式程度に抑えられる集合」を構成するアイデアを ChatGPT 5.5 Pro が出した。Rajagopal 氏は結果の正しさを確認している。Gowers 氏は「組合せ論の博士論文の 1 章として十分に成立する水準」「数学史に残る大定理ではないが、検索で既存の答えを拾う作業を遥かに超える内容」と評価した。

キーワード解説

シドン集合 (Sidon sequence) とは、集合内の任意の異なる二元の和が全て異なる整数集合。1932 年にハンガリーの数学者 Simon Sidon が提唱した。和の重なりが構造的に起こらない性質が、組合せ論・加法的数論で「衝突を避ける設計」の基本道具となる。

上界 (upper bound) とは、ある量がそれを超えない最大値の見積もり。数学では「解の規模を見積もる」「アルゴリズムの計算量を制限する」目的で扱われ、指数関数的上界 (2^n のように急増) と多項式的上界 (n^k のように緩増) では問題の現実的解きやすさが質的に変わる。

フィールズ賞 とは、40 歳以下の数学者に 4 年に 1 度授与される国際的最高栄誉。Gowers 氏は 1998 年に受賞しており、彼が「ChatGPT で書ける数学的内容」を肯定的に評価したこと自体がコミュニティへのインパクトを増幅している。