毎日AIニュース｜OpenAI、Astraによる数学・理論計算機科学の10件の成果を公開
# 毎日AIニュース｜OpenAI、Astraによる数学・理論計算機科学の10件の成果を公開
## 今日のトップニュース
### OpenAI、Astraによる数学・理論計算機科学の10件の成果を公開
OpenAIは、社内版Astraが生成した数学・理論計算機科学の10件の成果を公開した。対象は高次元球充填、符号理論、非ソフィック群、算術回路計算量、量子計算量、格子暗号、極値組合せ論などで、主要結果に少なくとも10年間進展がなかった問題だという。人間が同じモデルを使って論文原稿を整え、その後モデルが各論証のLean証明書を作成し、解法探索に使ったトークンはSol API料金換算で約2,000ドルとしている。
**AI解説：** 研究協力者としてのAIの上限を示しますが、各成果は数学界による精査が必要です。Lean証明書は検証可能性を高めても、査読での承認そのものではありません。
## 主なニュース
### xAI、Grok Imagine Video 1.5に参照入力を追加
xAIはGrok Imagine Video 1.5にReferences機能を追加したが、1.5モデル自体をこの日に初公開したわけではない。テキストからの動画生成、ネイティブ1080p、画像・音声参照、最大7件の参照入力に対応し、画像と音声の参照はまず米国のSuperGrok HeavyとPlus利用者へ提供する。画像参照、テキスト動画、1080pはAPIでも使え、音声参照APIは申請制となる。
**AI解説：** 複数参照で人物やスタイルの一貫性を制御しやすくなります。音声参照は段階提供で、ウェブ、モバイル、APIの利用範囲も区別が必要です。
### OpenAI、CodexとChatGPT Workの週次利用枠を再度リセット
Codex責任者のTibo Sottiauxは8月1日、OpenAIがすべてのCodexとChatGPT Work利用者の週次利用制限を再びリセットしたと明らかにした。7月22日以降では5回目で、上限に近い、または達していたアカウントは直ちに利用枠を回復した。ただしOpenAIは、恒久的な上限引き上げや新しい料金ルールとは説明していない。
**AI解説：** ヘビーユーザーには即時の回復ですが、一時的なリセットを長期の処理容量やコスト計画の前提にはできません。
### OpenAI、欧州向けコンテンツ来歴対策を音声へ拡大
OpenAIは、EUの汎用AIモデル行動規範とAI生成コンテンツ透明性行動規範の策定に参加し、支持したと発表した。同時にコンテンツ来歴対策を画像から音声出力へ広げ、Content CredentialsとSynthIDを組み合わせ、標準とツールの成熟に合わせてテキストなど他のモダリティーにも拡大する方針を示した。
**AI解説：** 音声の来歴情報は合成コンテンツの識別に役立ちますが、メタデータの消失や透かしの限界は残ります。透明性義務は製品設計と監査に組み込まれていきます。
## 噂
