Latest issue 28 7月 2026

2026年07月28日夜のAIニュースまとめ

(ほぼ)毎日AIニュースが届きます。ぜひご登録ください。

(ほぼ)毎日AIニュースが届きます
ぜひご登録ください

AIによる数学の未解決問題の証明と次期モデルへの期待

今回は、AIが40年以上未解決だった数学の問題を証明したという驚異的な成果についてお伝えします。

また、OpenAIの次期モデルに関する動向や、Anthropicのオープンウェイトに対する見解を巡る議論も注目を集めています。さらに、著名な研究者によるAIエージェントの活用状況に関する発言も話題です。

本日の主要なニュースの詳細を順に確認していきましょう。

Anthropicのオープンウェイト見解に社内外から反発【続報】
AIがFrontierMathの未解決問題を解決
ClaudeのArtifacts公開設定に注意喚起
WebサイトのデザインをコピーするMCP
高速なコーディングエージェントハーネスjcode
Kimi K3がSlides Arenaで1位獲得【続報】
LLMにASTを直接編集させる手法の論文
Andrew Ng氏「AIエージェントがタスクのほぼ100%を処理」
Sam AltmanがGPT-6の匂わせを開始

Anthropicのオープンウェイト見解に社内外から反発【続報】

Anthropicのオープンウェイトモデルに対するスタンスに関する続報です
Dario Amodei CEOが、強力なモデルの安全テストを義務付けるべきとの見解を発表しました
これに対し、オープンソース支持者からは「競争を遅らせるための口実だ」との批判が相次いでいます
Anthropic内部のエンジニアからも公式見解に反発する声が上がっており、議論を呼んでいます

Chubby♨️: (翻訳) Dario Amodeiは、AnthropicはオープンウェイトAIの禁止を望んでいないが、十分に強力なすべてのモデルはリリース前にテストされるべきだと述べています。しかし、彼はオープンAIのための連立書簡には署名したがりません。要約すると、業界全体からの批判に応えて、Amodeiはオープン...

Bindu Reddy: (翻訳) Anthropicは現在、オープンソースAIに問題はなく、禁止したくはないと言っています。その代わり、「安全性テスト」を要求することでオープンソースを減速させたいようです。彼らは依然として、米国政府に競争を遅らせる手助けをしてほしいと考えているようです。

Rohan Paul: (翻訳) なんと、AnthropicのAIリサーチエンジニアが、Dario/Anthropicの公式なオープンソースのスタンスに反発しています。

AIがFrontierMathの未解決問題を解決

AIがFrontierMathの未解決問題である「2進絶対ガロア群の表現」を解決したことが報告されました。
40年以上未解決だった問題が、Fable 5などのAIモデルを活用することで完全な証明に至ったとのことです。
OpenAIのGreg Brockman氏もこの驚異的な成果を祝福しており、AIの数学的推論能力の高さが示されました。

Lisan al Gaib: (翻訳) Epochの未解決問題にも進展が見られるのは素晴らしいことです。「解決策は最初に[David] RoeによってFable 5を使用して導き出されました」

Greg Brockman: (翻訳) 素晴らしい結果おめでとうございます！

ClaudeのArtifacts公開設定に注意喚起

ClaudeのArtifacts機能で作成したコンテンツを「Publish（公開）」すると、検索エンジンにインデックスされる可能性があると注意喚起されています。
実際に社内のダッシュボードやプロジェクト計画などの機密情報が検索可能な状態になっているケースが報告されています。
企業で利用する際は、情報漏洩を防ぐために公開設定に十分注意する必要があります。

Oikon: Claude のチャットのArtifactsは、Publish（公開）すると検索エンジンに載る可能性があると書いているので、社内共有のために公開しないように気をつけましょうね。あとClaude CodeのArtifactsとは別の扱いです。 https://t.co/RUsLx5ap9i https://t.co/0h2aJSAu14

まつにぃ: 以前◯en◯parkでも同じこと起きていましたね。

WebサイトのデザインをコピーするMCP

URLを指定するだけで、任意のWebサイトのデザインを自身のプロジェクトにコピーできるMCPが登場しました。
HTMLやCSSだけでなく、カラーパレット、タイポグラフィ、ボーダーの丸みやシャドウまで抽出し、コードベースに直接適用します。
スクリーンショットを使わずに正確なデザインを再現できる強力なツールとして注目を集めています。

