OpenAIは、次世代主要モデルAstraの内部バージョンで得られた研究成果を発表した。このモデルは、数学と理論計算機科学における長年にわたる未解決問題のうち10件について新たな結果をもたらし、高次元球充填、binary and spherical codes、non-sofic groups、Connes剛性予想、算術回路複雑性、量子並列反復、Closest Vector Problem、多色ラムゼー数、極値グラフ理論などの分野をカバーしている。
OpenAIによると、これらの結果を導き出すために消費されたトークンは、GPT 5.6 Sol APIの価格換算で約2,000ドル相当。数学的議論はモデルによって生成され、その後、人間がモデルと協力して論文にまとめ、さらにモデルが証明をLean certificatesに形式化した。OpenAIは関連する証明とプロセス説明も公開し、数学コミュニティによる検証、議論、継続研究を促している。
SpaceXAIはImagine Video 1.5モデルのアップグレードを発表し、テキストから動画生成、画像と音声の引用、ネイティブ1080pサポートを新たに追加した。現在、関連機能は公式各プラットフォームで順次提供開始されている。
SpaceXAIの動画モデルImagine Video 1.5が機能アップデートを実施し、テキストからの動画生成、画像参照、音声参照、複数参照、ネイティブ1080p対応を新たに追加した。複数参照機能では、毎回最大7枚の参照画像を関連付けて、キャラクター、シーン、または製品をそれぞれ固定できる。画像・音声参照機能は現在、米国向けのSuperGrok HeavyおよびSuperGrok Plusサブスクライバーを対象に、grok.com/imagineとiOSで提供されている。テキストからの動画生成とネイティブ1080pは、grok.com/imagine、iOS、Androidで完全に利用可能となっている。APIについては、画像参照、テキストからの動画生成、ネイティブ1080pがすでに提供されており、音声参照のサポートは営業への問い合わせにより申請が必要となる。
The Informationの報道によると、OpenAIとAnthropicは米国政府に対し、MetaやSpaceXAIなどの競合他社にも、両社が現在直面しているものと同じ最先端モデルの審査を受けるよう密かに働きかけているという。報道では、OpenAIとAnthropicは現在このような最先端モデルの審査を受けており、両社は競合他社も同等の審査枠組みに含まれることを望んでいるとしている。また、この連携は、競合他社が審査を回避する場合にOpenAIとAnthropicの進捗が遅れるのを防ぐ可能性があると指摘している。この情報はThe Informationのメディア報道に基づくもので、関連企業やワシントン側はまだ公式な対応を示していない。
