言語モデルが数学研究を支援できるのか。その問いに、フィールズ賞受賞者が実験で答えを示しました。

「自分は何もしていない」 — 数学者の確認

数学者 Timothy Gowers（オックスフォード大）が ChatGPT 5.5 Pro を使い、数論のオープン問題に取り組ませました。彼の評価は単純で力強い：

「プロンプトで何ら賢いことをしていない。ただ問題を提示した。」

Gowers の貢献度はゼロ。それでも ChatGPT 5.5 Pro は、組合せ論の博士課程レベルに値する、きちんとした章立てをした回答を生成しました。

実際に何が起きたのか

MIT の大学院生 Isaac Rajagopal の研究に基づく 2 つのオープン問題。

問題 1: 指数境界を二次境界に改善

  • 所要時間：17 分 5 秒
  • Mel Nathanson の数論における既知の指数パラメータをモデルが削減

問題 2: 指数依存性を多項式に改善

  • 所要時間：31 分 40 秒
  • Rajagopal の研究課題だった指数的な上限を多項式に整理

「その発想は何週間かけて思いつきたい」

Rajagopal は ChatGPT 5.5 Pro の推論を評価して：

「完全にオリジナルな発想。一週間や二週間、必死に考えてようやく思いつく類のアイデア。」

さらに、モデルが使った手法を「かなり独創的」と述べています。つまり、これは再利用されたテンプレートではなく、新しい数学的な工夫です。

なぜ重要か

LLM が「問題を読み、考えて、新しい証明の筋道を提案する」という、研究そのものに等しい営みができることが、権威ある数学者によって確認されました。

ChatGPT 5.5 Pro は：

  • 指示に従うだけではなく、推論する
  • 既知の定理を組み合わせるだけではなく、新しい接近法を編み出す
  • 博士課程の学生が数週間かけて行うレベルの思考を、分単位で実行する

これは「AI が計算を速くする」という既知の話から、一段階先へ進んだ展開です。

開発者・研究者へのインパクト

数学者のツールとしての ChatGPT 5.5 Pro は、もはや「補助」ではなく「共同研究者」の扱いを受ける段階に入りました。

試すなら：

  • 自分の論文や問題に対する「第一稿」や「別角度」を即座に得られる
  • 直感的な飛躍が足りないと感じる部分で、異なるアプローチを提案させる
  • ただし、背景知識がある分野でこそ、出力を正しく評価できます

フィールズ賞受賞者が「ゼロ工数でこれだけの質」と述べたことは、数学研究のワークフロー更新を意味しています。