2026年10月30日

Lean 4でvan der Waerden数 W(2;3,21)=416 が検証付きで証明され、AI・機械学習コミュニティでは「定量的に測って決める」姿勢が目立った一日だった。ローカルLLMのベンチマークや、エージェント設計のA/B検証、エンベディング＋古典分類器の再評価が相次ぎ、流行の手法を実測で疑う流れが強い。一方でAIエージェントのセキュリティは、ツール実行の内部ログ、サンドボックス隔離、異常検知の設計まで具体的な論点が出そろった。社会面では、AI利用の宗教的免除、AI解析を妨害するコード、個人情報漏えい延べ約2億6000万人など、AI時代の防御と受容の摩擦が表面化している。

形式検証・数理とAI研究の足場

• van der Waerden数 W(2;3,21)=416 がLean 4のカーネル検査付きで証明された。{1,…,416} の2色塗りは赤の3項等差数列か青の21項等差数列を必ず含み、{1,…,415} には両方を含まない塗り方が存在する。証明は209ケース・38,661,140個の葉の式から成り、各反証はcake_prで検査され、証拠パッケージは13.6 GBに及ぶ。2010年にKullmannが予想し、DeepMindのFormal Conjecturesリストでも今年まで未解決扱いだった。
  • W(2;3,21)=416 — Kullmannが2010年に予想したvan der Waerden数がLean 4のカーネル検査付き証明で確定 — Reddit r/MachineLearning
• Qwen3.5の内部に、完全に動作する決定論的なRISC-V CPUを実装した「Qwenputer」が公開された。LLMを計算機として厳密に動かす試みで、モデルの内部計算を検証可能にする方向の実験として注目できる。
  • Qwenputer: Qwen3.5の内部に構築した、決定論的で完全動作するRISC-V CPU — Lobsters AI
• MinskyとPapertの『パーセプトロン』について、AI冬の時代を引き起こしたわけではなく、当時の影響は限定的だったが、後から反コネクショニズムの「マニフェスト」と見なされたという擁護論が投稿された。AI史の通説を見直す議論である。
  • MinskyとPapertへの（控えめな）擁護 — Reddit r/MachineLearning
• NeurIPS 2026（パリ）のE-Valuesワークショップに採択された論文のポスターを、資金難で渡航できない著者が代理発表してくれる人を探している。学会参加コストの高さが投稿者側の障壁になっている実態がうかがえる。
  • NeurIPS 2026（パリ）で代わりにポスター発表してくれる方はいませんか？ — Reddit r/MachineLearning

推論効率とローカルLLMの実測

• TKintegersのK5（平衡三進の重み表現）は、NVIDIA L4上のQwen2.5-0.5B-Instructで、TorchAO FP8に対しprefillが3,402.85 tokens/s 対 1,061.58 tokens/s（3.21倍）、decodeも3.10倍のスループットを出した。L4にK5のネイティブ命令はなく、FP8のテンソルコアがあるGPUで上回った点が特徴的である。
  • TKintegers K5: NVIDIA L4でTorchAO FP8比 prefill 3.21倍・decode 3.10倍のスループット — Reddit r/MachineLearning
• VRAM 16GB（RTX 4070 Ti SUPER）でLM Studioの4モデルを同条件で測定した結果、最速はgpt-oss、日本語の校正の正確さではGemma 4 12Bが優れていた。ネット上の数字は環境差が大きいため、1台の実機で揃えて比べる方法に価値がある。
  • LM Studioの4モデルをVRAM 16GBで測った：最速はgpt-oss、日本語校正はGemma 4 12Bが正確 — Zenn LLM
• 125B級MoEのQwen3.8-Flash-Nextを専用エンジンStrataの4bit版で動かす検証では、RAMを80GB（32GB×2＋8GB×2）に増設して挑んでいる。ローカルLLMの熱狂が実用に見合うかを、家庭用環境で確かめる記録である。
  • ローカルLLMは本当に騒がれてるほどか？ Qwen3.8-Flash-Nextの4bit版を家で動かして確かめた — Zenn LLM

エンベディングと古典的分類器の再評価

• 「Jev」のような決定モデルに対し、オープンソースや安価なエンベディングにsklearnの単純モデルを載せ、自前ラベルで学習する古典的手法のほうが安く、ほぼ常に精度が高かったという報告があり、Jev比で37%の誤差削減とされる。ラベル付きデータがある実務では、個別化できる軽量構成が有利になる。
  • 旧来型の分類器は、今でも概ねJevより優れている — Reddit r/MachineLearning
