← 2026-07-19 の一覧へ戻るホーム
GPT-5.6 はプロンプトを用いて、凸最適化分野における30年間の空白を解消した

2026/07/18 22:00

GPT-5.6 はプロンプトを用いて、凸最適化分野における30年間の空白を解消した

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

Japanese Translation:

GPT 5.6 Sol Pro は、凸最適化における画期的な定理を正式に証明し、特定の精度レベルにおける次元依存性に対する必要な二次の下界を示すことで、30年にわたる空白を解決した。この画期的な成果は、以前の方法が示していた上界と理論的に達成可能なものとの間に存在した長年の乖離を閉じるものであり、OpenAI の CDC プロンプティング手法を適用し、新しい数学的手法を導入するのではなく、既存の凸幾何学の理論的手法を成功裏に活用している。1996 年以来、Protasov アルゴリズムは上界として O(d²) の評価数を確立したが、下界は線形の Ω(d) で留まっていた。GPT 5.6 は、d⁻³ の精度達成には確かに O(d²) の評価数が必要であることを示し（当初はより厳密な d⁻⁴ の要件のために構成された）、これによりこれらの境界を同じ位数に揃えた。この結果は、応用数学博士号を保有する UC Berkeley 教授による著者の手により Lean で正式に検証されたものであり、それ以前のもっともーデル（GPT-5.4 および GPT-5.5）を用いた一連の試みでは成功しなかったため、1 年にわたる努力の結果である。この成果は、現代の AI が既存の枠組みを使用して複雑な理論的問題を解決する能力を確認するものである。本結果はいまだピアレビューを経ておらず、著者によって GitHub/ArXiv にホストされているため、形式的な検証が直ちに次のステップとなる。したがって、この分野は、現在の漸進的な技術で達成可能な問題から離れ、新たなアプローチを必要とする深い構造的課題へと焦点をシフトする可能性がある。

本文

GPT-5.6 Sol Pro が凸最適化分野 30 年越しの計算量ギャップを埋める証明を提供

OpenAI が「サイクル・ダブル・カバリング予想（CDC）」の証明に用いた手法を模倣したプロンプトのもと、GPT-5.6 Sol Pro はわずか 148 分 の連続セッションにおいて、凸最適化分野における計算量上のギャップを埋める証明を提供しました。

  • 本結果は Lean で形式検証済み。

免責事項: 著者は応用数学博士号を取得し、カリフォルニア大学バークレー校 IEOR 部門の教職に就いています。なお、本成果はまだピアレビューを経ていません。

研究背景と問題定義

OpenAI の CDC 発表後、著者が OpenAI の手法を適用。GPT-5.6 Sol Pro は著者自身が到達できず、過去の研究でも解決困難とされた主要な議論（計算量下界）に到達しました。

問題の詳細

この問題は、決定論的ゼロ次順序凸最適化に関するものです。

  • 定義域: $\mathbb{R}^d$ 内のユークリッド単位球 $B_d$。
  • 関数: すべてが凸かつリプシッツ定数が 1 の関数 $f: B_d \to \mathbb{R}$。
  • 情報源（オラクル）: アルゴリズムは点 $x$ を問い合わせると、正確な実数値 $f(x)$ のみを得る（勾配情報は提供されない）。ただし、凸性やリプシッツ連続性は既に知っている。
  • 資源: 計算資源と記憶容量は無限に与えられている（アルゴリズムは完全 unrestricted）。

オラクル計算量の文脈

  • 適用領域: 物理実験やシミュレータからのコスト観測など、目的関数値のみが得られる現実的な状況。
  • 評価回数 ($Q(d, \varepsilon)$): 関数 $f$ の $\varepsilon$ 最適点を特定するために worst-case で必要な問い合わせ回数を表す。

