AI・LLM

atopile が公開した EEBench は、AI が設計した回路をシミュレーションで採点するベンチマーク。9月8日時点の首位は GPT-6 Astra の69.3%。何をどう測っているのかを一次情報で整理します。

1995年に証明された定理を、Claude が11日で Lean に書き直した。約1,300万行・29,511定理。すでに正しいはずの証明を、なぜ機械で検証し直すのか——その意味と限界を一次情報で整理します。

OpenAI が9月3日に GPT-6 Astra を公開。KiCad で基板を配線するデモ、サイバー能力の初の Critical 認定、Fable 5.1 と同額の価格を、公式3ページの一次情報で整理する。

Anthropic が2026年9月1日に Claude Fable 5.1 と Mythos 5.1 を公開。目玉はキャッシュ読み取りの75%引き下げ。5から5.1で何が動き、何が動かなかったのかを公式資料で追う。

Tencentが8月28日、次世代LLM「Hy4 preview」をオープンウェイト公開。総770B・1トークンで動くのは49BのMoEで、コンテキストは100万トークン、ライセンスはApache-2.0。旧Hunyuanの独自ライセンスから何が変わったのか、価格と「自分の推論を自分で最適化した」という主張を一次情報で整理する。

AI エージェントが物理機器を安全に操作する共通規格「Model Hardware Standard（MHS）」を Anthropic が2026年8月27日に公開した。read/write のプリミティブで作るドライバ、安全上限つき参照ファイルの自動生成、MCP との関係を一次情報で整理する。

OpenAI が SpaceX に対し、Cursor へのモデル提供契約を終了する意向を通知した。停止の提案日は2026年11月12日。支配権変更条項・Astra・自前 API キーで残る範囲を一次情報で整理する。

The Information が2026年8月26日、NVIDIA が Hugging Face を129億ドルで買収することに合意したと報じた。ただし引用元は関係者1名で、両社のコメントも SEC 提出書類も出ていない。オープンモデル配布の中枢をめぐる報道を、確定した事実と分けて整理する。

NVIDIA が OpenAI のオハイオ州データセンターに最大1050億ドルの残価保証を出した。SEC 提出資料を読むと、保証が効き始めるのは建物が完成したあとで、建設中は対象外という設計になっている。確定した事実と報道を分けて整理する。

Z.aiが8月14日に公開したコーディング特化モデルGLM-5.3が、269のOSSプロジェクトから2,436件の脆弱性を検出したという。事前学習をやり直さず事後学習だけで性能を伸ばした点と、脆弱性を直す枠組みとしてLinux Foundationが発足させたAkritesを整理する。

Anthropicが8月10日、研究版Claudeが「リーマン予想を満たすと証明された零点の割合」の下限を41.6%から67.2%へ引き上げたと発表。約60のサブエージェントが約1日半で650の失敗を積んで突破し、Lean形式証明も公開済み。証明ではなく未査読だが、AIが数学の前線を押した記録だ。

GitHub Copilotのモデルピッカーに、Moonshot AIのオープンウェイトモデルKimiが並んだ。Kimi K2.7 Code（ピッカー初のオープンウェイト）から8月6日のKimi K3 GAまでを公式changelogで確認し、既定で有効化されない管理ポリシーと料金を整理する。

政府が自衛隊の指揮統制に国産AIを導入する方向で検討と読売新聞が報道。有力とされるSakana AIは防衛装備庁の委託研究をすでに受託している。進化的モデルマージなどの技術的特色と「主権AI」の世界的文脈を、報道と一次情報を区別して整理する。

X が Creator Revenue Sharing を2026年9月7日で終了し、Original Content Rewards Program へ移行する。自動化（AI）やコピペで量産した薄いコンテンツは対象外で、自分の声や専門性を反映した『オリジナル』が評価される。9月8日から申請制。

DeepSeek が V4-Flash-0731 を公開し API を公開ベータ化した。総2840億パラメータのうち1トークンで動くのは130億のスパースMoEで、価格は入力$0.14・出力$0.28（100万トークン）。なぜここまで安いのか、安価モデルとフロンティアの使い分けを整理する。

SpaceXAI（旧 xAI）がターミナル型コーディングエージェント「Grok Build」を Apache-2.0 で公開。何がオープンで何がそうでないか、公開直前のデータ送信問題も含め、Claude Code・Codex・Gemini CLI との位置づけを一次情報で整理する。