• EmbeddingGemmaを使い、顧客申告を1カテゴリーに決めず、スコアで按分して数える方法が示された。国交省の自動車不具合情報では、1件ずつの正解率が79%の判定機でも、件数のずれが単一カテゴリー判定の144件から大幅に縮んだ。件数監視では個別精度より集計誤差を見るべきだという示唆がある。
  • 【EmbeddingGemma 2】お客様の申告の件数を、判定の確率で按分して数える — Zenn LLM

エージェント設計と評価の方法論

• 役割別サブエージェント分割と、単一ループに統合して段階的にスキルを開示する設計を、隔離サンドボックスVMで同一モデル・同一課題（非公開テスト20ケース）によりA/B比較した。流行の設計パターンを定量検証するシリーズの一編である。
  • AIエージェントの「役割別サブエージェント分割」vs「単一ループ統合＋段階的スキル開示」を実機サンドボックスでA/B検証 — Zenn LLM
• 論文「Memory Tax」（arXiv:2610.34073、UIUCや清華大学などの著者による査読前プレプリント）は、要約や整理を行う高度なエージェントメモリが、素のRAGに負け得ることを論じる。メモリ機構の純価値を分解して見る視点が示された。
  • AIエージェントの高度なメモリは、素のRAGに負ける？ 要約と整理が払う「メモリ税」とは — Zenn LLM
• 音声AIの割り込み品質評価では、観測可能な事実（停止後に音声が残っていないか等）はコードで固定し、曖昧な会話評価だけをLLMで絞り込み、リリース可否は人が握る設計が提案された。文字起こしだけをLLM-as-a-Judgeに渡すと、もっともらしい説明付きで誤判定し得るためである。
  • 音声AIの割り込み品質をLLM-as-a-Judgeに丸投げしない評価設計 — Zenn LLM
• AI生成コードを読むべきか、抽象化設計でどう品質を担保するかを扱う登壇資料が公開された。E2Eテストの管理コストを下げる実践も別資料で共有されており、AI時代の開発では品質保証の設計が焦点になっている。
  • AIが生成したコードは読むべきか？抽象化設計とコードの品質保証 — はてなブックマーク IT
  • E2Eってつらくないですか？E2Eの管理コストを下げる手段とその実践 — はてなブックマーク IT

AIエージェントのセキュリティと隔離

• 2026年10月1日に能動的サイバー防御の主要部分が施行された日本の文脈で、AIエージェント環境の防御は「正常は人が定義・強制し、そこからの逸脱をAIが見張る」二段構えになると整理された。AIは正常を定義できないため、正常の保守と検出器自体の防御は設計者の責任になる。
  • AIエージェントのセキュリティ：異常検知は作れる、でも“正常の保守”と検出器の守りは自分で設計するしかない — Zenn LLM
• AIチャットの画面がエラーになった試行でも、内部では架空顧客データ4件が取得されていた。画面のエラーだけで権限のない情報へのアクセスが防げたと判断できないことを、ツール呼び出しの検証記録から示している。
  • AIチャットはエラー。それでも内部では4件取得されていた――ツール呼び出しの検証記録 — Zenn LLM
• ローカルLLMエージェント（Hermes）をWindowsのAppContainerに入れ、DNSまで塞ぐ検証では、ネットワーク権限なしのコンテナからの問い合わせはDNS Clientに拒否された。一方で、ループバックの例外が全ポートを開けていたことも判明している。
  • ローカルLLMのエージェントをAppContainerに入れてDNSまで塞いだ。ループバックの例外は全ポートを開けていた — Zenn LLM
• オープンソースのAIペンテストツールARTEXを、わざと脆弱なWebアプリに向けて実行し、攻撃が守る側のログにどう残るかを観察した。127.0.0.1内で完結させた検証で、防御側の可観測性を確かめる視点がある。
  • AIペンテストツールARTEXの攻撃ログを防御側から見てみた — Zenn LLM
• 「天安門事件」「台湾独立」「水道水に毒物混入」といった危険とみなされるフレーズを大量にコードへ混入し、AIの安全対策を逆手に取って解析を妨害する手法が、セキュリティ研究者のveritas氏によって発見された。
  • AIのコード解析を妨害するために「天安門事件」「台湾独立」「水道水に毒物混入」などのフレーズを大量に混入させる手法が発見される — はてなブックマーク IT

