Axiom、Stacks Project全体をLeanで形式化して公開 AIエージェント群が約1600万行を構築
約7500ページの代数幾何学の参照文献が機械検証済みの単一ライブラリに。形式化した命題の忠実さは外部の数学者がまだ検証していない。
Meta、複数のAIコーディングエージェントを並行実行できるConductorを買収とAxios報道
Axiosは関係者の話として報じ、CEOのCharlie Holtz氏がチームはMeta Superintelligence Labsに加わると述べたと伝えた。買収条件は非公表。
NBC出口調査：米中間選挙の有権者の57%が「AIは社会に害」、76%が地元のデータセンターに反対
「AIは社会に役立つ」は24%にとどまった。23%がAIとデータセンターを投票の決定的要因とし、43%はどちらの党もAIを任せられないと回答。数字は速報で更新中。
テンセント、旗艦オープンウェイトモデル「Hy4」を公開 視覚推論に初対応
テンセントはHy4を最も強力なオープンウェイトモデルの一つとする一方、研究レベルの数学や長期的なコーディング、高度な視覚的質問では主要なクローズドモデルに及ばないと認めた。
オハイオ州の有権者、少なくとも14自治体でデータセンター禁止・規制を承認
中間選挙ではオハイオ州18自治体で21件が問われ、全米41件の約半数を占めた。サンベリーは25MW以上の施設を禁止。
Oracle、米国の圧力でTencentとの70億ドル規模のAIチップリース契約を解消とFT報道
Riot Platforms、910MWのCorsicanaキャンパス全体を非公表のフロンティアAIラボに約280億ドルで賃貸
新着 OpenAI、Images 2.6を展開 ChatGPTでアニメGIF作成、APIに新画像モデル2種
中国の買い手、700億ドル分のNvidia RTX Pro 5500注文のうち約1%しか受け取れない見通し ブルームバーグ報道
グーグル、自主退職の募集を米国外の複数国の社員に拡大
仏Crédit Mutuel Arkéa、サイバー攻撃による不正取引を確認 損失は1億ユーロ超との報道
インドのサイバー犯罪調整センター、AIエージェントによる攻撃で多額の不正送金が発生と銀行・フィンテックに警告
米通貨監督庁OCC、銀行のSI・エージェント型SI利用に関する初の検査枠組みを公表
Google、健康分野のAIモデルの正確性・安全性・有用性を評価する枠組みを公開
Nature Aging誌の研究：言語モデルQuest2Dx、学習時に見ていない問診票でもパーキンソン病をスクリーニング
Evident Vascular、AI搭載の血管内超音波システムでFDA承認取得
アルトマン氏、人類は未来の主導権を超知能に譲ってはならないと発言
OpenAIのCEOはXへの投稿で、この要件が最終的にAIの進歩を制約すべきだと述べ、AIシステムが報酬に値すると判断することだけを人間が行う役割に追いやられることにOpenAIは反対すると書いた。
新規データセンター建設の一時停止を公約した民主党のジーナ・イノホサ氏がテキサス州知事選で勝利
テキサス州は2030年までに計画される米国データセンター容量の25%超を占める。夜間取引でCoreWeaveはRobinhood上で7%、SpaceXは6%下落し、ナスダック100先物は0.8%安となった。
Uber、第三者AIエージェント経由の配車は前四半期わずか4件、ハロウィン週のEats注文は約500件と開示
第3四半期決算説明会で経営陣が開示。ハロウィン週の配車・配達は約3億2000万件だった。
グーグル、2027～28年にマレーシアへ150億ドル投資 主にデータセンター新設
スランゴール州とヌグリ・スンビラン州での新キャンパス、1GW超のクリーン電力追加、水資源確保、人材育成に充てる。キャンパスの電力費用は全額自社負担とする。
OpenAI、Pierre Computerを買収へ Code StorageをCodexに統合
XPengと大学の研究者、34のベンチマークでGPT-6 Astraを上回るとする40億パラメータのオープン知覚モデルGroundingPIを公開
日本、米AI開発企業から未公表のソフトウェア脆弱性情報を早期入手へ 日経報道
民主党の中間選挙勝利で規制強化観測、AIデータセンター関連株が下落
仏血液機関の冷凍庫がハッキングで110℃に設定変更、欧州で冷凍設備への攻撃拡大
新着 保守系AI政策団体、中間選挙の敗北受け共和党にAI政策の見直しを提言
バイナンス、ハッカーが偽の採用面接と社内AIツールを使い63億ドルを奪ったと発表
OpenAI社員が長年、内部セキュリティの甘さを経営陣に警告していたとロイター報道
ヘルシング、戦闘ドローン用ミッションソフトのソースコードを独調達庁に引き渡し
Agilent、AIデジタル病理のProsciaの買収を完了 最大2億7000万ドル
ベルリンのフィンテックPliant、シリーズCで8000万ドル調達 B2B決済基盤をAIエージェントに開放
新着 Pangram、AI生成の画像と動画を検出するImage 1.0とImage Flash 1.0を公開
PangramによるとImage 1.0はAI画像の99.2%を検出し、本物の画像の誤検出は0.27%。Flash 1.0は動画ベンチマークDF26で98.7%を記録した。いずれも同社発表の数値。
新着 Waymo、オースティンとアトランタでのUberとのロボタクシー提携を2028年1月に終了へ
共同CEOのTekedra Mawakana氏はBloombergに対し、利用者はWaymo独自のアプリで予約することになると述べた。Uberは、自社アプリでロボタクシーを直接予約できる選択肢を設けないのはWaymo側の考えだったとしている。
Natureが報告したAIネイティブ実験室AutoDNA、DNA合成からシーケンスまで自律実行し人は消耗品補充のみ
20種類以上の装置を1万1000超のステップで統括し、酵素的DNA合成の収率で専門家の最適化と同等に。