GPT-5が後押しした数学の大発見。UCLA・アーネスト・リュウ教授、40年未解決の最適化問題を突破
■ 40年間、誰も証明できなかった謎
1983年に登場した Nesterov Accelerated Gradient（NAG）は、最適化アルゴリズムを劇的に高速化する手法として知られていた。しかし研究者には 「なぜ高速化しても不安定にならないのか？」 という根本原理が未解明のまま残っていた。
長年多くの数学者が挑戦したが、完全な説明となる厳密な証明は存在しなかった。
■ GPT-5との“共同研究”が始まる
UCLAのアーネスト・リュウ教授は、GPT-3.5の頃からAIに興味を持っていたが、数学能力の低さを見て期待はしていなかった。
しかし2025年、GPT-5の数学性能が急速に向上していると聞き、未解決問題を題材に「実験的に」使い始めたところ、状況が一変する。
- GPT-5は 関連分野の論文アイデアを大量に提示
- 既存の道具を「異分野から大胆に組み合わせる」
- 間違ったアイデアも多いが、新しい方向性への突破口を連続的に提供
リュウ教授は GPT-5 を「異常に創造的な共同研究者」と表現。
人間の数学者と同じく、「当たり外れのあるアイデア」を次々に投げ、研究の探索速度を爆発的に加速した。
■ 12時間で“数週間分”の発想探索
教授は GPT-5 によって得られたアイデアを 人間の直感と専門知識で即座に評価。
- ダメだと思えば数秒で破棄
- 可能性があれば深掘り
- 間違っていても「構造として価値がある」ものは採用
- 誤差蓄積を避けるため、検証フェーズでは毎回「新しいチャット」で確認
通常なら数日〜数週間かかる「発想の探索・破棄・分岐」を、
たった12時間で高速反復したという。
■ “決定的な転機”：GPT-5が提示した1つの再構成
突破の瞬間は、GPT-5 が NAGの支配方程式の新しい再構成方法 を提示したとき。
そのままでは誤りだったが、
構造が明らかに“使える”と直感したリュウ教授は、これを基礎として自らの手で厳密化。
この“AIのヒント”をもとに、
ついに NAGの高速性と安定性が両立する理由の数学的証明 を完成させた。
■ GPT-5は「共著者」ではなく「数学ツール」
論文はすでにプレプリントとして公開済み。
GPT-5はタイトルとアブストラクトに明記されたものの、共著者にはしていない。
理由は：
- 最後の証明は人間が書いた
- GPT-5はツールであり、著者ではない
- 古典的な数学コミュニティに配慮
■ 数学研究のやり方はどう変わるのか
今回の事例は、「AIが数学者の代わりに証明を書く」という話ではなく、AIが
**・人間の発想空間を拡張する
・“隣接分野の知識”を瞬時に持ち込む
・誤った案を含め大量の方向性を提示
・研究放棄のタイミングを先延ばし、粘り強さを生む**
という形で、数学研究を次のステージへ引き上げたことを示している。
教授はこう語る：
「GPT-5 は、数学研究においてこれから常用することになる。使わない理由がない。」
GPT-5が後押しした数学の大発見。UCLA・アーネスト・リュウ教授、40年未解決の最適化問題を突破のまとめ：
AIは証明を書いたわけではない。
だが、人間だけでは辿り着けなかった「道」を示した。
今回の成果は、
GPT-5＝“数学的創造性のブースター”
としての圧倒的可能性を世界に示した重要事例となった。
