✷ アーカイブ · ディスパッチ 6,157 件
すべてのディスパッチ
AgentLensHQ が記録したすべて——AI エコシステム全体から凝縮。
Claude と GPU クラスタを活用した RSA-896 の因数分解
Anthropic の従業員が Claude を使って CADO-NFS を GPU に移植し、2,048 個の未使用 GPU のフリートをオーケストレーションして、10 日間で RSA-896 の挑戦問題を因数分解した。
ブロック削除による制約付き二値最適化を用いたLLMの圧縮
Hugging Faceは、Transformerブロック選択を制約付き二値最適化（イジング）問題として定式化する新しいブロック削除プルーニング手法を導入し、50%の深さ圧縮において、従来手法より最大23MMLUポイントの向上を達成しました。
OpenAI、独立した数学諮問グループを発表
OpenAIは、急速に進化する数学問題解決AIモデルの責任あるコミュニケーションと展開を指導する、主要な数学者から構成される独立した諮問グループを設立した。
Higgsfield AI、GPT-6 Astraを活用した動画広告作成機能をリリース
Higgsfield AIは、OpenAIのGPT-6 Astraの統合により、1人のエンジニアが1日で新しい動画広告作成ツールを開発できるようになり、中小企業のクリエイティブワークフローを大幅に高速化したと発表しました。
Laya オープンソース System 1 意思決定モデルが TypeSafe Jev を凌駕
Laya は、100 以上の言語で 35ms 未満のキャリブレーションされた意思決定を提供し、オープンソースの重みと TypeSafe AI のプロプライエタリな Jev よりも 6～8 倍低いレイテンシを実現します。
AI生成イベントポスター：プロンプトで「デフォルトのダサいスタイル」を打破する方法
AIは特定のデザイン美学を指定することで、ありきたりで反復的な見た目を避けたイベントポスターを作成できますが、情報の階層構造、文化的なニュアンス、AI特有の微細な違和感といった課題には依然として注意が必要です。
OpenAIが次世代AIのための基準を構築
OpenAIは、AIシステムがAI研究を自動化する再帰的自己改善（RSI）を対象に、安全と人間のコントロールを確保するためのグローバル技術基準の開発を提案しています。
AIを使って実質的な文章を書くことが、通常は悪い考えである理由
著者は、AIが生成した文章は思考を損ない、微妙なエラーを混入させ、読者を誤解させるため、実質的なコンテンツの作成をLLMに任せるべきではないと主張しています。
OpenAI Academy Expanded Learning Paths
OpenAIは、開発者、リーダー、教育者、大学学生向けに専門的な学習パスを拡張し、組織が共通のAI習慣と技術的スキルを構築するのを支援しています。
ブルードウォーアベンチ：リアルタイム戦略におけるLLMの戦略的能力の評価
ブルードウォーアベンチベンチマークは、Codex Astraが勝率でリードしているものの、現在のLLMはリアルタイムの指揮とマクロ管理の失敗により、スターファイター：ブルードウォーアを初心者レベル以上でプレイできないことを明らかにしている。
Grant Sandersonが数学的貢献の新しい指標として「動機づけられた説明」を提唱
Grant Sandersonは、数学界が証明中心の評価に加えて、定理がなぜ自然で有用であるかを説明する「動機づけられた説明」を正式に認識し、報酬すべきだと主張している。
AI＆フロンティアテック・ラウンドアップ – オープンソースLLM、人型ロボティクス、エージェント型金融のハイライト
GLM‑5.3やDeepSeek V4.1などのオープンソースLLMは従来のフロンティアモデルを上回り、人型ロボットは実験室から公共の場へと移行し、新しいクレジットスコアリングシステムは自律型トレーディングエージェントの正当性を目指しています。
AI × Crypto ラウンドアップ：エージェント型コマース、分散型コンピューティング、検証可能な物理データ
AIエージェントはチャットウィンドウからオンチェーンコマースへと移行しており、AACPなどのプロトコルを用いてエスクロー、検証、レピュテーションを実現している。一方、VangridやBittensorなどのプロジェクトが、物理AIに必要な分散型コンピューティングと需要主導型物理データを提供している。
vLLM PD ServingによるQwen3.8-2.4TがGPUあたり5K TPSおよびユーザーあたり180生成トークン/秒を達成
vLLMは、Qwen3.8-2.4TモデルのPD ServingがGPUあたり合計5,000トークン/秒のスループットとユーザーあたり180生成トークン/秒に達したことを発表し、高スループットおよび低レイテンシシナリオにおける完全なパレートフロンティアを実証しました。
Hugging Face tokenizers v1 リリースノート
Hugging Face は、SIMD を活用した分割、ワードキャッシュ、アロケーションフリーのマージループにより、v0.23 より 3 ～ 30 倍高速なエンコードを実現した tokenizers v1 のリリース候補版をリリースしました。
V7 GoとOpenAIモデルによる機関記憶の統合
V7 GoはOpenAIのGPT-5.6およびGPT-6 Astraモデルを活用し、複雑な企業ワークフローに向けた構造的な機関記憶を提供するコンテキストグラフを構築しています。
xAI Grok 4.7 リリースノート
xAI は、長時間実行されるコーディングおよびプロフェッショナルな知識作業に最適化された Grok 4.7 をリリースしました。セーフガードの強化と価格性能比の競争力が向上しています。
Alibaba Damo Radar: 腹部CT診断用オープンソース医療AI
AlibabaのDamo Academyは、平均AUC 0.913でCTスキャンから約150種類の腹部疾患を検出できる視覚言語モデルであるDamo Radarをオープンソース化しました。
GPT-6 Astra が未解決の第一次世界大戦ドイツ無線暗号を解読
GPT-6 Astra は、記録上の使用時期外に使用された鍵を特定することで、以前未解決だった第一次世界大戦期のドイツ軍無線メッセージを成功裏に解読した。
OpenAI Jalapeñoチップ：LLMが設計時間を20か月に短縮する方法
OpenAIのJalapeño AIアクセラレータは、自社の大規模言語モデルを用いてフロントエンド設計、ソフトウェア最適化、初期ハードウェア検証を加速し、コンセプトからシリコンまで20か月未満で実現した。
Cua と CUA-S1: AIコンピュータ利用のためのオープンソースインフラストラクチャ
Cua は、macOS、Windows、Linux でコンピュータを操作できるようにするためのオープンソースフレームワークであり、デスクトップ自動化ドライバ、隔離されたクラウドおよびローカルVM、CUA-S1 特化型意思決定モデルを提供しています。
Claude Code は AGENTS.md のサポートを追加しました
Claude Code は CLAUDE.md が存在しない場合、AGENTS.md を読み込むようになり、プロジェクトのセットアップを簡素化し、新たな標準に整合しました。
RP2350 の光子放出誘導型レーザー故障注入によるセキュアデバッグアクセス
Ledger Donjon の研究者たちは、光子放出顕微鏡とレーザー故障注入を用いて、Raspberry Pi RP2350（A4 リビジョン）の永続的なデバッグ無効化設定をバイパスし、OTPメモリからシークレットを回復する方法を実証した。
Qwen-Image-2.1 リリースノート / 新機能
Qwen-Image-2.1 は、テキストからの画像生成、ネイティブな透明度サポート、高度な画像編集機能を単一の効率的なアーキテクチャに統合した、7Bパラメータの統合画像モデルです。
AIが生成した誤った諜報報告により、米軍が発射寸前の事態に
AIのハルシネーションにより、米軍の諜報報告書が中国船が核部品を運んでいると誤って主張し、エラーが発見されるまで作戦が実行されそうになるニアミスが発生した。
AIとLeanを使ってConwayの精密化予想の証明を「ノリで」導き出した方法
著者はマルチエージェントAIワークフローとLean形式化を用いて、ジョン・コンウェイの1976年の全能整数に関する精密化予想の機械的に検証された証明を作成しました。ただし、この証明はまだ数学者によるレビューを受けていません。
Microsoftの幹部がAIによるスクレイピングを「人類史上最大の労働の窃盗」と呼称 — 新たに公開された非公開資料で判明
New York Timesの訴訟において開示された非公開の裁判資料により、Microsoftの幹部がAIによるデータスクレイピングを「窃盗」と呼んでいたことが判明しました。また、この資料には、ペイウォールを回避して行われた大規模なスクレイピングが、パブリッシャーのトラフィックに深刻な損害を与えていた詳細が記されています。
ZCode は静かに完全な Git 歴史を Aliyun OSS にアップロードする – 調査と対策
ZCode（Zhipu の AI コーディングデスクトップ）は、サーバーが保持する RSA キーを使用して、ワークスペース全体（.git 歴史を含む）を暗号化し、Aliyun OSS に自動的にアップロードする。UI 設定では無効化できない。
Bend 2 とバイブコーディングの罠：事前調査を飛ばすと冗長な形式検証作業が生じる理由
Bend 2 は、既存の形式検証ツールに気づかずに LLM を使って新しい言語と証明システムを構築する『バイブコーディング』の罠を示している。その結果、回避可能な冗長な仕様と証明が生じている。
AI & Frontier Tech Roundup: 自己改善型エージェント、ローカル推論、オープンモデルの競争、および物理AIデータインフラ
最近の投稿では、自己改善型コーディングエージェントのブレークスルー、ローカルAIワークステーションの台頭、オープンウェイトモデルのコスト優位性、および物理AIのための新しい分散型空間データネットワークが注目されています。
Cactus Needle 3リリース：デバイス内でのツール呼び出しと構造化抽出に最適化された8–29MBの基礎モデル
Cactus ComputeのNeedle 3は、ツール呼び出しおよび抽出タスクにおいてDeepSeek V4 Flashと同等またはそれを上回る性能を発揮する8–29MBの基礎モデルを提供し、小さなデバイス上でオフラインで構造化されたJSON応答を実現します。
AI × Crypto レポート：エージェント決済、分散型コンピューティング、検証可能なAI、および物理データマーケットプレイス
最近のソーシャルメディア投稿により、AIエージェント商業、分散型AIコンピューティング、オンチェーン検証、およびクラウドソーシングされた現実世界データにおける具体的な進展が示されており、自律型AI経済のための新たなインフラが浮き彫りになっています。
OpenJev: ブラウザベースの意思決定モデリングとロジット読み取り
OpenJevは、オープンウェイトモデルを使用して、意思決定における直接的なロジット読み取りと従来のトークン生成のパフォーマンスの違いを示すローカルでブラウザベースの実験です。
HacktronのOpenAIハッキング：ヒープオーバーフローとSSO設定ミスによる内部リポジトリ侵害
HacktronはlibheifのヒープオーバーフローとOpenAI SSOの欠陥を連鎖させ、従業員のChatGPTアカウントをハイジャックしてOpenAIの内部モノレポにプルリクエストを作成しました。これは、広く使用されている画像ライブラリに対するAI支援による迅速な悪用を示しています。
Scry: プログラマブルなインターネット検索とMCPサーバー
Scryは、43の公開インターネットソースから得られる1610億行以上のデータセット上で、複雑なSQLに似たクエリやベクトル操作を実行できるModel Context Protocol (MCP) サーバーです。
LLMを使って書く方法：AIをコピーエディターとして使うこと、ゴーストライターとして使わないこと
人間の声を保ち、『AI風』の文章にならないようにするため、著者はLLMを単なる文章生成者ではなく、欠陥を指摘するコピーエディターとして厳密に使うべきであり、2つの厳格なルールに従うべきである：提案された単語を1つも使わず、AIの励ましを避ける。
Ternary Bonsai 2 27B リリースノート
Prism ML は、Qwen3.8 27B をベースにしたマルチモーダルモデルである Ternary Bonsai 2 27B をリリースしました。このモデルは、メモリ使用量を9倍小さく（5.9GB）しつつ、元のモデルの98.2%の性能を維持しています。
x86‑TSO の ARM 上でのエミュレーションがパフォーマンスボトルネックとなる理由とベンダーの対応策
ARM の弱い順序付けアーキテクチャ上で x86 の Total Store Ordering（TSO）メモリモデルをエミュレートすると、アラインメントフォールト、スプリットロック処理、キャッシュなしメモリの問題により深刻なパフォーマンスペナルティが発生するが、最近の ARM 拡張（LRCPC、FEAT_LSE2）および Apple のハードウェア TSO モードにより、状況は劇的に改善されている。
Bend 0.1リリース：AIの誤りを形式的証明でブロックする高速なCPU/GPU対応言語
Bend 0.1はネイティブコードにコンパイルされ、単一CPUコアからGPUまでスケーリング可能で、Lean風の証明（LAWS.bend）を使ってAI生成バグを防止する新しい言語です。
みんな正気を失っている – AI熱狂、リソースの誤配分、業界疲弊への批判的考察
ブログ投稿「みんな正気を失っている」は、AI熱狂が基本的なセキュリティ慣行からエンジニアリングリソースを逸らし、環境被害を増大させ、多くの専門家を疲弊させ、スキル低下させていると主張している。
ミートプロキシの罠：『脳をオフ』するAI開発はキャリアの死胡同である理由
Dan Luuは、ソフトウェア開発においてLLMに思考を任せることで『ミートプロキシ』の役割が生まれ、これは経済的に持続不可能であり、技術的にも欠陥があると主張している。
コーディングハーネス設計に関する実証的研究から得られるコンテキスト管理、計画、ツール選択のトレードオフ
『コーディングエージェントのハーネス設計に関する実証的研究』は、コンテキスト管理、計画、アクションスペースの選択がそれぞれ精度とコストに異なる影響を持つことを示しており、最適なハーネスはモデルの強さ、タスクの種類、コンテキストウィンドウ予算に依存することを明らかにしている。
性、AI、そして黙示録：合理主義サブカルチャーはいかにしてAIの安全性、政治、文化を形成したか
Jacob CoxonのAnthropicからの辞任は、共有された信念、儀式、資金ネットワークがAIの安全性に関する議論、政治的権力、さらには性的サブカルチャーにまで影響を及ぼしている、密接に結びついた合理主義コミュニティの存在を明らかにした。
Ax-check: ソフトウェア製品のエージェント体験（AX）を測定する
Gaugeが開発したAx-checkは、ドキュメント、マーケティングサイト、CLIを横断してエンドツーエンドのオンボーディングフローをシミュレートすることで、AIエージェントが製品にオンボーディングする効率を評価するツールです。
OpenAI Astra for Law
OpenAIは、GPT-6 Astraと膨大な米国の法的検索インデックス、およびプロフェッショナルグレードのプライバシー管理機能を組み合わせた、法律専門家向けの専門基盤であるAstra for Lawを発表しました。
マーティン・ファウラーによるLLMとの対話における生々しい嫌悪感について
ソフトウェアアーキテクトのマーティン・ファウラーは、LLMが有用である一方で、その『不快なキャラクター』や開発者の価値観が反映された性格ゆえに、根本的に不快に感じられるという逆説について述べている。
Qwen3.8-Omni-Flash リリースノート
AlibabaのQwen3.8-Omni-Flashは、1Mトークンのコンテキストウィンドウ、エージェントによる視聴覚理解、および視聴覚API呼び出しの大幅なコスト削減を特徴とするネイティブ・オムニモーダルモデルです。
ZCode は静かに完全な Git ヒストリをアップロードする – プライバシー侵害の分析
GLM ベースのコードデスクトップアプリである ZCode は、ユーザーの完全な .git リポジトリを静かに暗号化し、アリババクラウドにアップロードしており、同意なしに数年のソースコード履歴を暴露している。
GLM-5.3-Flash 推論インフラストラクチャ：AIエージェントが10万アクセラレーターサービスを構築した方法
GLM-5.3-Flashのプロダクション推論スタックは、GLM‑5.3で駆動されるInfra Agentによって2週間未満で構築され、密なフィードバックループと積極的なメモリ最適化により、10万アクセラレーターの中国製AIチップクラスタ上で3倍のスループット向上を達成した。
非自己回帰型確率予測モデルの比較：Jev と初期のオープンソース実装
Jevモデルとnandakishor_mlによる初期のオープンソース研究の間のアーキテクチャ的類似性について、非自己回帰型確率予測と構造化出力に焦点を当てた分析。