世界を動かす技術を、日本語で。

数学と理論計算機科学における10の進展

2026年8月4日原文(openai.com)

概要

  • OpenAIによる ChatGPT for Academic Researchers の提供
  • Astraモデルによる 数学分野の未解決問題 への進展
  • 10件の主要な問題に対する 新たな成果
  • AIによる証明の 正確な貢献表記 への配慮
  • AIと数学コミュニティの 協調と未来への展望

OpenAIの科学者・数学者支援とAI活用の新展開

  • ChatGPT for Academic Researchers の開始
    • 10万人の科学者・数学者に 最先端ChatGPTモデルの無料提供
    • 研究発見の加速を目指す取り組み
  • Astraモデル による未解決問題への挑戦
    • 内部バージョンで 10件の長年の数学的難問 に進展
    • 問題分野:高次元幾何、符号理論、回路複雑性、群論、作用素環、量子複雑性、格子暗号、極値組合せ論
  • AI生成証明 のプロセス
    • Astraによる証明案生成
      • トークンコストはSol APIレートで約 2,000ドル
      • ヒトによる原稿化と Lean形式での形式化
      • 各解法の 思考過程ナレーション も公開
  • 主な成果例
    • 高次元球充填問題 :Cohn–Elkies閾値までの新しい上限
    • 2進・球面符号 :任意の最小距離での最大サイズに対する指数的改善
    • 非ソフィック群の構成 :群論の中心的未解決問題への解答
    • Connesの剛性予想の反証 :von Neumann環による群の一意決定性否定
    • 算術回路複雑性 :パーマネント計算の新たな下限
    • 量子並列反復定理 :2人量子ゲームでの指数的繰り返し定理
    • Closest Vector Problemの近似困難性 :格子暗号基盤問題への新証明
    • Ehrhart体積予想 :あらゆる次元での最大体積の決定
    • 多色Ramsey数 :多色三角形Ramsey数の超指数的下限
    • 極値グラフ理論 :Erdős問題146・180の解決
  • 数学コミュニティへの責任と透明性
    • AI生成証明の 正確な貢献表記 の重要性強調
      • AIが生成し、ヒトが形式化・原稿化
      • ヒトによる完全な証明主張は誤解を招く懸念
    • Leiden宣言 など多様な意見への理解と尊重
    • 結果の文脈化・新たな研究への発展をコミュニティに期待

AIと数学研究の未来

  • AIの研究協力者化 とアクセスの重要性
    • 数学・科学分野でのAIの役割拡大
    • 研究者が変革期を乗り越えるための 広範なAI利用機会 の提供
  • 今後の展望
    • AIによる証明や新発見の 社会的・倫理的課題 への対応
    • 数学コミュニティとAI開発者の 対話と協働 の深化
    • 新たな知識創造の加速 とその恩恵の普及

Hackerたちの意見

哲学者を数学者に置き換えたら、ダグラス・アダムズはまたしても的を射てるね。今のモデルは「直感」を持って推測を立てることはできないけど、人間にはできないような計算をすごく早く反証することはできるんだ。今の数学者たちの中には、ここ数年の研究がこれによってひっくり返されちゃった人もいるんじゃないかな。 -- 「私たちはここにいるんだ」とマジキサイスは主張した。「私たちは、統合哲学者連合、賢者、光明者、その他の思考する人々の代表としてここにいて、この機械を今すぐ止めてほしい!」 「何が問題なんだ?」とランクウィルが言った。「問題は何か教えてやるよ、相棒」とマジキサイスが言った。「それは境界線の問題だ!」 「私たちは要求する!」とブルームフォンデルが叫んだ。「境界線が問題かどうかはわからない!」 「機械には計算を続けさせておけ」とマジキサイスは警告した。「私たちは永遠の真理を扱うから、あんたはそのことを感謝しなさい。法律的な立場を確認した方がいいぞ、相棒。究極の真実を探求することは、明らかにあなたたちの思考者たちの譲れない権利だからな。もしどんな機械がそれを見つけちゃったら、私たちは仕事を失うことになるだろ?夜中に神がいるかいないかを議論しても意味がないのに、次の朝にその機械が神の電話番号を教えてくれたらどうするんだ?」

問題番号1と9は驚くほど直感的だよ。ここをチェックしてみて:1. 高次元球の詰め込み https://muchmirul.github.io/conjectures/sphere-packing/ 2. 多色ラムゼー数 https://muchmirul.github.io/conjectures/multicolor-ramsey