Moonshot AI が公開した総パラメータ2.8兆・活性104億の巨大MoE「Kimi K3」を、生い立ち・性能・強み・懸念・使い方まで、公式情報にもとづきエンジニア目線で整理する。

2026年夏に出そろった Claude 5系・GPT-5系・Gemini 3系の現在地と、「答えるAI」から「行動するAI」への潮流を、公式情報にもとづきエンジニア目線で整理する。

Anthropic の Levent Alpöge 氏が Claude Fable 5 で得たヤコビアン予想の反例。Lean 形式化は CI を通過したが、査読論文もプレプリントもない。反例は3変数の多項式写像で、2変数の場合は未解決。何が機械的に検証され何が未確認かを一次情報だけで整理する。

Anthropic の最上位モデル Claude Fable 5 は、公開3日後の2026年6月12日に米政府の輸出管理指示で停止され、6月30日の解除を経て7月1日に再展開された。何が確認できていて何が確認できていないのかを、公式発表と公式ドキュメントだけを根拠に整理する。

Googleが Anthropic に最大400億ドルを出資。Amazon 250億ドルと合わせ1週間で最大650億ドルが動いた。「出資金がクラウド使用料として還流する」Round-tripping 構造、独禁法回避の設計、5GW=GPU200〜400万基の規模感をエンジニア視点で解剖する。

6年間続いたAzure独占が終わった。OpenAIはAWS Bedrockでも使えるようになり、Microsoftへの収益分配は2030年まで、IPライセンスは非独占で2032年まで。Stargate・上場準備・Anthropicとの競争――この「独立宣言」を技術者視点で解剖する。

2026年4月21日、Google「Gemini in Chrome」が日本を含むアジア太平洋地域に拡大。複数タブ横断検索・YouTube要約・Gmail連携・ブラウザ自動操作（Auto Browse）まで実装されたブラウザ統合AIの全機能と、エンジニアが注目すべき技術設計の要点を整理する。

.mapファイルの設定ミス1行で、Claude Codeの51万行のソースコードが2026年3月31日に流出。未公開プロジェクト「KAIROS」「ULTRAPLAN」「Undercover Mode」の設計思想が明らかになった。何が漏れて何が漏れなかったのかをエンジニア視点で整理する。

マイクロソフトが日本へ総額100億ドル（約1兆6000億円）を投資。「ソブリンAI」というキーワードが示す国家安全保障との接続、さくらインターネット株が20%急騰した理由、「100万人育成」の実態をエンジニア視点で読み解く。

楽天が約7,000億パラメータLLM「Rakuten AI 3.0」をApache 2.0で無償公開。しかし後にDeepSeek V3のファインチューニングモデルであることが発覚し、ライセンス問題・透明性・GENIAC補助金との整合性で論争に。技術と騒動の両面を解説。

DeepSeek・Moonshot AI・MiniMaxが24,000件の偽アカウントで1,600万件超を不正取得。「蒸留攻撃」って何？なぜ違法？何がOKで何がNGか——素人にもわかる解説と、エンジニアが知っておくべき法的リスクを徹底整理。

竹中工務店がデータセンター設計期間を数カ月→2〜3週間に短縮するAIツールを発表。PUE・HBM・液浸冷却という技術の核心から、メモリ価格が下がらない構造的理由、エッジAI台頭による業界転換点までを読み解く。

2026年ダボス会議で、イーロン・マスク氏が人型ロボット『Optimus』の2027年一般販売を明言。人類の数をロボットが上回る時代の幕開けを、技術的視点から読み解く。

OpenAI の「ChatGPT Health」は、汎用LLMの「ハルシネーション」と「コンテキスト汚染」に対するアーキテクチャレベルの回答だ。通常のチャットと分離したサンドボックス、医療ドメイン特化のガードレール、「推論と診断の分離」を技術者視点で読み解く。

AI時代に生まれる7つの新職種を、Yijin Hardware CEO ギャヴィン・イー氏の分類にそって整理する。出発点はマッキンゼーの「2030年に最大8億人が職を失う」予測。プロンプトエンジニアから AI 倫理責任者まで、変化の時代をどう生き抜くかを考える。