OpenAI、未公開の社内モデルが生成した数学原稿722本を公開
GitHubでの公開は372の問題群に及び、多くの証明がLeanで形式化。新規性は数学者が検証中。

CoreWeaveは80MW棟3つの単独テナントとなりNvidia Vera Rubinを導入。第1期は2028年半ば目標。
GitHubでの公開は372の問題群に及び、多くの証明がLeanで形式化。新規性は数学者が検証中。
既存11基の出力増強で賄い、Constellationは43億ドル超を投資。初回は2028年の見込み。
評価額は約1.4兆ドル、MGXが中核投資家候補と報道。OpenAIは確認していない。
Hugging Faceのカードによると、MoEでトークンあたり34.6億パラメーターを使い、最大100万トークンの文脈に対応。
モデルカードでは参照画像最大14枚と検索グラウンディングに対応。Gemini、AI Studio、APIで提供。

General Catalyst主導で約1,000万ドル調達。AIがバランスと移動を担い、重要操作は専門家が行う。

事故・規格・ロボットログから極端事例を生成し、反応する人間動作モデルで実運用前に評価。
Googleの投稿は出力上限100万トークン、100万トークンあたり2ドル/10ドルの価格を示すが、一般提供の時期は未定。
プレプリントは有界整数に対し決定的O(n^1.9992)の3SUMを主張し、長年の困難性予想を覆し得る。査読待ち。

Reflectionによるとアクティブ23B、GB300 1万500基でRL。重みは今月中にApache 2.0で公開予定。
ノーベル会議は光で開くチャネルロドプシンの発見と、生きた脳で神経細胞を操作する応用を評価。