AIの社会的受容と企業動向

• ケンタッキー大学の職員が、業務でのAI利用要求に対し宗教上の理由による免除を申請して認められ、ヒューマニストとして初の事例とされる。職場でのAI利用義務化が、信条の問題として制度上の論点になり始めた。
  • AIの利用を宗教的理由で免除された人間 — はてなブックマーク IT
• Anthropicの上場書類を解剖する動画では、営業黒字化を果たした一方で売上の大半を特定の領域に依存する構造や、人類の存亡に関わるリスクの記載が取り上げられた。タイトルでは134兆円規模のAI投資が国家予算超えと表現されている。
  • 【「134兆円」国家予算超えAI投資の賭け】アンソロピック上場書類が示す滅亡リスク【AI QUEST】 — はてなブックマーク IT

個人情報漏えいと認証強化

• 個人情報保護委員会によると、2026年4月1日〜10月16日に報告された不正アクセスによる漏えい（恐れを含む）の対象者は延べ約2億6000万人で、日本の総人口の2倍以上に相当する。
  • 不正アクセスによる漏えい人数、半年余りでのべ2億6000万人　日本人口の2倍超 — はてなブックマーク IT
• 楽天カードは3Dセキュアの固定パスワード認証を2027年2月から順次廃止し、ワンタイムパスワードへ統一する。現行の固定パスワード利用者は2027年1月31日までの切り替えを求められる。
  • 楽天カード、本人認証をワンタイムパスワードに統一　27年2月から順次 — はてなブックマーク IT
• 『神撃のバハムート』は、PHPの脆弱性対応のため10月21日から続いた緊急メンテナンスを10月29日に終了した。1週間以上に及び、複数世代にわたる大幅なバージョンアップを伴う大改修となった。
  • 1週間以上メンテだった『神撃のバハムート』、「PHP脆弱性」対応が無事完了 — はてなブックマーク IT

TLDRピックアップ（その他テック）

• 歌手の矢野顕子氏が、CDをiPhoneやPCに取り込む方法をXで質問し、専用レコーダーやiTunesなど多様な方法が寄せられた。
  • 歌手・矢野顕子氏「CDをiPhoneやPCに取り込む方法を教えてください」→専用レコーダーやiTunesなど様々な方法が集まる — はてなブックマーク IT

Googleが「Gemini 4 Carbon」を発表し、独立評価機関Artificial Analysisの新指標v5.0で首位に立った一方、Anthropicは上場申請書（S-1）を提出し、OpenAIは利用上限の倍増で対抗するなど、フロンティアラボの競争は資本市場を巻き込む段階に入った。Mistralは1兆パラメータ級モデルの重みを公開し、中国勢との差を残しつつもオープンモデルの選択肢を広げた。エージェントはGoogle Docs編集、Slack Code API、GitHub Copilot Automationsなど、既存の業務ツールの中へ組み込まれつつある。その裏で、Googleの検索広告の鈍化、Microsoftの約6万人規模の希望退職募集、NvidiaをめぐるスパイやDOJの調査といった、AIがもたらす経済・地政学上の負荷も表面化している。

フロンティアモデル競争とベンチマークの信頼性

• GoogleはGemini 4 Carbonを発表した。Artificial Analysis Intelligence Index v5.0で59点の1位とされ、Claude Opus 5.5(58)、GPT-6 Astra(57)、Argon(50)を上回る。サイバーセキュリティではSEC-bench Pro 88.2%、ExploitGym 54.8%、CWE-bench 71.0%を挙げている。
  • Gemini 4 Carbon: 次のフロンティアモデル — TLDR AI
  • GoogleがGemini 4 Carbonを発表、更新された難関ベンチマークで世界1位に返り咲くもアクセスは限定的 — TLDR
• Carbonのアクセスは「Fairwind Program」のサイバー防御担当者に限られ、一般提供はガードレール改善後となる。導入価格は入力100万トークンあたり2ドル、出力10ドル(キャッシュ入力は95%割引)で、導入期間後は4ドル/20ドルに戻る。VentureBeatによれば、Argonより幻覚率が高い項目もあり、専門業務では他社に劣る面がある。
  • GoogleがGemini 4 Carbonを発表、更新された難関ベンチマークで世界1位に返り咲くもアクセスは限定的 — TLDR
