AI·THE EXPLAINERニュースを理解する
OpenAI releases 372 new math results from internal modelOpenAI、内部モデルで数学の成果372件公開
OpenAI published 372 math results from an unreleased internal frontier model on GitHub, with Lean proof formalizations and compute statistics.OpenAIが未公開の内部最先端モデルによる数学の成果372件をGitHubで公開し、Leanによる証明の形式化なども添えた。
OpenAI · Archive photograph, 2025-06-15OpenAI · 資料写真、2025-06-15 · Coolcaesar
OpenAI · Archive photograph, 2025-06-15OpenAI · 資料写真、2025-06-15
Coolcaesar ↗ · CC BY 4.0 · Cropped to fit表示枠に合わせてトリミング
THE SOURCE TRAIL情報の根拠
2 first-party sources linked. 3 news organizations linked.当事者・公的資料2件、報道機関3件にリンクしています。
Claims checked against source text主張と原典の照合記録（英語）
An automated review linked these claims to supplied source text. This is not a human fact-check or independent verification of the source.自動点検が、記事の主張と入力した原典本文を対応づけた記録です。人による事実確認や、原典自体の正しさを独立して検証した結果ではありません。
OpenAI released 372 math results on GitHub produced by an internal, unreleased frontier model
openai.com ↗Nearly all results came from a single prompt to a single AI agent; some may have taken multiple attempts
www.scientificamerican.com ↗Average result used compute equivalent to roughly three hours of ChatGPT Pro thinking
openai.com ↗
Reviewed: 照合日時：
What happened何が起きたか
OpenAI released 372 mathematical results on GitHub on October 6, 2026, produced by an internal frontier model that has not been made public. The company says nearly all came from a single prompt given to a single AI agent, though some may have taken multiple attempts, and the average result used compute equivalent to roughly three hours of ChatGPT Pro thinking.OpenAIは2026年10月6日、一般公開していない内部の最先端モデルが生み出した数学の成果372件をGitHubで公開した。同社によれば、そのほとんどは単一のAIエージェントに与えた単一のプロンプトから得られたもので、一部は複数回の試行を要した可能性があるという。平均的な成果にはChatGPT Proでの思考時間に換算して約3時間分の計算リソースが使われたとしている。
Why it matters何が変わるのか
Mathematicians will need months to check whether the proofs, which include claimed progress on the Kakeya conjecture and the Riemann hypothesis, contain genuinely novel ideas. MIT mathematician Andrew Sutherland said claims about one-shotting problems should be treated as unverified until the model is released and results can be replicated.公開された証明にはKakeya予想やリーマン予想への進展も含まれるとされ、数学者たちはそれが本当に新しい発想を含むのか見極めるのに数か月を要するとみられる。MITの数学者Andrew Sutherland氏は、モデルが公開され結果が再現されるまで、一発で解いたという主張は未検証として扱うべきだと述べた。
What’s nextこれからの動き
OpenAI says it will keep updating the GitHub repository with more Lean formalizations and fund workshops and conferences to help the community understand the results.OpenAIはGitHubリポジトリにLeanによる形式化を今後も追加し、成果の理解を助けるためのワークショップや会議に資金を提供すると述べている。
A little context · terms in this story理解の手がかり · この記事の用語
- AI agent
- Software that uses an AI model and tools to carry out steps toward a task. How independently it can act depends on the product and the permissions you give it.AIモデルとツールを使い、目的に向けて複数の手順を実行するソフトウェア。自律的に動ける範囲は製品や与える権限によって異なります。
Read the sources原典を読む
The marked texts informed this summary. Other links provide related coverage; a link is not independent verification.印のある記事本文を要約の材料にしています。ほかは関連情報です。リンクの数は独立した裏付けの数を意味しません。
OpenAIopenai.comFirst-party source当事者・公的資料Text used in this brief要約の材料に使用
scientificamerican.comscientificamerican.comRelated publication関連する掲載記事Text used in this brief要約の材料に使用
Gizmodogizmodo.comRelated publication関連する掲載記事Text used in this brief要約の材料に使用
github.comgithub.comFirst-party source当事者・公的資料
Show 7 more source links残り7件の出典を見る
New York Timesnytimes.comRelated publication関連する掲載記事Paywall有料記事
Wall Street Journalwsj.comNews organization報道機関Paywall有料記事
The Vergetheverge.comNews organization報道機関
RuntimeWireruntimewire.comRelated publication関連する掲載記事
The Indian Expressindianexpress.comRelated publication関連する掲載記事
The Informationtheinformation.comNews organization報道機関Paywall有料記事
Unite.AIunite.aiRelated publication関連する掲載記事
More in AIAIのほかの記事
MiniMax launches M3.1 Flash, cuts agent task costs 70%MiniMax、M3.1 Flash発表 エージェント費用7割減
12 linked sites関連12サイト
Mistral launches Voxtral 3 speech models and voice agent SDKMistral、音声エージェントSDK「Voxtral 3」公開
1 linked site関連1サイト
Anthropic opens Claude Duet preview on waitlistAnthropic、Claude Duetの先行体験開始
19 linked sites関連19サイト