1996 年以降の未解決ギャップ

  • 上界 (Protasov, 1996): 関数評価回数 $O(d^2)$ が十分であることが示されていた。
  • 下界: これまでの最強モデル（一次順序オラクル：勾配情報あり）でも $\Omega(d)$ しか得られず、ゼロ次順序モデルについては事実上未開拓だった。
    • ギャップ: $d$ に関する線形ギャップが 1996 年以来存在していた。
  • 中心となった問い:
    1. より優れたアルゴリズム（$d$ 次評価で解決）を見つければよいか？
    2. Protasov の $O(d^2)$ が最善であることを証明できるか？

GPT-5.6 Sol Pro は「後者の事実」を証明しました。

開発プロセスと検証

著者は約一年間断続的に取り組み、GPT-5.4 および GPT-5.5 でも解決に至らなかったため、OpenAI の CDC プロンプトに準拠した詳細なプロンプト（約 10 ページ）を作成。

  • 指示内容:
    • 試みるべきアプローチやモデルの進捗方法を具体的に明記。
    • $d^{-4}$ の精度での二次的な下界証明を試みるよう指示。
  • 結果:
    • 148 分後に、$d^{-3}$ 次の精度における仮想的な証明を返却。
    • 著者が手動確認し、Lean で形式検証。検証チェック通過。
    • 構成と不変量は既存の凸最適化の結果（Nemirovsky と Yudin の境界など）と密接に関連しており、本物らしい構造を持っている。

AI の能力に関する考察

この成果の本質は以下の点にあります。

  • 証明の性質:
    • 「正しい」構築（困難な関数族の特定）と「敵対的オラクル戦略」を見つけるのが主な課題。
    • 実際の証明メカニズムは複雑ではなく、凸幾何学などの既存結果を多用する。
  • 創造性の限界:
    • この成果が凸最適化において本質的に新しい手法や創造性を示したとは考えない。
    • **「既存の手法で達成可能な結果については、現代の AI によって問題が解決できる」**という事実を示すもの。
  • 研究者への影響:
    • 数学・計算機科学（TCS）分野の研究者が代替されるわけではない。
    • しかし、「低ぶら下がっている果実（容易な問題）」や「中ぶら下がっている果実」には費やす意味がなくなる可能性がある。
    • 今後、実際に新しいアプローチが必要な問題において研究者が必要とされるようになる。

リンクとリソース

以下のリンクより予備論文、Lean コード、完全なプロンプトなどを入手可能です。

  • GitHub リポジトリ: PhillipKerger/zero-order-bounds-lean-verification
    • 予備論文（ArXiv: 「微分不使用凸最適化におけるオラクル計算量のギャップの閉鎖：正確な関数値に基づくほぼ二次的な下界」）
    • Lean コード、ビルド指示、証明マップ
  • チャットセッション:
  • OpenAI の CDC プロンプト: PDF リンク
  • Medium 解説記事: Medium Link

【追記】モデル名の補正 記事内で触れたのは Sol PRO ですが、実際の検証に用いられたのは Ultra です。Web インターフェース経由の場合は最上位層が Pro となりますが、これは事実上の Ultra と完全に同一ではありません。

同じ日のほかのニュース

一覧に戻る →

2026/07/15 4:25

500kb以下のサイズで実装可能な音声認識とTTS

## Japanese Translation: 最も重要な教訓は、Moonshine Micro が極めて低コストのハードウェア、具体的には 80 セントの Raspberry Pi RP2350 マイコン上で高度な音声機能を実現することを通じて、先進的な AI を民主化することにあります。このオープンソース・ツールキットは、音声認識やニューラルテキスト読み上げといった洗練されたタスクが最小限のリソースで効率的に動作することを証明しており、SRAM は約 470 KB（468 KiB）、フラッシュメモリは約 3.6 MiB を使用し、全体としての分類から発声までのエンドツーエンドのサイクルを約 0.7〜1.0 セコンドという迅速な速度で達成しています。TensorFlow Lite Micro ライブラリを活用することで、システムは VAD（音声活動検出）、STT（音声認識）、カスタム単語認識、ニューラルテキスト読み上げ、ネットワーク対応エージェント向けの WiFi 設定といった主要機能をサポートしながら、計算要件をコンポーネントごとに分解しており、それぞれ VAD で約 0.8 MMAC/frame、STT で約 36 MMAC/s、TTS で最大 65 MMAC/s の性能を発揮します。すべてのコアコードとモデル（SpellingCNN および TinyVadCNN を含む）は、制限的な知的財産の障壁なく商用展開を可能にする寛容な MIT ライセンスの下で公開されています。現在の実施可能な機能を超えて、このプラットフォームは IoT プロジェクトへの参入障rier を大幅に低下させる標準化されたベンチマーク点として機能し、安価かつオープンソースの AI ソリューションの業界全体での採用を促進します。