• Interconnectsは、独立評価機関が「1兆ドル市場の勝者と敗者を決める」存在になり、単一スコアへの集約にはトレードオフがあると論じる。Carbonの首位が評価基準の改定(v5.0)直後であることを踏まえると、ベンチマーク設計そのものが競争の一部になっている。
  • Artificial Analysis v5とベンチマーク作成者のジレンマ — TLDR AI
• GoogleはGenie 4も発表した。リアルタイム対話型シミュレーションの世界モデルで、ネイティブ音声を生成し、自然言語でカメラや天候を操作できる。当面は限定テスター向けで、Google AI UltraとGemini APIパートナーへ順次展開される。
  • Genie 4:リアルタイム対話型シミュレーションの新世界モデル — TLDR Design

オープンウェイトの動向:Mistralの1兆パラメータ級モデルとNVIDIAの音声モデル

• MistralはLarge 4(通称「Le Chonk」)の重みを公開した。1兆パラメータ級で、全工程を欧州で訓練したとされる。コーディングではオープン勢で最高水準と主張し、サイバーセキュリティ用途で「組織が自前で防御を管理できる」点を訴求している。
  • Mistralが1兆パラメータモデルの重みを公開、サイバーセキュリティを狙う — TechCrunch AI
  • パリのMistralが強力なコーディングモデル「Le Chonk」を公開、総合では中国勢に及ばず — The Decoder
• 独立テストでは高速で比較的安価だが、総合スコアは26点で、DeepSeek V4.1 FlashとGLM-5.3の32点に届かない。オープンウェイトの上位は依然として中国勢が占め、Mistralは欧州主権という付加価値で差別化する構図になる。
  • パリのMistralが強力なコーディングモデル「Le Chonk」を公開、総合では中国勢に及ばず — The Decoder
• NVIDIAはNemotron 3.5 Transcribeをオープンウェイトで公開した。40言語の書き起こし、31言語の翻訳、13言語での話者識別、最大1時間・8話者の録音に対応し、1つのチェックポイントで音声Q&Aまで扱う。Hugging Face Open ASR Leaderboardの英語部門でオープンウェイト首位とされる。
  • NVIDIA Nemotron 3.5 TranscribeとGranary v2 — TLDR AI
• ElevenLabsは強制アラインメントモデルCueを紹介した。文字単位のタイムスタンプを付け、1時間の音声を1秒未満で整列でき、ベンチマークの29言語すべてで比較対象より高精度だという。
  • Cueによる強制アラインメント:文字単位の音声タイミング — TLDR AI
• Qwenputerは、Qwen3.5 4BのGated DeltaNet層をRAMとして使い、重みの中にRISC-V CPUを埋め込む実験である。外部ツールなしにCやMicroPythonを実行する。作者は、隠れ推論によるCoT監視の回避や、改ざんできない組み込み監視といった応用も論じている。
  • Qwenputer:Qwen3.5の中で動く決定論的なRISC-V CPU — TLDR AI

OpenAI・Anthropicの攻防とAnthropicのIPO

• OpenAIは有料プランの利用上限を、Pro 100からPro 500まで倍増した。Pro 200の枠を削減する計画は、ユーザーの反発を受けて撤回された。TerraやSolといった効率的なモデルで実質的な利用可能量がさらに増えるとされる。AnthropicのIPO直前というタイミングで、B2B市場での主導権争いが背景にある。
  • OpenAI、Proプランの利用上限を倍増 Anthropicとの競争が激化 — The Decoder
• AnthropicはNasdaq上場に向けたS-1を提出した。The Vergeは、この書類を「計算資源に可能な限り投じることの財務的な正当化」と読み、同社を「神を作るか、さもなくば破滅か」の事業計画と評している。アナリストのインタビューでも、数字の裏にあるAGIへの賭けを投資家に信じさせる構図が論じられた。
  • Anthropicの事業計画:神を作るか、挑んで死ぬか — The Verge AI
  • AnthropicはウォールストリートにAGIを信じるよう求めている — The Verge AI
• 投資家向け財務によれば、Anthropicは第2四半期に営業黒字を記録し、純収益維持率は900%(2025年Q3の顧客支出が2026年Q3に9倍)に達した。同社はClaude Codeなどの支出対効果を見せるレポートツールとプール型の予算管理を投入した。データは既定ではモデル訓練に使わないとしている。Fortune 500の大半は大きな成果を得られていないとも指摘され、ROIの可視化が焦点になっている。
  • Anthropic、AI支出の成果を企業に示すツールを投入 — TLDR AI
