AI

Kimi K2.7-Code公開 — 1兆パラメータOSSがMCPMarkでOpus超え

Moonshot AIが1兆パラメータのコーディング特化OSSモデル「Kimi K2.7-Code」を公開しました。MCPMark VerifiedでClaude Opus 4.8(76.4%)を上回る81.1%を記録し、Modified MITライセンスでHugging FaceとAPIから利用できます。
AI

米政府、Claude Fable 5停止命令 — 安全訴求が規制を招いた皮肉

米政府が輸出規制とジェイルブレーク懸念を理由にAnthropicへClaude Fable 5とMythos 5の停止を命じました。安全性を前面に出したマーケティング戦略が規制当局の注目を招いた可能性があり、業界全体のモデル展開基準に波及する恐れがあります。
AI

OpenAI、複数の州司法長官が調査 — 広告・健康データが争点

複数の米州司法長官がOpenAIにサブポエナを発行し、広告手法・健康データ管理・未成年者対応・モデルの過剰同調性の4領域を調査しています。著作権訴訟を抱える同社への規制圧力がさらに強まる局面で、AI業界全体に波及する可能性があります。
SQL

WITH RECURSIVEで階層構造を取得する再帰CTE入門

MySQLのWITH RECURSIVEで組織図・カテゴリツリーなど階層データを1本のSQLで取得する方法を、動くサンプル付きで解説。無限ループを防ぐcte_max_recursion_depthの設定も紹介します。
AI

RA-RFT: 検索で「類推」を教えLLMのAIMEスコアを改善

arXiv論文RA-RFT(2606.13680)が、意味的類似度ではなく推論有用性で事例を検索する手法と強化学習を組み合わせ、AIME 2025でGRPO比+7.1ポイントを達成しました。推論認識型検索は既存の強化学習改善と直交する新しい精度向上軸として注目されます。
AI

System 0理論: AIが人間の思考を「植民地化」する仕組み

arXiv論文(2606.13658)がAI介在型の認知を説明する「System 0」概念を提唱しました。AIが思考の前段階で問いの枠組みを形成し、外部利益を思考構造へ埋め込む「認知の植民地化」は、AIツール設計・規制・倫理の各層で新たな議論を呼ぶ可能性があります。
AI

EurekAgent: 科学発見を自動化するエージェント環境設計

arXiv論文EurekAgent(2606.13662)が「エージェントの環境設計こそが科学的発見のボトルネック」と主張しました。権限・アーティファクト・予算・人間参加の4軸フレームワークを提案し、$11未満のAPIコストで数学の未解決問題に新記録を達成しています。
AI

MaxProof: IMO 2025でAIが金メダル水準突破

MaxProof(arXiv:2606.13473)がIMO 2025で35/42点、USAMO 2026で36/42点を達成し、人間の金メダル水準を初めて超えました。証明の生成・検証・修復を単一モデルが担うテスト時スケーリング設計で、ソフトウェア形式検証への応用も期待されます。
SQL

LIMIT OFFSETページングの限界とSEEK方式の使い方

LIMITとOFFSETを使ったページング処理が大量データで遅くなる原因を実行計画で確認し、WHERE句でインデックスを最大活用する「SEEK方式」への切り替え方を実例つきで解説します。MySQL 8.0対応。
AI

ワーナー・ミュージック、Sureel AI買収でAI楽曲追跡を内製化

ワーナー・ミュージックがAI帰属追跡スタートアップSureel AIを買収しました。楽曲に固有の識別子を付与してAIモデルへの利用を追跡する技術を内製化し、アーティストの知的財産管理を強化します。学習データの透明性確保が義務化される規制動向とも重なり、業界全体への影響が注目されます。