OpenAIの新しいモデルが複雑な数学の問題を解決

OpenAI’s New Model Solves Complex Math Problems

Updated at: August 2, 2026 at 02:30 AM

OpenAIオープンエーアイは、数学的すうがくてき問題解決もんだいかいけつにおける最新さいしん躍進やくしんにより、人工知能じんこうちのう分野ぶんや変革へんかくしています。

OpenAI is transforming the field of artificial intelligence with its latest breakthroughs in mathematical problem-solving.

nounOpenAI
nounすうがく
nounじんこうちのう

2024年ねんの「o1」シリーズでは、AIエーアイがステップバイステップで思考しこうできる「思考しこう連鎖れんさ(chain-of-thought)」推論すいろん導入どうにゅうされましたが、次期じきモデルファミリーである「Astraアストラ」は、さらに重要じゅうよう飛躍ひやくげています。

While the 2024 'o1' series introduced 'chain-of-thought' reasoning—allowing the AI to think through problems step-by-step—the upcoming 'Astra' model family marks a significant leap forward.

nounしこう
nounしこう

2026年ねん8月はちがつ発表はっぴょうされたAstraアストラは、ふか自律的じりつてき研究けんきゅうおこなうために設計せっけいされています。

Announced in August 2026, Astra is designed for deep, autonomous research.

nounけんきゅう

標準化ひょうじゅんかされたテストに重点じゅうてんいた前身ぜんしんのモデルとはことなり、Astraアストラ10年以上じゅうねんいじょうけずにのこっていた数学すうがくおよび計算機科学けいさんきかがく主要しゅような10の問題もんだい解決かいけつすることに成功せいこうしました。

Unlike its predecessors, which focused on standardized tests, Astra has successfully tackled ten major mathematical and computer science problems that had remained unsolved for over a decade.

nounすうがく
verbせいこうする

これらの複雑ふくざつ計算けいさん実行じっこうするには1解かいにつきやく2,000ドルというたかいコストがかかりますが、AstraアストラAIエーアイ人間にんげん研究者けんきゅうしゃにとって強力きょうりょくなパートナーとなりつつあることを証明しょうめいしています。

Although running these complex calculations is resource-intensive—costing roughly $2,000 per solution—Astra demonstrates that AI is becoming a powerful partner for human researchers.

adjectiveたかい
nounけんきゅう
adjectiveきょうりょくな

自律的じりつてきかつ長期ちょうき的な研究能力けんきゅうのうりょくへとかうことで、OpenAIオープンエーアイはコンピュータが人類じんるい知識ちしき最前線さいぜんせん貢献こうけんできる限界げんかいひろげており、AIエーアイ科学的かがくてき理解りかい積極的せっきょくてき進歩しんぽさせるあたらしい時代じだい幕開まくあけをげています。

By moving toward autonomous, long-term research capabilities, OpenAI is pushing the boundaries of what computers can contribute to the frontier of human knowledge, marking a new era where AI actively advances scientific understanding.

nounけんきゅう
nounOpenAI
nounちしき
verbしんぽさせる
🎉

End of article

You read 6 focus sentences.

Challenge Mode

Comprehension Questions

o1モデルとAstraモデルのおもちがいはなんですか?

Correct Choice

o1は段階的な「思考の連鎖」推論を導入した一方、Astraは長期にわたる自律的な研究に焦点を当てている。

OpenAIはどのようにしてAstraの解決策かいけつさく数学的すうがくてき厳密性げんみつせい確保かくほしましたか?

Correct Choice

解決策は、機械検証可能な定理のための言語であるLeanで形式化された。

Astraが達成たっせいした躍進やくしんとしてつぎのうちどれが記述きじゅつされていますか?

Correct Choice

非ソフィック群の史上初となる明示的な構築。

Astraの研究能力けんきゅうのうりょくにかかるコストについて重要じゅうようてんなんですか?

Correct Choice

計算資源を大量に消費し、1解につき約2,000ドルかかる。

Astraの一般公開いっぱんこうかいかんする将来しょうらい見通みとおしはどうなっていますか?

Correct Choice

安全性と能力について、米国政府による公式な評価を受ける予定である。

Ringoo Icon

Learn faster with Ringoo apps

Trace your learning progress and get real-time feedback with interactive exercises.