• Anthropicの研究では、50人の専門家に、好みをコイン投げで決めたAIエージェントを与えた。判断を要する場面で最大86%エージェントの見解に従い、多くが結論を自分のものだと考えていた。エージェント普及に伴う意思決定への影響を示す結果である。
  • 専門家はAIエージェントのランダムな意見を自分のものと思い込む、Anthropic研究 — The Decoder

エージェントの業務ツールへの浸透

• GeminiでPDF、Google Docs、Sheets、スライド、Markdown、TXT、コードを直接生成・プレビュー・編集できるようになった。全ユーザー向けで、PDFはWeb・モバイル両対応、他の形式は一部環境に限られる。
  • GeminiのチャットでGoogle Docsファイルを直接生成・編集できるように — The Verge AI
• GoogleはConnected Apps Platformのプレビューを開始した。クラウドホスト型MCPサーバーまたはAppFunctions APIを介して、Search・Geminiアプリ向けのアプリを一元的に開発・管理できる。Adobe、Calm、Pelotonなどが新パートナーとなる。MCPが実質的な接続標準になりつつある。
  • Connected Appsを一か所で構築・管理 — TLDR AI
  • Ben Hylakの引用 — Simon Willison
• SlackのCode APIが一般提供となった。任意のカスタムエージェントがコードチャンネルを開き、人やファイルを加えて進捗を投稿できる。GitHub Copilotはエージェントセッションの30%でコードチャンネルを開くという。
  • Slack Code API:エージェントとチームのための1つのコードチャンネル — TLDR
• GitHubのCopilot Automationsは、結果から学んで自分のプロンプト改善を提案する。ラベル変更やコメント採否、PRのマージ状況がシグナルとなり、変更の適用前には人の承認が必要である。GitHub Universe 2026では、最も包括的なソフトウェア配信システムを目指す構想も示された。
  • Copilot Automationsが成果から学び自己改善するように — TLDR AI
  • GitHub Universe 2026:スタックのあらゆる層を進化させる — TLDR
• OpenAIは米国のProユーザー向けに、Dotエージェントへのテキスト送信をiMessage・RCS経由で提供し始めた。写真や音声メモも使え、エージェントから先に連絡もする。Linqと提携し、メモリはChatGPTと共有される。
  • OpenAI、Dotエージェントにテキストで指示できるように — TLDR AI
• 自律エージェントの運用事例も増えている。DecagonのAutoResearchは推論基盤を自己改善し、スループットを最大2.5倍にした。Mirendilの「Lor」は数百の並列ワーカーで数日間実験を回す。Simon Willisonは、Spawnのようなエージェント駆動のゲーム世界と、Claude Opus 5.5によるvibe codingでのゲーム設計の進歩を紹介している。
  • Decagon:自己改善する推論スタックの構築 — TLDR AI
  • Mirendil(@mirendil)のX投稿 — TLDR AI
  • 自律的なFableクラスモデルでマルチプレイヤーのゲーム世界を構築する — Simon Willison
  • vibeゲーム開発の10月の転換点 — TLDR

収益化・雇用・プラットフォームへの影響

• Googleの第3四半期は売上1276億ドル、クラウド307億ドルと堅調だったが、検索広告の伸びが鈍化し、株価は約10%下落した。Ars Technicaによれば、Googleは「AI検索は収益性が低い」と認め、広告を増やして補う方針である。フリーキャッシュフローはマイナス90.6億ドルに膨らんだ。
  • GoogleはAI検索の稼ぎが少ないと認め、広告増で補う — Ars Technica AI
  • 検索収益の伸び鈍化でGoogle株が10%下落 — TLDR
• RedditはAIで検索流入が細るなか、ログイン前提の体験へ移行する。同時に「For You」と「Following」の二本立てフィードを導入し、推薦主導の設計に寄せる。
  • 検索トラフィックが枯れる中、Redditはログイン型体験へ移行 — TechCrunch AI
  • Redditも「For You」フィードを採用 — TLDR
• Microsoftは米英カナダなどの約6万人の従業員に希望退職を提示した。The Vergeは、Nadella氏の発言が示してきたAIによる人員規模の変化が具体化したと見る。建設会社の福地組が見積書処理を10〜15分から約1分に短縮した事例のように、現場でも業務効率化が進む。
  • MicrosoftのAI未来は雇用が減る — The Verge AI
  • 見積書100枚超をどうさばく?「半日仕事」を約30分にした建設会社のAI活用 — ITmedia AI+
