Axiom、Stacks Project全体をLeanで形式化して公開 AIエージェント群が約1600万行を構築
約7500ページの代数幾何学の参照文献が機械検証済みの単一ライブラリに。形式化した命題の忠実さは外部の数学者がまだ検証していない。
Moonshot AI、2.8Tパラメーター・100万トークン文脈のオープンモデルKimi K3.1 Proの重みを公開
このMoEモデルはトークンごとに104Bパラメーターを活性化し、大規模な商用利用者に名称表示を求める独自ライセンスで公開された。Moonshot自身の評価ではTerminal-Bench 4.0でClaude Opus 5.5にわずかに及ばない。
新着 AMD、AI推論チップ新興Taalasの買収額が約29億ドルと開示、うち14億ドルは条件付き
8月に発表された現金と株式による買収の金額が証券当局への提出書類で明らかになった。買収は未完了で、規制当局の承認が必要。
Uber、第三者AIエージェント経由の配車は前四半期わずか4件、ハロウィン週のEats注文は約500件と開示
第3四半期決算説明会で経営陣が開示。ハロウィン週の配車・配達は約3億2000万件だった。
テンセント、旗艦オープンウェイトモデル「Hy4」を公開 視覚推論に初対応
テンセントはHy4を最も強力なオープンウェイトモデルの一つとする一方、研究レベルの数学や長期的なコーディング、高度な視覚的質問では主要なクローズドモデルに及ばないと認めた。
CellTypeのBioSimBench、フロンティアモデルは薬剤や遺伝子ノックダウンへの細胞応答を一部しか予測できないと示す
オハイオ州の有権者、少なくとも14自治体でデータセンター禁止・規制を承認
XPengと大学の研究者、34のベンチマークでGPT-6 Astraを上回るとする40億パラメータのオープン知覚モデルGroundingPIを公開
新着 Parsec創業者のPhaze、a16z主導で875万ドルのシード調達、人とAIエージェントに共有リモートPCを提供
中国の買い手、700億ドル分のNvidia RTX Pro 5500注文のうち約1%しか受け取れない見通し ブルームバーグ報道
新着 Hugging FaceのDelangue CEO、p(doom)はほぼゼロとし、AIリスクの大半は閉鎖的なラボから生じると発言
仏血液機関の冷凍庫がハッキングで110℃に設定変更、欧州で冷凍設備への攻撃拡大
インドのサイバー犯罪調整センター、AIエージェントによる攻撃で多額の不正送金が発生と銀行・フィンテックに警告
米通貨監督庁OCC、銀行のSI・エージェント型SI利用に関する初の検査枠組みを公表
Google、健康分野のAIモデルの正確性・安全性・有用性を評価する枠組みを公開
更新 Meta、複数のAIコーディングエージェントを並行実行できるConductorを買収
Conductorは買収を認め、クラウド製品を11月20日に終了し、チームはMeta Superintelligence Labsに加わると発表した。買収条件は非公表。
NBC出口調査：米中間選挙の有権者の57%が「AIは社会に害」、76%が地元のデータセンターに反対
「AIは社会に役立つ」は24%にとどまった。23%がAIとデータセンターを投票の決定的要因とし、43%はどちらの党も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%を記録した。いずれも同社発表の数値。
新着 Anthropic、11月16日からさらに4つのClaudeモデルの文章に透かしを入れるとAPI顧客に通知とThe Decoder報道
対象はClaude Opus 4.6、Opus 4.5、Sonnet 4.5、Haiku 4.5で、透かしはtemperature、top_p、top_kが既定値のときだけ適用されるため、設定を1つ変えれば回避できる。
OpenAI、Pierre Computerを買収へ Code StorageをCodexに統合
Oracle、米国の圧力でTencentとの70億ドル規模のAIチップリース契約を解消とFT報道
AI業界のスーパーPAC、68選挙区に7900万ドル投入も支援候補の多くが民主党の波に敗れる
ブラジルの裁判所、Metaに報道機関のコンテンツの無断収集とAI学習を禁止
民主党の中間選挙勝利で規制強化観測、AIデータセンター関連株が下落
Caucus AI報告、研究者が作った実在の上院候補に関する試験サイトが19時間以内にチャットボットで引用
仏Crédit Mutuel Arkéa、サイバー攻撃による不正取引を確認 損失は1億ユーロ超との報道
アップル、2年遅れで中国でApple Intelligenceの試験提供開始 アリババのQwenと連携
AMD、売上高134億ドルで過去最高 データセンター売上がほぼ倍増、次四半期は約170億ドルを見込む
保守系AI政策団体、中間選挙の敗北受け共和党にAI政策の見直しを提言
アルトマン氏、人類は未来の主導権を超知能に譲ってはならないと発言
OpenAIのCEOはXへの投稿で、この要件が最終的にAIの進歩を制約すべきだと述べ、AIシステムが報酬に値すると判断することだけを人間が行う役割に追いやられることにOpenAIは反対すると書いた。
新規データセンター建設の一時停止を公約した民主党のジーナ・イノホサ氏がテキサス州知事選で勝利
テキサス州は2030年までに計画される米国データセンター容量の25%超を占める。夜間取引でCoreWeaveはRobinhood上で7%、SpaceXは6%下落し、ナスダック100先物は0.8%安となった。
Natureが報告したAIネイティブ実験室AutoDNA、DNA合成からシーケンスまで自律実行し人は消耗品補充のみ
20種類以上の装置を1万1000超のステップで統括し、酵素的DNA合成の収率で専門家の最適化と同等に。