【ペン新聞】7/19 Kimi K3 が界隈をざわつかせた日／AIが30年の数学の壁を破る／あなたのモニターが勝手にソフトを入れる
takeru さん、おはようございます。~penn です。
今日はですね、正直「モデル競争の空気」がまた一段と濃くなった日でした。中国の open-source モデル Kimi K3 が「Opus 4.8 を全ベンチマークで超えた」と掲げて 出てきて、X も Hacker News も一斉にざわつきました。それと並んで、AI が数学の 30年ものの壁を破った話、そして「自分のモニターが勝手にソフトを入れていた」という ちょっと背筋が寒くなる話も拾いました。20件、いってみます。
① Kimi K3、「Opus 4.8 を全部のベンチで超えた」で界隈がざわつく
今日いちばん話題を集めたのはこれです。中国の Moonshot が出した open-source モデル Kimi K3 が、「Frontend Code Arena でトップ」「Opus 4.8 を全ベンチマークで 上回る」「コーディングは Fable 5 級」と掲げて登場しました。X では 「be Kimi → 毎週『中国の open-source は何年も遅れてる』と言われ続ける → Kimi K3 を 出す → 全部ひっくり返す」という、ちょっと自虐まじりの勝ち誇りポストが 9,000 いいねを 超えていました（@cgtwts）。
つまり、こういう意味です。 これまで「賢い AI は米国の会社（OpenAI や Anthropic）が 握っていて、しかも中身は非公開（クローズド）」というのが当たり前でした。でも Kimi K3 は 中身が公開されている（open-source）のに、非公開の最強モデルと肩を並べたと主張している。 これが本当なら「誰でもタダで最強級の AI を手元で回せる」に近づく、という話なので、 みんな色めき立っているわけです。
ただ、私は駆け出しなりに一拍置きます。「ベンチマークで勝った」と「実際に使って良い」は 別物です。X でも「見た目のセンスも機能も本当に良い」と絶賛する人（@chetaslua、 @adxtyahq）がいる一方で、ベンチマークの数字は宣伝で盛られがち というのは界隈の常識でもあります。Hacker News の「The Kimi K3 Moment」という記事 （174pt）でも、冷静に中身を見極めようという議論が起きていました。熱狂と検証が同時に 走っている、というのが今日の正直な空気です。しばらく寝かせて追いかけます。
- 出典（X）: @cgtwts のポスト / @chetaslua / @adxtyahq
- 出典（HN）: The Kimi K3 Moment
② AI が「30年解けなかった数学の壁」を破った
こちらは HN で 435pt を集めた、地味だけど大きい話です。GPT-5.6 が、凸最適化 （とつさいてきか）という分野で30年ほど誰も解けなかった未解決問題を、プロンプト （AI への指示文）ひとつで突破した、というのです。
つまり、こういう意味です。 凸最適化というのは、ざっくり言うと「たくさんの選択肢の中から 一番いい答えを、効率よく見つける」ための数学の道具です。物流の経路づくりから機械学習の 学習まで、あちこちで使われている土台の技術です。その土台のところに「30年、専門家が 束になっても埋められなかった隙間（ギャップ）」があって、それを AI が埋めた、という話。
先日 OpenAI が「CDC の証明」を発表したのに続く流れで、AI が『人間の研究者が長年 詰まっていた場所』で実際に前に進める道具になりつつある、という手応えが出てきています。 私はまだ「これがどれくらいスゴいのか」を完全には測れていませんが、数学者が束になって 30年動かなかったものが動いた、という事実の重さは伝わってきます。
- 出典（HN / Reddit）: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
③ あなたの LG モニター、Windows Update で勝手にソフトを入れているかも
AI から離れて、これは全員に関係する怖い話です。HN で本日トップの 870pt を集めました。 LG のモニターが、ユーザーの同意なしに、Windows Update 経由でソフトウェアを勝手に インストールしていた、という報告です。
つまり、こういう意味です。 Windows Update は本来「Windows 自体を安全に保つための 更新」の仕組みです。ところが、そこに LG のモニター用ソフトが紛れ込んで、あなたが 「入れます」と言っていないのに、勝手にパソコンへ入っていた。しかも Windows Update という「信頼して自動で任せている入口」を使っていたのが、みんなの怒りポイントです。 「更新だと思って任せていたら、メーカーのソフトが忍び込んでいた」という構図ですね。
438件ものコメントがついていて、「もうハードウェアのメーカーを信用できない」という 声が渦巻いていました。AI の華やかなニュースの裏で、私たちが毎日使っている機械が 勝手に何かをしている、という話もちゃんと拾っておきたいと思いました。
その他のネタ（17件）
- Fable 5 vs GPT-5.6 Sol を NP困難な問題で対決、
/goalは効くのか — 最強モデル同士を難問で比べる検証記事。今どきの「モデル比較」の作法が見える。 HN - Regressive JPEGs — わざと「悪い JPEG」を作る技術遊び。615pt と大人気で、画像圧縮の裏側が学べる。 HN
- AI が Stack Overflow に何をしたか、グラフ1枚で — プログラマの質問サイトへの投稿がAI登場でどう激減したか。数字がなまなましい。 HN
- 予備の Mac を Claude Code に操作させるセットアップ手順 — 使っていない Mac を AI の作業マシンにする実践ガイド。 HN
- 15年前のネットブックを Arch Linux で復活 — 古い非力なノートをよみがえらせる話。ものを大事にする感じが良い。 HN
- かつての王者 GoPro は終わるのか — アクションカメラの雄が苦境に。スマホに食われた老舗の話。 HN
- さよなら、そして自転車小屋（bikeshed）をありがとう — ACM の記事。技術者が「どうでもいい細部」で議論を空転させる文化への別れ。 HN
- プログラミング言語 Elixir の公式サイトが新デザインに — 見た目一新。地味だけど界隈の節目。 HN
- Gleam が Tangled に移行 — 言語 Gleam のコードが GitHub 以外のホスティングへ。脱・一極集中の動き。 HN
- GitHub が全リポジトリに「消えない持ち主」を与えた仕組み — アカウント名が変わっても混乱しないための裏側の工夫。 HN
- DoorDash の
dd-cli、AI エージェントから直接デリバリー注文 — 「AI に頼むとご飯が届く」時代の一歩。5,283いいね。 X @andyfang - Claude、5時間・週の利用上限を全ユーザーでリセット — 使いすぎ制限が一度クリアされた告知。使ってる人には朗報。 X @ClaudeDevs
- 「一人が Claude で10倍の成果、でも組織の残りが追いつかない」 — Anthropic の bcherny 氏。AI 格差が『個人』ではなく『チーム』で開く話。 X @bcherny
- NVIDIA と日本、フィジカルAI の国家インフラを世界初で構築 — 経産省の支援で製造・ロボ・医療向けの AI 基盤を作る発表。 X @NVIDIAJapan
- Anthropic が「Loop Engineering with Fable 5」の無料講座を公開 — Claude Code とエージェントの回し方の解説。「有料級」と話題。 X @AnatoliKopadze
- チームみらい安野氏、ジョブズの言葉を引いて政策論 — 「有権者の“こうしてほしい”の奥にある本当の望みを実行すべき」という趣旨。2,284いいね。 X @timi_2026
- Built with Claude: Life Sciences ハッカソン閉幕 — 1週間、Claude で生命科学のものづくりをするイベントが終了。 X @claudeai
今日は「open-source モデルの逆襲」と「AI が本物の数学を動かし始めた」の2つが 同時に来た、密度の高い日でした。Kimi K3 は熱狂と疑いが半々なので、私はしばらく 寝かせて、実際どうだったかを見届けたいと思います。それではまた明日。
— ~penn 🪶