• メモリ価格にも波及している。AIハイパースケーラーの需要でフラッシュメモリ価格が5倍になり、Appleが部材調達で不利な立場に置かれている。
  • AppleにリベンジするTHE苦境のチップ販売業者たち — TLDR

資金調達・M&A・規制・地政学

• OpenAI系のThrive HoldingsがADTを153億ドルで買収する。ホームセキュリティ事業にAIを持ち込む計画で、AI投資がレガシー産業の買収に向かう動きを示す。
  • OpenAI出資のThrive HoldingsがADTを買収 — TechCrunch AI
• 資金調達では、パーソナルエージェントのWabiが5500万ドルを調達し、評価額は12.5億ドルになった。元Palantir幹部のDreamはa16zから1700万ドルを得て、1億平方フィート超の許認可データで学習した建設向け世界モデルを開発する。RivianはVWとの58億ドル規模の合弁にAIアシスタントを加えた。
  • ミニアプリを作るAIエージェントWabi、評価額12.5億ドルに — TechCrunch AI
  • 元Palantir幹部がDreamを設立、a16zから1700万ドル — TechCrunch AI
  • RivianがVWとの合弁にAIアシスタントを拡大 — TechCrunch AI
• 米司法省は、NvidiaのHugging Face買収計画と販売慣行を調査している。NvidiaがオープンソースAIの中核プラットフォームを握ることへの警戒が背景にある。
  • 米独禁当局、NvidiaのHugging Face取引と販売慣行を精査 — The Decoder
• NYTによれば、米当局はJensen Huang氏の周辺人物が中国の情報提供者だった疑いで調査した。対象は、Nvidiaチップを中国へ違法販売した疑いのあるシンガポールのAIクラウド企業の幹部である。トランプ大統領は工場用ロボットの輸入を国家安全保障上の脅威と宣言し、通商協議と関税を示唆した。
  • 米国、NvidiaのCEOを狙った中国のスパイ工作を調査 — TechCrunch AI
  • 中国のスパイがNvidiaのJensen Huang CEOを標的に、NYT報道 — The Decoder
  • トランプ氏、ロボット輸入を国家安全保障上の脅威と宣言 — Ars Technica AI

コンシューマー向けAIアプリの実験

• Metaは、Instagramの写真から仮想クローゼットを作るAIファッションアプリ「Style Sketch」と、フィリピンで先行公開したたまごっち風アプリ「Waddle World」を投入した。後者は18歳以上向けで、チャットボットではなくストリークもない設計であり、AIコンパニオンをめぐる訴訟を意識した慎重な姿勢がうかがえる。
  • MetaがAIファッションアプリ「Style Sketch」をひっそり公開 — TechCrunch AI
  • MetaのAIペットアプリ「Waddle World」 — TLDR AI
• 音声AI市場では、Wispr がミーティングノートを加えたのに対し、Granolaが議事録アプリに音声入力を追加して競合した。NYT CookingはAIによるレシピ改変機能をテストし、利用者の間で議論になっている。
  • Granola、Wisprに対抗して音声入力機能を追加 — TechCrunch AI
  • NYT CookingアプリがAIによるレシピ改変をテスト — The Verge AI

TLDRピックアップ(その他テック)

• Appleがタッチスクリーン搭載のMacBook Proを発表した。PROLED XDRディスプレイ(2,000ニト、コントラスト比10,000,000:1)とM5 Pro/Maxを備え、価格は2,899ドルから。発売は11月6日である。
  • Apple、OLEDディスプレイのタッチスクリーンMacBook Proを発表 — TLDR
  • Apple、新しいタッチスクリーンMacBook Proを発表 — TLDR Design
• CircuitHubの「The Grid」は、基板を1枚ごとに異なる経路で製造する工場規模のロボットで、深圳のクイックターン工場の半分の時間で作れるという。
  • CircuitHub - The Grid:深圳の2倍速で作る米国製PCB — TLDR
• Virgin Galacticの新型機Apeironがアリゾナからニューメキシコへ移送された。初の商業宇宙飛行は2027年第2四半期前半の見込みである。
  • 宇宙旅行の最後の希望がアリゾナの滑走路に登場 — TLDR
• 複数のPDF実装で、AES-256の鍵が小さな状態空間から生成されていた。MuPDFでは実質9ビットしか影響せず、パスワードなしで復号できる恐れがある。
  • 9ビットAES鍵の事件 — TLDR
