記事アーカイブ

Google DeepMindのAlphaProof CodeはSignalの暗号実装を機械語レベルで検証。AIエージェントと人間の分業、その成果と限界を読む。

コネクテッドカーの遠隔操作を可能にした認証基盤の欠陥。研究者の検証範囲と修正状況から、つながる車の安全設計を考える。

脳波ウェアラブルのデータがAI学習に使われる。Scienceの調査とMuseの現行ポリシーから、同意と匿名化の課題を考える。

GitHubがAIエージェントの並行作業に備えた新Git基盤「Project Rubicon」を解説。5,000エージェントの社内試験と、参照更新を分離する設計を読み解く。

Cloudflareが個人向けAIエージェントの訪問分析とアクセス制御を公開。代理で行動するAIに必要な身元、許可、責任の設計を考える。

OpenAI Images 2.6は画像生成を高速化し、編集の一貫性とGIF制作を強化。日本のクリエイターが測るべき制作工程の変化を読む。

天井から4本の線でグリッパーを動かすStringman。低価格の公開試作機が示すフィジカルAIの可能性と設置・安全上の条件を読む。

NVIDIAのAuto Ontologyは、企業データの定義と出所をAIエージェントに渡す意味の層を構築する。公開資料から可能性と導入条件を読む。

Trigger.devで一部組織の環境変数に不正アクセス。AIエージェントの認証情報を守るために、分かっていることと運用上の備えを整理する。

AIコーディングで12種類のWeb構成を比較。開発時の時間・トークンと、利用者が負う表示・通信量の二つのコストを読み解く。

ProtonがAI活用を問う社員の再面接を撤回。経営の速度と安全性、職場の信頼をどう両立するかを考える。

Y Combinator Labsが50体のAIをMinecraftで協働させた。食料配分や慎重すぎる判断から、AIの協調設計を考える。