AIニュース

OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4で形式化し機械検証可能に

2026.08.03 12:40
Livedoor.com
このエントリーをはてなブックマークに追加

OpenAIは2026年8月1日、次期主力AIモデル「Astra」の内部バージョンが数学と理論計算機科学にまたがる10件の未解決課題について新たな成果を上げたと発表しました。対象は「未解決のまま残されており、主要な結論について少なくとも10年間進展がなかった問題」で、OpenAIは249ページの論文と証明を機械的に検査できるデータを公開しています。Ten advances in mathematics and theoretical computer science | OpenAIhttps://openai.…

記事全文へ

検索

人気記事

アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース

2026.05.05 11:04

だから｢もっと投資すれば必ず増える｣を信じてしまう…投資詐欺で"狙われやすい人"の共通点

2026.06.20 8:00

『東方紅魔郷NC』に生成AI使用疑惑が浮上 → 公式「フォトショップのAI機能です」

2026.09.17 23:30

株式会社マネーフォワード『マネーフォワード ME』、2026年9月17日(木)より「Apps in ChatGPT」で利用できるアプリの提供を開始

2026.09.17 15:00

ChatGPTとマネーフォワードMEの連携がエグすぎる　サブスク・固定費・資産配分もAIが一発分析

2026.09.17 18:42

コメント一覧

まだコメントはありません。

コメント