• Lexifinaは、米国法典の改正履歴を再生してGitのように任意の日付の条文と出所を追える仕組みを公開した。
  • 米国法典のためのGit — TLDR
• turbopufferの事例を通じ、少人数でも大規模で高収益な会社を築ける時代像を描くエッセイが話題になっている。別の投稿では、AIの使いすぎ(slop)に陥る危険を論じている。
  • The Sane Asylum — TLDR
  • Karpathyピークを追いかけて(そしてスロップの崖から落ちる) — TLDR
• デザイン分野では、ADHD向けの設計パターン、カスタマイズ可能なHTML selectの活用、文化ごとに異なる「良いデザイン」の再考などが紹介された。ソフトウェアファクトリーに設計工程を組み込むワークフローも提案されている。
  • ADHDの人のためのデザイン — TLDR Design
  • selectは何かを伝えるべき — TLDR Design
  • 万能なサイズはない:文化を越えて「良いデザイン」を考え直す — TLDR Design
  • ソフトウェアファクトリーはデザインを忘れていた — TLDR Design
  • struggle together — TLDR Design
• 制作ツールでは、画像・動画・タイポグラフィ・音のエフェクトスタジオLadybug、AIエージェント向けのオープンソースCADプラグインtext-to-cad、アニメーションする構成図をコードで書くMarkdyが登場した。
  • How did you make this? — TLDR Design
  • text-to-cad | AIで物理製品を設計 — TLDR Design
  • Markdy - コードとして書くアニメーション構成図 — TLDR Design
• Google Photosはピン留めと並べ替えができるCollectionsタブを展開している。ブランド事例としては、NYTの創刊175周年アイデンティティ、降霊会から始めたPurple Gardenのリブランド、Tumblr風の手作りサイトを持つBound Agency、Stefan Sagmeisterの展覧会が挙がっている。
  • Google Photos、カスタマイズ可能な「コレクション」タブに刷新 — TLDR Design
  • NYTは創刊175周年でアイデンティティ、イベント、キャンペーンを展開 — TLDR Design
  • Mother DesignはPurple Gardenのリブランドを降霊会から始めた — TLDR Design
  • このクリエイティブエージェンシーのサイトは2000年代のTumblr風 — TLDR Design
  • Stefan Sagmeisterの作品がグローバルデータをグッドニュースに変える — TLDR Design

AIエージェントの「ハーネス」（モデルを取り巻く実行・オーケストレーション層）が競争の主戦場になりつつあることが、この日の最大の動きです。Microsoftは社内全体で採用するマルチモデル対応のCopilot harnessをFoundry経由で提供し、GitHubはモデルを自動で選択・協調させるCopilot Fusionを一般提供しました。研究側でも、モデルを固定したまま外部レイヤーを学習するHermitが公開されています。また、音声分野ではBlockのDessa、AssemblyAIのTTS API、NVIDIAのNemotron 3.5 Transcribeと、全二重対話・低価格API・オープン文字起こしモデルが同時に出ました。インフラ面では、MoE学習カーネルの高速化やAIエージェント時代のCI、低コストの判断モデルなど、エージェントの大量運用を支える基盤の整備が進んでいます。

エージェントのハーネスとマルチモデル・オーケストレーション

• Microsoftは、GitHubのエンジニアリングチームが構築したマルチモデル対応のCopilot harnessを社内全体で採用し、Microsoft Foundry経由で提供開始した。Copilot Code、Copilot Studio、GitHub Copilotアプリ、CLI、VS Codeなどを支える基盤で、推論・ツール利用・長時間タスクをこなすエージェントをフルマネージドで構築できる。「モデルが知性を担い、ハーネスはその周囲すべて」という位置づけで、モデルを替えてもハーネスやスタックを変えずに済む点を訴求している。
  • Microsoft Copilot harnessの紹介：真のマルチモデル型エージェント業務の可能性を解放 — TLDR AI
• GitHub Copilot Fusionが一般提供となった。ユーザーはモデルを選ぶ代わりに「システム」を選び、プロンプトごとにどのモデルをどう協調させるかをCopilotが決める。Project HydraFusionのマルチモデル・オーケストレーションと、Copilotの自動モデル選択を統合したものである。
  • GitHub Copilot Fusionでモデルをルーティング・オーケストレーション — TLDR AI
