GPT 5.5 Proが博士課程レベルの数学を解決 — フィールズ賞受賞者が驚愕

OpenAIの最新内部ビルドであるGPT 5.5 Proが、学術数学界に衝撃を与える偉業を成し遂げた。人間のヒントも足場も中間ガイダンスも一切なしで、博士課程レベルの加法的整数論の問題を1時間足らずで解決したのだ。

この評価を行ったのは、フィールズ賞受賞者であり世界で最も尊敬される数学者の一人であるティモシー・ガワーズ卿に他ならない。彼の評決は？ このモデルは彼が「独自の証明能力」と呼ぶもの — すなわち、まったく新しい数学的議論をゼロから構築する能力 — を示したという。

何が起きたのか

ガワーズは、整数の加法的性質を扱う分野である加法的整数論における未解決問題をモデルに提示した。この問題は力任せの計算ではなく、創造的な洞察を必要とするもので、単純な解法では歯が立たなかった。

60分以内に、GPT 5.5 Proは完全で論理的に一貫した証明を生成した。ガワーズはその推論の連鎖を「驚くほどエレガント」と評し、才能ある大学院生が数週間かけて生み出すような証明だと述べた。

「これは訓練データに対するパターンマッチングではない。これは本物の数学的創造性だ。」 — 匿名の査読者

なぜこれが重要なのか

このブレークスルーには3つの差し迫った意味がある。

1. 数学研究が劇的に加速しようとしている。 フロンティアモデルが自律的に新しい定理を証明できるなら、ボトルネックは「証明を見つけること」から「正しい問いを立てること」へと移行する。

2. 数学教育は実存的な問いに直面している。 機械が博士課程の学生を凌駕する推論力を備えたとき、我々は何を教えるべきなのか。生まれつつあるコンセンサスは、数学的直感と問題定式化が計算よりも価値を持つようになるというものだ。

3. 「理解」の定義が圧力にさらされている。 モデルは数学を実際に理解しているのか、それとも超高度なパターン補完を行っているだけなのか。ガワーズ自身、その区別は曖昧になりつつあると認めている。

より大きな視点

GPT 5.5 Proの数学性能は、より広範なトレンドの一部である。フロンティアモデルは推論ベンチマークにおいて次々と閾値を超えている。その影響は数学をはるかに超えて、自動化された科学的発見からAI支援の工学的設計にまで及ぶ。

明確なのは、「ツール」と「同僚」の境界線が毎月のように薄くなっているということだ。

関連記事: GPT 5.5 Instant Edition: What Developers Need to Know · Adaptive Parallel Reasoning: When LLMs Multitask