CyrilXBT: (翻訳) 誰かが任意のWebサイトのデザインを自分のプロジェクトにコピーするMCPを構築しました。URLを指定するだけです。HTMLとCSSを取得し、カラーパレット、タイポグラフィ、スペーシングトークン、さらにはボーダーの丸みやシャドウまで抽出し、コードベースに直接適用します。スクリーンショットは不要です。

高速なコーディングエージェントハーネスjcode

Claude Codeの245倍速く起動するオープンソースのコーディングエージェントハーネス「jcode」が公開されました。
最初のフレームのレンダリングがわずか14msで完了し、メモリ使用量もClaude Codeの386.6MBに対し27.8MBと非常に軽量です。
開発体験を劇的に向上させるツールとして、多くの開発者から驚きの声が上がっています。

CyrilXBT: (翻訳) これはまだ不可能なはずです。ある開発者が、Claude Codeの245倍速く起動するコーディングエージェントハーネスをオープンソース化しました。jcodeと呼ばれています。最初のフレームは14msでレンダリングされます。Claude Codeは3,437msかかります。エンベディングをオフにした1セッションのRAM使用量は27.8MBです。Claude Codeは386.6MB使用し...

Kimi K3がSlides Arenaで1位獲得【続報】

Moonshot AIの「Kimi K3」に関する続報です
Python-PPTXを用いたSlides ArenaでClaude Fable 5を破り1位を獲得しました
自然言語から完全なPowerPoint資料を生成する能力を競うベンチマークで、過去最大の差をつけての勝利となりました
同モデルの強力なコーディング能力とエージェントとしての優秀さが改めて証明されています

Rohan Paul: (翻訳) Kimi K3がSlides Arena (Python-PPTX) でClaude Fable 5を破りました。これは、モデルがpython-pptxライブラリを使用して、自然言語のプロンプトを完全なPowerPointデッキに変換できるかどうかをテストするものです。

LLMにASTを直接編集させる手法の論文

LLMにソースコードのテキスト編集ではなく、AST（抽象構文木）を直接編集させる手法を提案する論文が話題になっています。
論理代数操作のシーケンスを用いることで、テキストの書き換えよりも成功率が高く、トークン消費を1〜2桁削減できるとのことです。
エージェントのツール使用やプランニングの実装レイヤーを直接最適化するアプローチとして期待されています。

Kazunori Sato: ソースコードの代わりにASTをエージェントに直接編集させたらトークン消費が1〜2ケタ減った話。まだ実験レベルで実用化には遠いけど、まさにハーネスの役割ってこういうこと（LLMに直接扱わせるデータや問題の空間をぐんと小さく変換する）だな。

Andrew Ng氏「AIエージェントがタスクのほぼ100%を処理」

AI研究の権威であるAndrew Ng氏が、「AIエージェントが私のタスクのほぼ100%をこなしている」と発言し話題になっています
同氏は「3〜6ヶ月後には、プロンプトを書くのではなく、自己改善エージェントをオーケストレーションするグラフを構築するようになる」と予測しています
AIの進化が予想を超えており、働き方が根本的に変わる転換点に来ていることを示唆しています

CyrilXBT: (翻訳) Andrew Ng：「AIエージェントは現在、私のタスクのほぼ100%をこなしています。ハイプは私の期待を超えました。3〜6ヶ月後には、私たちは皆、自己改善エージェントをオーケストレーションするためのグラフを構築するようになるでしょう。もうプロンプティングは不要です。」40分の講演で、Andrew Ngは自己改善エージェントの構築方法を説明しています。

Sam AltmanがGPT-6の匂わせを開始

OpenAIのSam Altman CEOが、X上でGPT-6に関する匂わせ（vagueposting）を開始したと話題になっています
過去の傾向から、次期メジャーモデルのリリース準備を進めているサインだと見られています
ホワイトハウスでのプレゼンに関する報道もあり、新モデルの発表が近いのではないかと期待が高まっています

Chubby♨️: (翻訳) GPT-6の匂わせ投稿だと思います。これは、（Axiosが報じているように）Sam Altmanが今週ホワイトハウスで新しいモデルをプレゼンし、間近に迫ったリリースの「ゴーサイン」を得ようとしているという事実と結びついています。

Haider.: (翻訳) SamのGPT-6の匂わせ投稿が始まりました。これは通常、OpenAIが次のメジャーモデルの準備をしている最初の兆候です。