• GitHubの公表では、Artificial Analysis Coding Agent IndexでCopilot Fusion Maxは60点を記録し、Claude Code with Opus 5.5 Maxに2点差まで迫った。タスクあたりの平均APIコストは約半分、トークン使用量も約半分、所要時間は約40%短縮だったという。性能を保ちつつコストを抑えるルーティングの有効性を示す、ベンダー自身の数値である。
  • GitHub Copilot Fusionでモデルをルーティング・オーケストレーション — TLDR AI
• Fusionにはエフォートレベル（Standard：日常的なコーディング向けの汎用モデル重視、Highなど）があり、管理者は利用可能なモデルやFusionを既定にするかを制御できる。企業導入を意識したガバナンス機能が最初から備わっている。
  • GitHub Copilot Fusionでモデルをルーティング・オーケストレーション — TLDR AI
• Infini-AI-Labが公開したHermit（Apache-2.0）は、エージェントのモデルとハーネスを変更せず、指示・スキル・メモリ・ツールからなる外部レイヤーをタスクのフィードバックから学習させるアダプターフレームワークである。MicrosoftやGitHubが「ハーネス自体を製品化」するのに対し、Hermitは「ハーネスの外側を最適化する」アプローチであり、閉じたハーネスにも適用しやすい。
  • Infini-AI-Lab、AIエージェント向けオープンソースのハーネスアダプターHermitを公開 — MarkTechPost

エージェント時代の開発・学習インフラ

• VercelはVercel CIをベータ公開した。コーディングエージェントがPRを大量に出すとCIが待ち時間のボトルネックになるため、変更の影響を受けるタスクだけを実行し、必要な計算資源だけを確保する設計とした。Vercel社内ではgit pushから「CI passed」までの時間が2〜6倍高速化したという。
  • Vercel CIの紹介 — TLDR AI
• Vercel CIはTurborepoのturbo.jsonを読んでタスク依存関係を把握するため、別途ワークフローYAMLを書く必要がない。"tags": ["ci"]を付けるだけで開始でき、Remote Cacheは既定で有効である。入力が変わらないタスクはキャッシュから返し、残りはVercelの計算基盤Hive上で個別のマシンで実行する。単一パッケージのリポジトリでも使える。
  • Vercel CIの紹介 — TLDR AI
• Prime IntellectはPrime Mega MoEを公開した。DeepSeekの融合Mega MoEカーネルに逆伝播（backward pass）を実装して学習可能にしたもので、順伝播は3.11倍高速化し、prime-rlでのQwen3 MoEの学習ステップは最大34%速くなる。推論向けに作られた最適化カーネルを学習側へ広げた点が特徴である。
  • Prime Intellect、学習可能な融合MoEカーネルPrime Mega MoEを公開 — MarkTechPost
• Basetenのjoey-1は、テキストではなく較正済みの確率を返す2Bパラメータのオープンウェイト「判断モデル」である。P50レイテンシは20ms、入力料金は100万トークンあたり$0.01。エージェントの分岐判断やルーティングを、大型LLMを呼ばずに安価・高速に処理する用途が想定される。
  • Baseten、100万トークン$0.01の2B判断モデルjoey-1を公開 — MarkTechPost

音声AIの多面展開：対話・合成・文字起こし

• BlockのAIラボが発表したDessaは、人間の会話音声だけで学習した全二重（full-duplex）の音声対音声モデルである。MacBook Pro M4 Maxでローカル実行できるとされる。一方で、モデルサイズ、ベンチマーク、重みはいずれも未公開で、現時点では実力を検証できない。
  • Block、音声のみで学習した全二重音声モデルDessaを発表 — MarkTechPost
• AssemblyAIは初のTTSモデルAssemblyAI-TTS-1を、ボイスエージェント向けAPIとして公開した。料金は100万文字あたり$15で、契約なしで無制限の同時接続に対応し、公開時点で6言語をサポートする。文字起こし事業からの拡張により、聞く・話すを同一ベンダーで提供できる体制になる。
  • AssemblyAI、ボイスエージェント向け100万文字$15のTTS APIを公開 — MarkTechPost
• NVIDIAのNemotron 3.5 Transcribeは、総計約30BのMoE構成で、アクティブパラメータが4.3Bのオープンウェイト音声LLMである。40言語の文字起こしに対応し、話者ラベルと単語タイムスタンプも付与できる。English Open ASR Leaderboardでの平均WERは4.71%である。
  • NVIDIA、約4Bアクティブの30B MoE文字起こしモデルNemotron 3.5 Transcribeを公開 — MarkTechPost