2026/07/19 6:45

ハードコア・インディーウェブ：1 日わずか 0.01 ドルで、あなたのサイトを 100％ 独立して運用する方法

## Japanese Translation: この記事は、複雑なサードパーティ製のデータベースやフレームワークを拒否し、個人ウェブコンテンツの完全な所有権を取り戻すことを目的とした「ハードコア・インディエブ」運動を称賛する。高額でサブスクリプション型のプラットフォームに依存し、ユーザーを引き留めるのではなく、データをローカルに保存し、単純なプレーン HTML ファイルを公開することで、真の自律性を確立する。核心的なメッセージは、単なる 3 つの基本ツールのみで真の自立が可能であるという点にある：投稿を書くためのテキストエディタ、アップロードするためのファイル転送ユーティリティ、そして月額わずか 0.25 ドルから利用可能な按分課金の安価なウェブホスティングである。 この方法論は、著者がサイト構造を手動で管理し、不透明なシステムに支配を委ねることなく、1990 年代のウェブ公開の簡素さを意図的に模倣している。各投稿に対して個別の HTML ファイルを使用し、フィードも手動で扱うことで、ユーザーは各エントリの独自のスタイルをカスタマイズしながら、完全な自律性を維持することができる。最も大きな利点はポータビリティであり、ホスティングプロバイダーが消滅した場合でも、所有者はそのサイトをデータ損失や移行手数料なしに瞬時に他場所へ移動できる。本文は、このデジタル自律性への回帰を実施するに関する支援とさらにの議論のために、オミグ・ドット・ロール (omg.lol) のコミュニティに参加することを愛好家たちに呼びかけて締めくくる。

2026/07/19 7:02

表紙から本の内容を知ること

## 日本語翻訳： 本文は、3 つの象徴的な文学的冒頭を比較し、人物と設定に対するそれぞれの独自のアプローチに焦点を当てています。ヘルマン・メルヴィルの『モビ・ディック』は、資金不足や陸上の関心の欠如から航海を余儀なくされる語り手、イシュマエルの登場で始まります。チャールズ・ディケンズの『双城記』は、「それが最良の時代でもあり...」という広範な歴史的評価で幕を開けます。しかし、ジェイン・オースティンの『エマ』からの抜粋は、完全に人物の紹介に焦点を当てています。そこでは、エマ・ウッドハウスが手さばきが良く、聡明で裕福であり、世界中で約21年間過ごしてほとんど悩まされることもないと描かれています。彼女は愛情深く甘やかし続ける父親のもとで長女として生まれ、母の死と妹の結婚の後から幼い頃から家の主人となりました。本文は、エマが母の愛撫についてのみあいまいな記憶を保っている一方、母親としての役割は16年間家族に在籍し、厳格な教師よりも愛される友人のように振る舞った家庭教師ミス・テイラーによって補完されたと注記しています。ミス・テイラーは、特にエマを愛していました。他のテキストが直ちに行動や歴史的範囲を示唆しているのに対し、この節は主に物語が始まる前にエマの安定した社会的地位と家族的絆を確立することを厳格に目的としています。

GPT-5.6 はプロンプトを用いて、凸最適化分野における30年間の空白を解消した | そっか～ニュース