 | OpenAI（オープンエーアイ、オープンAI）は、非営利法人 OpenAI, Inc. と子会社の営利法人 OpenAI Global, LLC などから構成される、人工知能（AI）を開発するアメリカの企業である。 人類に利益をもたらす汎用人工知能（AGI）の普及と発展を目標に研究している。現在のA… 96キロバイト (11,633 語) – 2026年7月25日 (土) 00:55 |
＜関連する記事＞
 | OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表 米OpenAIは8月1日（現地時間）、数学と理論計算機科学の未解決問題10件について新たな結果を得たと発表した。この成果は「次期主力モデル」と位置… （出典：ITmedia NEWS） |
＜関連する動画＞
＜X（旧ツイッター）の反応＞
（出典 @itmedia_news）
ITmedia NEWS
@itmedia_newsOpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表 itmedia.co.jp/news/article/2…
（出典 @innovaTopia_JP）
innovaTopia
@innovaTopia_JPOpenAI、次期主力モデル「Astra」による数学・理論計算機科学の新結果10件を公表—Lean 4形式化も公開 innovatopia.jp/ai/ai-news/114… 40年動かなかった指数、1978年以来の球充填の改善。約2000ドルの計算費が生んだ10件の進展。
（出典 @NFT_devil_king）
AI営業マンYuki
@NFT_devil_king「30年解けなかった問題が、2000ドルで解けた」 OpenAIが未公開の次世代モデルAstraで、10個の未解決問題に結果を出した。全部Lean 4の機械検証つきでGitHub公開。 正直、営業の俺には数学の中身はさっぱりわからん。刺さったのは別のところ。「後から人間が確かめられる形で出した」ってとこ。
（出典 @polymarketjapan）
Polymarket Japan
@polymarketjapan【速報】OpenAI次世代モデル「Astra」が未解決問題10個を突破 ・研究用内部版が数学・理論CSの長年難問を一挙に解決 ・数学・量子・理論CSでLean検証可能な証明を生成 ・10件の解の発見コストは合計約2,000ドルという安さ 次世代モデルが「科学で本当に使える」段階に入ったことを示す成果 pic.x.com/OxdaogKFDY x.com/polymarketjapa…
（出典 @taro_kouritsu）
効率化タロウ
@taro_kouritsuAIに「質問して、答えをもらう」。 この使い方は、もう古くなるかもしれません。 OpenAIが開発中の新モデル「Astra(アストラ)」が、次の景色を見せました。 【何がすごいのか】 これまでのAIは、1体が1回で答える存在でした。 Astraは違います。複数のAIがチームを組んで、 pic.x.com/yLEKtMOfpu
（出典 @aibi0123）
只の人。
@aibi0123OpenAIの次期主要モデルファミリーである「Astra」の内部バージョンが数学、量子計算量理論、理論計算機科学における10の主要な未解決問題を解決しました。 私たちはこれが科学的推論の大きな前進になると考えています。 x.com/polynoamial/st…
（出典 @ai_asaki2）
Kai🐙｜ひとりで全部やる人のためのAI設計
@ai_asaki2未解決問題が10件解けても、見積書は勝手に出てこない。 OpenAIが未公開モデル「Astra」の成果を出したという速報。数学と理論計算機科学で長年解かれていなかった問題を10件。 x.com/Polymarket/sta…
（出典 @Okunishi_Yuta）
奥西 佑太 | ビジネスデザイナー
@Okunishi_YutaOpenAIの次期モデルAstraの数学と理論計算機科学の能力の拡充が話題ですね。全てではなくても結局は既知の力で、未知を解決しています。それだけでも凄いことです。今週はGemini3.5proも出てきそうです。ここに来てGrokも巻き返しか。AIの話題が尽きない。本日もグッッジョブ👍
（出典 @TAKU_weassist）
TAKU
@TAKU_weassistOpenAIが“次の主力AI”「Astra」を発表しました。ただし発表会もライブ配信もなし。土曜の数学ブログ記事の3段落目に、ひっそり1行。中身は静かどころではなく、10年以上誰も解けなかった数学の未解決問題10問をまとめて解決したといいます。
（出典 @toyopi_unravel）
豊田将大/AI漫画 LPクリエイター/webマーケ特化
@toyopi_unravel「次の主力AI」の名前が、ついに明かされました。 AIチャット「ChatGPT」を運営するOpenAIの新モデル「Astra」・・・その予告と一緒に、10年以上だれも解けなかった数学の難問を、10問も解いてきたんです。（1/3） pic.x.com/PQursScpwN
（出典 @shake_typeburst）
しゃけ | Type Burst開発者 個人開発
@shake_typeburstOpenAIの次期モデル「Astra」が、数学・理論計算機科学の10問題で新しい結果を出した。 解答探索に使ったトークンは、SolのAPI料金換算で合計約2,000ドル。人間が論文に整えた後、AIがLeanで証明も形式化している。 注目点は、答えだけでなく検証可能な証明まで残してること。 pic.x.com/AQFvJbm5rr
（出典 @mogura_web）
もぐら。
@mogura_webOpenAI新モデルAstra、数学・理論計算機科学の未解決問題10件を低コストで解決 相対性理論を超えた新しいもの生まれそう怖いAI。 search.yahoo.co.jp/realtime/searc…
（出典 @career_ai_lab）
AIキャリアラボ｜AI×転職の研究所
@career_ai_lab【数学の未解決問題が解決へ】 OpenAIが新たに発表した次期主力モデル「Astra」が、数学や理論計算機科学の未解決問題10件で新たな結果を得たとのことだ。これは特に研究職や高度な数学を扱うプロフェッショナルにとって重要なニュースだ。 ▼ 影響を受ける職種 - 数学研究者:
（出典 @shunxneuro）
Shun Yamamoto
@shunxneuroOpenAIの新モデル「Astra」が数学・計算科学の未解決問題を10解いたというニュース これは、 ・まず何をしたら解けたか、の定義が明確 ・人間がそうそうできないような計算の試行回数を回せばいつか解が得られる という問題だからAIが解けたと考えられる。 x.com/sebastienbubec…
（出典 @chataclaw）
茶谷 和弘 / K.Chatani
@chataclawOpenAIの次期モデルファミリー「Astra」の情報が流れてきた。長時間マルチエージェント作業向けで、Sam AltmanがDCでデモ済み。GPT-6またはGPT-5.7として登場する可能性があるらしい。数学の未解決問題を10問解いた内部版の報告もあり、科学推論のブレイクスルーになりそう。
（出典 @kojin_ai_edit）
個人AI編集室|ミーア編集長
@kojin_ai_editOpenAIが、少なくとも10年間 主要結果に進展のなかった問題10件に新結果。 内部モデルAstraが証明候補を探し、 人が論文を整え、Leanで論証を形式化しました。 すごいのは「答えを出した」ことより、 あとから検証できる形まで残したこと。 ただし、正しさや重要性の外部評価はこれからです。 pic.x.com/e0Z2DVbqLF
（出典 @hfujikawa77）
fujihide
@hfujikawa77OpenAIのAstraが、数学・理論計算機科学の未解決問題で10件の新結果を示した。検証が本丸だが、AI研究は「解く速度」と「人間が確認する速度」の差が論点になる。 openai.com/index/ten-adva…
（出典 @nineKan821）
Kan
@nineKan821OpenAIは、次期主要モデル「Astra」の内部版が、数学や量子計算など10件の未解決問題に、新しい証明や反例を作ったと発表しました。 すごいのは、AIが「答えを知っている問題」を解いたのではなく、人間にもまだ答えが分からない研究課題に解答候補を出した点です。 x.com/polynoamial/st…
コメント