2.8兆
Kimi-K3の総パラメータ数（活性化104億）
748,000
Volvo/Eicherの脆弱性で影響を受けた顧客数
2,475
Bunの Rust書き換えで未マージのまま残るPR数
🔥 Top Stories
Moonshot AIは中国発のAI企業で、これまでKimiシリーズのモデルを段階的に大規模化してきた。7月27日、その最新版として「Kimi-K3」をHugging Face上でオープンウェイト公開した。総パラメータ数は2.8兆、うち1トークンあたりに活性化するのは104億パラメータで、896個のエキスパートから16個を選択的に呼び出すMixture-of-Expertsアーキテクチャを採用する。93層のネットワークには独自のアテンション機構Kimi Delta AttentionとGated MLAを組み合わせ、コンテキスト長は100万トークンに達する。画像理解にはMoonViT-V2という専用エンコーダを内蔵し、テキストだけでなく画像入力にもネイティブ対応するマルチモーダル設計になっている。ベンチマークでは、推論性能を測るGPQA Diamondで93.5点、コーディング能力を測るTerminal-Bench 2.1で88.3点、エージェント的なウェブ探索タスクを評価するBrowseCompで91.2点、視覚理解のMMVUで82.1点を記録した。開発陣は前世代モデルと比較して「スケーリング効率が2.5倍に向上した」と主張し、本モデルを「世界初のオープンな3兆パラメータ級モデル」と位置づけている。ライセンスはKimi K3 Licenseという独自条項で、研究・商用の両方でウェイトとコードが利用可能とされる。
🧠 実測ベンチマーク4種の数字は具体的で、Terminal-Bench 2.1の88.3点はコーディングエージェント用途として実用域にある。ただし「スケーリング効率2.5倍」や「世界初の3兆パラメータ級」といった比較優位の主張は開発元の発表に基づくもので、第三者による再現評価はまだない。896エキスパート中16個だけを呼び出す設計は推論コストを抑える一方、実運用でのレイテンシやAPI提供時の価格がどう出るかは未知数だ。
- 総パラメータ2.8兆のうち活性化は104億、896エキスパートから16個を選択するMoEアーキテクチャ、コンテキスト長は100万トークン
- Terminal-Bench 2.1で88.3点、GPQA Diamondで93.5点、BrowseCompで91.2点、MMVUで82.1点を記録
- MoonViT-V2エンコーダによるネイティブ画像理解を搭載、独自ライセンスKimi K3 Licenseでウェイト・コードを公開
💡 1Mトークンのコンテキストと2.8兆パラメータ級の推論力をオープンウェイトで使えるため、自前でホストして大規模コード解析やエージェント基盤を構築したい開発者には有力な選択肢になる。
Hugging Face
⏱ 6 min read
2026-07-27
▲ 1266
研究者が調査したVolvo・Eicherグループのフリート管理プラットフォームでは、/cepauthmgr/user/という未認証で到達可能なエンドポイントから内部APIを列挙でき、そこから顧客・車両の全リストや2021年以降に発行された250万件のOTP、7.6万件のAadhaarカード・運転免許証データにアクセスできた。OTPやパスワードリセットAPIを使えばアカウント乗っ取りも可能で、他人の車両を遠隔操作できる状態だったという。研究者は2025年11月3日に報告し、主要な脆弱性は同月20日に修正されたが、その後追加報告した問題への応答はなく、詳細は7月27日に公開された。
- 未認証エンドポイント/cepauthmgr/user/からAPIを列挙でき、74.8万顧客・67.6万台の車両情報に到達可能
- 2021年以降発行の250万件のOTPと7.6万件のAadhaarカード・運転免許証データが閲覧可能な状態だった
- 2025年11月3日に報告、主要な脆弱性は同20日に修正されたが追加報告分は未対応のまま7月27日に公開
💡 フリート管理SaaSを導入している事業者は、ベンダーの認証設計を信頼するだけでなく、自社アカウントのOTP発行履歴や権限範囲を定期的に監査する必要がある。
eaton-works.com
⏱ 7 min read
2026-07-27
▲ 107
BunチームとAnthropicは5月、Rust版Bunの書き換えを5月3日から14日までの11日間、Claude API利用料16.5万ドルで完了したと発表していた。しかし7月27日時点の調査では、mainへのマージから11週間が経過してもリリースタグは1つも切られておらず、Claude生成コードを送る「robobun」名義のオープンPRは2,475件に達する。現在のマージ速度(1件あたり平均40分)のままでは、残りを処理し終えるのに86日間ノンストップでCIを回し続ける計算になる。著者は16.5万ドルという数字にBuildkiteのインフラ費用やAnthropic社員の直接関与、公開後も続くAPI利用料が含まれていない点も指摘する。
- 公式発表は5月3日〜14日の11日間・Claude API利用料16.5万ドルで完了としていたが、7月27日時点でリリースタグは1つも存在しない
- 「robobun」名義のClaude生成PRが2,475件未マージで残存、現在のマージ速度(1件平均40分)では処理完了に86日間かかる計算
- 16.5万ドルという公表コストにはBuildkiteインフラ費用やAnthropic社員の直接関与、公開後も継続するAPI利用料が含まれていないと著者は指摘
💡 「AIによる書き換えがX日で完了」という発表は、マージ後の安定化コストを含んでいないことがある。同種の発表を評価する際は、リリースタグやCI状況など検証可能な指標で裏付けを確認すべきだ。
lockwood.dev
⏱ 5 min read
2026-07-27
▲ 419
⚡ Dev & Engineering
MicrosoftはMAI-Thinking-1系譜から派生した、コード脆弱性の発見に特化した軽量モデル「MAI-Cyber-1-Flash」を発表した。100以上のエージェントと複数の主要モデルを組み合わせて脆弱性を発見・検証・修復する自社基盤MDASHに統合すると、業界標準ベンチマークCyberGymで95.95%(競合Mythosに対して+12ポイント)を達成し、従来の大型モデルのみの構成に比べてコストを50%削減できるという。日常的なタスクの約9割を軽量モデルが処理し、残る1割の複雑な事案だけ上位モデルに回す設計になっている。
- CyberGymベンチマークでMDASH+MAI-Cyber-1-Flashの組み合わせが95.95%を達成、競合Mythosに対し+12ポイント
- 大型モデルのみの旧構成比でコストを50%削減、日常タスクの約9割を軽量モデルで処理し複雑な1割だけ上位モデルに回す
Microsoft AI
⏱ 3 min read
2026-07-27
▲ 197
.NET MAUIは従来、WindowsとMacがCoreCLR、iOS/AndroidはMonoという構成だったが、7月24日公開の.NET 11 Preview 6でモバイル側もCoreCLRに統一された。iOSとMac Catalystでは性能改善が見込まれる一方、Androidは起動時間・アプリサイズとも変動幅が約10%に留まるという。マイクロソフトは開発者に対し、この移行による互換性を実機で検証するよう呼びかけている。.NET 11の正式リリースは今秋を予定し、以降Monoが残るのはBlazor WebAssembly実装のみになる。
- 7月24日公開の.NET 11 Preview 6で、iOS/Android向けMAUIランタイムがMonoからCoreCLRへ完全移行
- iOS/Mac Catalystは性能改善が見込まれる一方Androidの変動は約10%、正式版.NET 11は今秋リリース予定
Publickey
⏱ 3 min read
2026-07-23
Stephen WolframはA New Kind of Scienceの枠組みを使い、ソフトウェアのバグを形式的に捉え直すエッセイを公開した。プログラムをルールベースの計算システムとみなすと、「意図した挙動」と「実際の挙動」の乖離は、しばしば計算不可能性(実行してみるまで結果を予測できない性質)に起因すると論じる。単純なルールから複雑で予測不能な挙動が生まれる「計算的還元不可能性」の概念を援用し、バグの完全な事前検出が原理的に不可能なケースがあることを指摘する。
- 計算的還元不可能性の概念を使い、一部のバグは実行前の静的検証では原理的に検出できないと論じる
- A New Kind of Scienceの枠組みでプログラムをルールベース計算システムとして再定式化
Stephen Wolfram
⏱ 6 min read
2026-07-27
▲ 59
GoogleはCAPTCHA型の対策システム「SearchGuard」を回避してGoogle検索結果をスクレイピングしたとして、SerpAPIをDMCA第1201条(アクセス制御回避禁止)違反で提訴していた。連邦地裁は請求を棄却し、「検索結果の大半に著作物が含まれない以上、SearchGuardが著作権法上の著作物へのアクセスを実効的に制御しているとは言えない」と判断した。SerpAPI経由のデータはPerplexityなどAI企業にも利用されていた。Googleはナレッジパネル内のライセンス画像など、著作物性が明確な部分に限定した狭い訴えなら再提出できる余地が残る。
- DMCA第1201条によるGoogleの請求を連邦地裁が棄却、「検索結果の大半は著作物を含まない」ため実効的アクセス制御に当たらないと判断
- Googleはナレッジパネルのライセンス画像など著作物性が明確な部分に限定すれば再提訴の余地が残る
Techdirt
⏱ 4 min read
2026-07-27
▲ 170