AI News HubLIVE

今日の必読ニュース

政策

アンソニー・アルバネーゼ首相、AI投資促進のためデータセンターの迅速承認を約束

アンソニー・アルバネーゼ首相は、AIプロジェクト(データセンターを含む)の承認手続きを迅速化し、新たなAIオフィスを設置することを発表。オーストラリアは、AIに関連する経済、社会、国家安全保障、環境問題を単一の枠組みに統合する世界初の国となることを目指す。

  • 首相府内に新たなAIオフィスを設置。
  • AIプロジェクト(データセンターを含む)の承認手続きを迅速化。
サイト内本文
研究

AIチャットボットにパスワードを選ばせてはいけません

研究によると、AIが生成したパスワードは真にランダムではなく、予測可能である可能性があります。信頼できるパスワードマネージャーの使用を推奨します。

  • Claude、ChatGPT、GeminiなどのAIチャットボットが生成するパスワードにはパターンがあり、ランダム性が低い。
  • テストではAI生成のパスワードの重複率が高く、使用されない文字も多かった。
サイト内本文
モデル

本番環境でのLLMレイテンシと推論コストを削減する12の方法

LLMのスケーリングはGPUを追加することではなく、各リクエストから無駄な処理を取り除くことです。この記事では、レイテンシとコストを削減する12の実践的な方法を紹介します。

  • キュー時間、TTFT、トークン間レイテンシ、キャッシュヒット率を測定する。
  • 出力トークンを削減するために、現実的なmax_tokens制限を設定し、簡潔な回答を求める。
サイト内本文

Google DeepMindのCEO、デミス・ハサビス氏が米国主導のグローバルAI監視機関を提唱

Google DeepMindのCEO兼共同創業者デミス・ハサビス氏は、フロンティアモデルが危険になった場合にブレーキをかけられるグローバルなAI監視機関の必要性を訴えている。米国が主導すべきとし、年内の設立を目指す。

  • ハサビス氏は、独立した専門家とオープンソースコミュニティの代表から成る、FINRA類似のAI規制機関を提案。
  • この機関はフロンティアモデルの発表前に評価し、リスクが高いと判断した場合、業界全体に展開の減速を調整する権限を持つ。
サイト内本文
Agent

AIがついに手書きを読めるように——企業が注目する理由

ValantorがEyeLevelを買収し、エンタープライズビジュアルインテリジェンスプラットフォームを発表。手書きを含む非構造化ドキュメントのAI処理課題を解決する。独自のビジョンモデルと細粒度エージェントにより、高精度・低コストでドキュメント理解を実現し、プライベートデプロイをサポート。

  • ValantorがEyeLevelを買収、ドキュメントインテリジェンスと運用専門知識を統合
  • 企業知識の80%は視覚的に複雑なPDF、PPTX、DOCXファイルに存在し、LLMがアクセスできない
サイト内本文

AIでプロジェクトを過剰設計する方法

著者はAIを使って友人のウェブサイトを再構築した経験を語る。当初は丸一日かかると思っていたが、実際にはファイル構造の整理だけで済み、作業の95%を無駄にしたことに気づく。

  • 著者は元のコードが乱雑だと仮定し、AIで一から再構築することを決めた。
  • Claude CodeとAgent Skillsフレームワークを使用したが、AI生成サイトには多くの手動修正が必要だった。
サイト内本文

CERNで、AIが未来の発見を推進する

CERNの大型ハドロン衝突型加速器(LHC)は毎秒4000万回の粒子衝突を発生させ、AIがリアルタイムでデータをフィルタリングし、ヒッグス粒子の発見を可能にしました。新しい「トリガーAI」はニューラルネットワークを使用して異常検出を行い、未知の現象を発見します。AIは将来のFCC衝突型加速器の設計や材料開発、人材獲得にも役立つと期待されています。

  • AIはLHCで毎秒4000万回の衝突をフィルタリングし、ヒッグス粒子の発見に貢献。
  • 新しい「トリガーAI」はニューラルネットワークでリアルタイム異常検出を実現。
サイト内本文

XはAIエージェントが使えるインターフェースを提供した。それを自分の投稿に向けてみた

X(旧Twitter)は、AIエージェントがプラットフォームデータにアクセスできるホスト型MCPサーバーを開始しました。著者のDaniel Lemireは、AIコーディングエージェントを接続して、自身の2か月間の投稿履歴を分析しました。朝(特に9時台)の投稿が中央値ビューで最も良く、長い投稿(300~325文字)が短い返信よりも有意に多くのエンゲージメントを得ることがわかりました。このプロセスは、AIエージェントがソーシャルメディアのデータ分析をいかに簡素化できるかを示しています。

  • Xは、AIエージェントがプラットフォームデータとやり取りできるホスト型MCPサーバーを開始した。
  • 著者はAIエージェントを接続し、自身の2か月間の投稿習慣を分析した。
サイト内本文
ツール

Show HN: 収入目標達成のためのAI Duolingo

Thrivez AI Mentorは、5ステップの設定、毎週のチェックイン、ドキュメント生成機能を通じて、ユーザーの収入目標達成を支援するパーソナライズされたAIメンターです。5000人以上のユーザーが利用しています。

  • 5つの質問に答えるだけで、AIがカスタム収入計画を作成。
  • 毎週のチェックインで進捗を確認し、計画を調整。
サイト内本文
その他の更新(130件)
Agent

AIの速度でマージされる

BunがAIを使って中核コードをZigからRustに書き換えたことは、AI生成コード、メモリ安全性、テストの信頼性をめぐる議論を引き起こした。この記事は3つの異なる視点からの論争を分析し、テスト合格は検証と等しくないことを指摘し、より強力な検証基準の重要性を強調している。

  • BunはAIを使用して11日間で100万行のZigコードをRustに書き換え、16万5000ドルを費やした。
  • Zigの創設者Andrew Kelleyとベテラン開発者Ray Myersはそれぞれ異なる観点からこの書き換えを批判した。
サイト内本文

Show HN:BYO AI無料ノート取りアプリ、OpenClaw/Hermes向け画面読み取りオプション付き

StageWhisper Liteは無料のMacアプリで、通話を録音して要約とアクションアイテムをデバイス上で生成します。Founders Edition(99ドル一括)は、リアルタイムコーチング、画面コンテキスト、通話記憶、カスタムプレイブックを追加し、独自のAIモデルをサポートします。

  • StageWhisper Liteは無料で、通話の文字起こしと要約をデバイス上で行います。データはMacから送信されません。
  • Founders Edition(99ドル一回払い)では、リアルタイムの提案カード、画面読み取り、通話記憶が利用可能。
サイト内本文

SEOは終わっていない:AI検索で引用を増やす5つの方法

AIチャットが検索エンジンの新しい標準になるにつれて、小企業や個人事業主が可視性を維持するルールは変わりました。2025年のAIトラフィックは66%増加しましたが、全訪問の0.15%未満に過ぎません。AI引用が直接トラフィックにつながらなくても、露出の増加は生存に不可欠です。本記事では、AI検索エンジンでの評価を向上させる効果的な方法を紹介します。

  • AIトラフィックは66%増加したが、全体の0.15%未満。
  • AI引用は直接トラフィックにならなくてもブランド露出を高める。
サイト内本文

CIOがAIエージェントを信頼する理由とは?Thiraはモデルそのものではないと賭ける

Apptio創業者Sunny Guptaの新会社Thiraは、企業バックオフィス向けの「実行システム」を構築しており、ITプロセスの自動化を目指す。2100万ドルのシードラウンドを調達し、10社のデザインパートナーと協業。信頼の構築が鍵であり、半自律モードから完全自律モードへの段階的移行と、監査可能性や安全機構を重視する。

  • Thiraは複数システムにまたがるITプロセスに特化し、AIエージェントで自動化する。
  • 発見型学習エンジンが各企業の環境を理解し、人間が承認する実行マップを生成する。
サイト内本文

Google AI Studio の用途とは?

Google AI Studio は、Google の Gemini モデルをテスト・構築するためのブラウザベースのワークスペースです。マルチモーダル入力、プロンプトエンジニアリング、API 統合をサポートし、初心者から開発者まで利用できます。この記事では、その機能、ユースケース、コンシューマー向け Gemini との違いを詳しく説明します。

  • Google AI Studio は Gemini モデルを実験・プロトタイピングするためのブラウザツール。
  • テキスト、画像、ドキュメントのマルチモーダル入力が可能で、生成パラメータを調整できる。
サイト内本文

AIコーディングエージェントは所有コードを減らすように最適化すべき

AIがコード生成を安価にするにつれて、コストは生成から所有へと移行します。技術的負債を避けるために、コーディングエージェントは新しいコードを生成する前に信頼できるコンポーネントを再利用するのに役立つオープンソースインテリジェンス層を必要とします。

  • 現代のソフトウェアの大部分は既存のオープンソースコンポーネントから組み立てられており、新しいコードはごく一部です。
  • 現在のAIシステムはコード生成を報酬としますが、メンテナンスコストを無視し、技術的負債をもたらします。
サイト内本文

経験から学ぶこと:厳選されたデータセットではなく

本稿では、厳選されたデータセットから学ぶことと、生の経験から学ぶことの違いを探る。現在の深層学習アルゴリズムは人間が厳選したデータセットに依存しており、ノイズや予測不可能な成分を含む生のデータストリームを効果的に処理できない。単純な線形予測の例を通して、SGDとその変種がノイズを吸収し、予測可能な部分だけを学習できないことを示す。一方、IDBDアルゴリズムは予測可能なターゲットと不可能なターゲットを区別し、有用な関連のみを学習できる。さらにニューラルネットワークに拡張したNetworkIDBDは、NoisyMNISTデータストリームで有効性を確認した。著者らは、SGDの限界が現在のシステムがオンライン継続学習を苦手とする根本原因であり、将来はより良いクレジット割り当てアルゴリズムが必要だと主張する。

  • 経験からの学習では、データストリームに予測可能な成分と不可能な成分が混在する。
  • SGDなどのアルゴリズムはノイズを吸収し、予測可能なターゲットを区別できない。
サイト内本文

Show HN:エンジニアチームのAIエージェント成熟度を5分でベンチマーク

エンジニアチームのAIエージェント成熟度を5分で評価できる無料のベンチマークツール。数百のエンジニアリーダーとの議論に基づき、1~5のスケールで「提案のみ」から「完全自律の長時間ワークフロー」までを測定します。

  • 数百のエンジニアリーダーとの議論からデータを収集
  • 無料ツール、約5分で完了
サイト内本文

Show HN:Themis – 自分自身のキーとモデルで動作するセルフホストAIコードレビュー

Themis は、自分自身の OpenAI Codex、Claude Max、または GLM のサブスクリプションを使用してプルリクエストをレビューする、セルフホスト型の GitHub PR レビューボットです。インラインの指摘と構造化されたサマリーを提供し、リポジトリごとにカスタマイズできます。

  • 自身のAPIキーとモデルで完全セルフホスト
  • Codex、Claude Max、GLMの3つのAIエンジンをサポート
サイト内本文

MetaのAI広告ツール:ブランドに悪夢、奇妙な画像と責任逃れ

Metaが広告主にAIツールの使用を推進しているが、結果は混乱を招いている:四肢の歪み、意味不明な文字、製品の変更など。広告主はバグや自動有効化機能が余計な作業を生むと不満を述べ、Metaは責任を広告主に転嫁している。問題はあるものの、ブランドはMetaの広範なリーチとターゲティング能力に依存しているため離れられない。

  • MetaのAI広告ツールは、女性向けネットワーキンググループに男性を追加するなど、奇妙な画像を生成する。
  • 広告主はAI機能を誤って有効にするバグを報告し、各キャンペーンで手動チェックが必要になっている。
サイト内本文

誰もがAI国有化を歓迎すべき

バーニー・サンダース氏が主要AI企業の株の半分を国有化し、ソブリン・ウェルス・ファンドを設立する提案を行い、議論を呼んでいる。リバタリアンの財産権理論から社会主義的視点まで、AIが全人類に利益をもたらすべき理由を考察する。

  • サンダース氏はAI企業の株式の半分を国有化し、国民のための基金を創設する提案。
  • ロックやノージックの理論を用いて、集団的財産権を論じる。
サイト内本文

IronCurtain – 自律型AIエージェントのための安全な*ランタイム

IronCurtainは、人間が読める憲法によってセキュリティポリシーを定義し、AIエージェントが安全な境界内で自律的に動作できるようにするオープンソースの研究プロジェクトです。ランタイムでポリシーエンジンがルールを強制し、プロンプトインジェクションや権限乱用を防ぎます。

  • AIエージェントが侵害される可能性を想定し、セキュリティはモデルの振る舞いに依存しない
  • 自然言語で憲法を記述し、決定論的ルールにコンパイルしてランタイムで強制
サイト内本文

iOSおよびiPadOS 27、macOS 27 Golden Gate、そしてSiri AIのハンズオンレビュー

本稿では、AppleのWWDC 2026で発表されたiOS 27、iPadOS 27、macOS 27 Golden Gateをレビューし、特に新機能のSiri AIに焦点を当てる。2009年のSnow Leopardの「ゼロ新機能」哲学との類似点を引き合いに出し、今年のアップデートが信頼性と革新性のバランスを取っていると論じる。Siri AIはチャットボットではなく、大規模言語モデルを活用したパーソナルアシスタントであり、高速でコンテキストを理解した応答を提供する。1か月以上のテストの結果、著者はSiri AIが初めてAIをパーソナルに感じさせる変革的な機能であると結論づけている。

  • Appleの2026年OSアップデートは、Snow Leopardの「ゼロ新機能」アプローチを彷彿とさせる、基盤の最適化と安定性に重点を置いている。
  • Siri AIは大規模言語モデルをベースにした新たなパーソナルアシスタントで、音声、Spotlight、専用アプリから利用できる。
サイト内本文

OmniSCS:完全編集可能な運転世界による自動運転のための全方位安全重要シナリオ合成

OmniSCSは、高物理的忠実度を持つフォトリアリスティックな安全重要シナリオ(SCS)を生成し、クローズドループシミュレーションテストを可能にする革新的なシステムを提案します。完全編集可能な運転世界構築モジュールとSCS合成モジュールから構成され、シーン編集時のデータ忠実度を維持します。nuScenes、Waymo、KITTIデータセットでの実験により、OmniSCSは編集シーン忠実度で最先端手法を上回り、リアルタイム(13Hz)クローズドループテストをサポートすることが示され、自動運転開発のためのより安全で効率的かつ費用対効果の高いソリューションを提供します。

  • OmniSCSは、完全編集可能な運転世界構築モジュールとSCS合成モジュールの2つの中核モジュールで構成されます。
  • デュアル戦略エージェント再構築と深度精緻化背景再構築により、シーン編集時の高忠実度を維持します。
サイト内本文

SWIFT: 自律運転における交通流を考慮した軌道予測のためのスモールワールド相互作用フレームワーク

研究者らは、スモールワールドネットワークと交通流理論を統合した統一フレームワークSWIFTを提案する。これは、スモールワールド相互作用ネットワークと交通流状態エンコーダを介して構造的帰納バイアスを導入し、nuScenes、MoCAD、NGSIMデータセットでベースラインを上回り、優れた一般化とロバスト性を示す。

  • SWIFTはスモールワールドネットワークと交通流理論を組み合わせ、構造化された軌道予測を実現。
  • フレームワークはスモールワールド相互作用ネットワークとフロー状態エンコーダを含み、適応的な相互作用モデリングを可能にする。
サイト内本文

インタラクションを考慮した注意ベースネットワークによる自動運転の高レベル意思決定

DecisionPerceiverアーキテクチャを提案。動的エージェント特徴を固定サイズ潜在空間に投影し、潜在クエリ数で粒度を調整、スケーラビリティを向上。3つの運転シナリオで評価し、一貫した性能向上と汎化を実証。

  • DecisionPerceiverは固定サイズ潜在空間で動的入力を処理し、二次複雑性を回避。
  • 行動セットの細かい離散化が相互作用認識の利得を増大。
サイト内本文

RoboNav-Arm: 混雑環境におけるロボットマニピュレータのエージェンティックAI駆動ナビゲーションと障害物回避

混雑環境で安全に動作するロボットマニピュレータのための新しいフレームワークRoboNav-Armを提案。エージェンティックAIを活用し、リアルタイム障害物検出、セマンティックレポート、中央調整、適応型動作計画を統合。Gazeboシミュレーションで検証。

  • RoboNav-Armは環境モジュールを使用してリアルタイムの障害物検出と3D位置特定を行う。
  • 中央調整モジュールがツール呼び出しとタスク監視を管理する。
サイト内本文

AuditWeave:AI支援・データ変換ワークフローのための改ざん防止・監査可能な証拠層

AuditWeaveは軽量なPythonライブラリで、AI支援およびデータ変換ワークフローのステップを追記専用のハッシュチェーン台帳に記録し、改ざんを検出します。RAGパイプラインとテーブル/レイクハウス変換の両方をカバーし、イベントあたり数十マイクロ秒のオーバーヘッドで動作し、2000回のランダム試験で全ての改ざんを検出しました。

  • AuditWeaveは依存関係のない軽量なPythonライブラリで、改ざん防止の監査ログを作成します。
  • 追記専用のハッシュチェーン台帳を使用してAIワークフローの全ステップを記録し、エンドツーエンドのトレーサビリティを実現します。
サイト内本文

連続時間におけるフィードバック結合メモリシステム

本論文は、エージェント更新演算子をメカニズムベース知能(MBI)で、環境更新演算子を結合メモリグラフ過程(CMGP)で定義することにより、フィードバック結合メモリシステム(FCMS)の連続時間実現を提示する。導出されたリアプノフ大域的散逸性の条件は、離散FCMSとCMGPの安定条件を一般化し、メモリ散逸がフィードバック利得を上回ることを普遍的な組織原理として確立する。数値シミュレーションは閾値と、違反時に生じる自己強化型協調カスケードを確認する。

  • FCMSアーキテクチャは閉ループ協調を形式化し、2つの演算子が未定義であった。
  • MBIは分散価格機構でエージェント更新を定義、CMGPは環境を軌跡履歴を記録する物理基盤と見なす。
サイト内本文

一つの契約、すべてのモデル:AIコーディングエージェントの運用基準

本記事では、AIコーディングエージェントの行動規範(ドクトリン)を能力から分離し、標準化する方法を紹介する。著者は「運用基準」という文書を作成し、フロンティアモデルの行動パターンを低性能モデルに移植することで、品質のギャップを縮小した。主な要素には、結果を先に示す、完了の証拠を示す、深層的な分析、早期停止の防止、シンプルかつ効果的な手法、すべての発見の開示が含まれる。この基準は起動時のシステムプロンプトとセッション内ルールの二重チャネルで適用され、安全な完了ゲートと階層的設定も備える。

  • 能力(モデルができること)と行動規範(振る舞い方)は別物であり、行動規範はプロンプトで完全に移植可能。
  • 運用基準には以下を含む:結果でリード、成果物で完了を証明、深さ優先で判断、早期停止しない、シンプルかつ効果的、すべての所見を開示。
サイト内本文

ZenVeil:AI生成コードに特化したセキュリティスキャンツール

ZenVeilは、AIコーディングツール(Copilot、Cursor、Claudeなど)が生成したコードのセキュリティ脆弱性を30秒以内にスキャンし、自動的にGitHub PRを作成して修正するAIネイティブなDevSecOpsツールです。秘密情報の検出、サプライチェーンセキュリティ、SAST分析を提供し、AIコード特有の障害モードに最適化されています。

  • ZenVeilはAI生成コードのセキュリティ問題(ハードコードされた秘密、一貫性のない認証チェック、古い依存関係など)に特化。
  • スキャン結果は重大度、OWASP分類、正確な位置を示し、自動PR修正を提供。
サイト内本文

Show HN: Melodusk – ブラウザで使えるAI音楽生成ツール

Meloduskはブラウザ上で動作するAI音楽生成ツールで、テキスト記述から2分以内にプロ品質の音楽を生成。100以上のジャンルに対応し、ボーカル分離ツールも提供。生成された音楽はロイヤリティフリーで商用利用可能。

  • テキスト記述から2分以内にスタジオ品質の音楽を生成
  • ポップ、ロック、ジャズ、クラシックなど100以上のジャンルに対応
サイト内本文

【AINews】Codexユーザー数が6ヶ月で10倍以上増加し700万人に、Claude Codeを追い越したのか?

ここ数日でOpenAIのCodexユーザー数が700万人を突破、6ヶ月で10倍以上の成長を遂げた。Prime Intellectはverifiers v1をリリースし、エージェントRL環境を刷新。OpenAIはGPT-5.6 Solの使用量問題を透明に修正。Grok Buildがコードベース全体をアップロードするセキュリティ問題が浮上。オープンモデルや量子化技術が進歩し、継続学習の研究が再び注目されている。

  • Codexユーザーが6ヶ月で約60万人から700万人に増加、Claude Codeの成長率を上回る。
  • Prime Intellectがverifiers v1を公開、タスクセット・ハーネス・ランタイムに環境を分割。
サイト内本文

GitHub Actionsでキャッシュフレンドリーにuvxを使う方法

GitHub Actionsのワークフローで`uvx tool-name`をキャッシュフレンドリーに使うレシピを紹介。`UV_EXCLUDE_NEWER`環境変数に特定の日付を設定し、その日付をキャッシュキーの一部にすることで、毎回の実行でツールをダウンロードするのを避け、日付を更新することでアップグレードできます。

  • `UV_EXCLUDE_NEWER`環境変数に日付(例:2026-07-12)を設定してツールのバージョンを固定。
  • その日付をGitHub Actionsのキャッシュキーに含めてキャッシュを有効活用。
サイト内本文

SFU教授がCasewayと連携し、AIで司法アクセスを改善

サイモンフレーザー大学(SFU)の計算機科学教授アンジェル・チャン氏は、バンクーバーに拠点を置くスタートアップCaseway AIと協力し、カナダと米国の1億件以上の裁判例を索引化してAIシステムで検索可能にし、弁護士を雇わない人の法的意思決定を改善できるかを調査する計画を進めている。

  • アンジェル・チャン教授とCasewayは、1億件以上の裁判例をAI検索可能にするMitacs助成プロジェクトを計画。
  • 実際の判例へのアクセスが自己代理人の訴訟結果を改善するかを厳密に検証する。
サイト内本文

詐欺はもともと酷かった。そこにAIが加わった

生成AIによるディープフェイクを使った恋愛詐欺で女性が家と貯金を失った事例を基に、AIが詐欺をいかに巧妙化させたかを解説。さらに、エージェンティックAIが新たな脅威となりつつも、防御にも活用できる可能性を指摘する。

  • 生成AIによるリアルなディープフェイク動画が従来の詐欺をさらに危険にしている。
  • エージェンティックAIは自律的に多段階の操作を実行し、大規模詐欺に悪用される恐れがある。
サイト内本文

AI音声エージェントの顧客認証

ringdは、AI音声エージェントにシンプルな認証を提供し、1つのデコレータでメールOTP、SMS OTP、ボイスプリンティングをサポートします。一般的なデータマッチングの問題を自動的に処理し、完全な監査ログを提供します。

  • 1つのデコレータで機密操作を保護
  • メールOTP、SMS OTP、オプションのボイスプリンティングをサポート
サイト内本文

FixBugs:本番バグを再現し修正を検証

FixBugs は、本番バグのコンテキストを取り込んでサンドボックスで再現し、検証済みの修正を生成するエージェントです。セルフホスト型のVSCode拡張機能とGitHubアプリとして提供され、コードのプライバシーを保護し、複数のAIモデルを使ってコードをレビューします。

  • 本番バグのコンテキストを収集しサンドボックスで再現
  • 修正を自動生成し検証
サイト内本文

Cdbx.ai – AI搭載のブラウザIDE、アプリの記述・構築・公開を実現

Cdbx.aiはAIを搭載したブラウザIDEで、英語で説明するだけでアプリを構築・公開できます。Monacoエディタ、AIペアプログラマー、MCPコネクタ、AIエージェントなどの機能を備え、30以上の言語をサポートします。

  • セットアップ不要でブラウザ上で動作
  • 計画、コーディング、修正、UI改善を支援するAI
サイト内本文

Skyfall AI、MORPHEUSをリリース:構造化非定常性下で継続的強化学習を必要とする永続的エンタープライズシミュレーションベンチマーク

Skyfall AIのMORPHEUSは、継続的強化学習のための永続的なエンタープライズシミュレーションプラットフォームです。リセットされない世界を実行し、パラメータ化可能な体制シフトと6つのメトリクス評価プロトコルを使用します。PPO、HER、EWC、LCMはすべて理論上の上限を大きく下回っています。

  • MORPHEUSは、エピソード型の強化学習ベンチマークとは異なり、リセットされない永続的なエンタープライズ世界を作成します。
  • 5つの環境を提供し、そのうち2つ(プロセスアウトバウンドとプロセスインバウンド)が評価されました。
サイト内本文

Forgein – AIツール向けポータブルコンテキストレイヤー、ネイティブMCPサーバー(MIT CLI)

Forgeinは、AIアシスタントにポータブルなコンテキストレイヤーを提供するオープンソースツールです。Claude、ChatGPT、Copilot、Gemini、CursorなどのAIツール間で個人やチームのコンテキストを永続化でき、繰り返し説明する必要がありません。仕事、家庭、個人など複数のシナリオ切り替えやチーム共有をサポートします。

  • ForgeinはAIツール向けの統一コンテキストレイヤーを提供し、セッションごとの説明を排除。
  • 仕事・家庭・個人などコンテキストを自動切り替え。
サイト内本文

Unity Catalog マネージドテーブルが Lakehouse に相互運用性、パフォーマンス、統一ガバナンスをもたらす方法

Databricks は、Unity Catalog (UC) マネージド Delta テーブルへの外部アクセスがパブリックプレビューになったことを発表しました。Apache Spark、Flink、Starburst、DuckDB などの外部エンジンは、Unity Catalog によってガバナンスが中央で実施される状態で、UC マネージドテーブルを作成、読み取り、書き込みできます。マネージドテーブルは Predictive Optimization を使用してクエリパフォーマンスを自動調整し、ストレージコストを削減します。既存の外部テーブルはデータの書き換えなしでインプレースアップグレード可能です。この機能はオープン API に基づいており、オープンソースの Unity Catalog (UC OSS) と連携します。

  • UC マネージド Delta テーブルへの外部アクセスがパブリックプレビューになり、複数のエンジンをサポート。
  • マネージドテーブルは Delta Lake と Iceberg の相互運用性と自動最適化(Predictive Optimization)を組み合わせ、最大 50% のストレージコスト削減と 20 倍のクエリ高速化を実現。
サイト内本文

PrefectがDagsterを買収:Airflowのライバル同士が合併、データパイプライン以外のストーリー

オープンソースのワークフローオーケストレーターで知られるPrefectが、Apache Airflowの主要な代替品の一つであるDagsterを買収すると発表した。DagsterとDagster+はそのままの名前と製品ロードマップを維持し、約40名のDagsterチームがPrefectに加わる。CEOのJeremiah Lowin氏は、この買収をAIエージェントの信頼性を高めるための戦略的動きと位置づけている。

  • PrefectがDagsterを買収、2大Airflow競合が統合。
  • DagsterとDagster+はブランドとロードマップを維持。
サイト内本文

Kairos:ローカルファーストのAIエージェントプラットフォーム

Kairosは、コーディングアシスタント、自動化ワークフロー、リサーチエージェント、Discordツールなどのための柔軟な基盤を提供する実験的なローカルファーストAIエージェントシステムです。目標管理、モデルルーティング、スキルライブラリ、メモリ、ツール実行、セーフティチェック、エージェントワークフローを備えています。現在は初期MVP段階にあります。

  • KairosはローカルファーストのAIエージェントプラットフォームで、モジュラースキル、メモリ、モデルルーティングを備えています。
  • ガード付きスウォーム計画、マルチエージェントコラボレーション、サンドボックス実行をサポート。
サイト内本文

Frankie:メールで仕事を任せられるAIアナリスト

CompoundがFrankieを発表——メールで分析タスクを処理するAI同僚。ユーザーがタスク説明と添付ファイルを送ると、FrankieがCompound内で分析を実行し、結果を返信。ドキュメント分析、Excel作成、財務モデリング、スケジュールタスクに対応し、会話間のコンテキストを記憶する。

  • Frankieはメールでタスクを受け付け、結果を返信するAIアナリスト。
  • 添付ファイルの分析に対応し、Excel、Word、PowerPointを作成可能。
サイト内本文

Show HN:Fleet Deck – マシン上のすべてのClaude Codeセッションを1つのボードで確認

Fleet Deckは、実行中のすべてのClaude Codeセッションを監視・管理するローカルツールです。各セッションの状態、競合警告、未処理リクエストを表示し、タスク割り当て、リモートコントロール、セッション復元、バッチ生成などを可能にします。コアはモデル呼び出しを一切行わず、フックイベントと決定論的ロジックに依存して安全性と効率性を実現します。

  • Fleet DeckはすべてのClaude Codeセッションを1つのローカルボード(http://127.0.0.1:4711)に集約し、ステータス、競合、保留アクションを表示します。
  • 組み込みの競合レーダーが、2つのセッションが30分以内に同じファイルに触れた場合に警告し、ワークツリーを認識します。
サイト内本文

Siri AIはすでに私のiPhoneの使い方を変えている

iOS 27のパブリックベータが公開され、Siri AIがオプトインベータとして注目を集めている。筆者が1ヶ月間テストしたところ、Siri AIはコンサートのスケジュール確認やメールからのカレンダー追加など、複雑なクロスアプリタスクを処理できる。しかし現時点ではAppleの純正アプリのみ対応で、サードパーティの対応は秋の正式版まで待たなければならない。自然言語理解にまだ課題はあるものの、Siri AIはすでに筆者のiPhoneとのインタラクションを変えている。

  • iOS 27パブリックベータ公開、Siri AIはオプトインベータ機能。システム全体のパフォーマンス向上に注力。
  • Siri AIは自然言語で複数のアプリを横断する複雑な指示を理解・実行可能。
サイト内本文

マイクロソフトCEO、フロンティアAI研究所に警告-企業は知的財産を守れ

サティア・ナデラ氏は、AI利用企業が2重の代償(現金と貴重なノウハウ)を払っていると警告。「逆情報パラドックス」を指摘し、自社AI学習環境の構築を提案。マイクロソフトはCopilotとAzure AI Foundryを解決策として売り込む。

  • ナデラ氏はAI購入者が現金に加えて独自のビジネス知識も流出させていると指摘。
  • マイクロソフト自身がOpenAIに投資しデータ収集型AIを推進している点で皮肉な警告。
サイト内本文

Show HN: PlanWright – AIコーディングエージェント向けコントロールプレーン

PlanWright は AI コーディングエージェント向けのコントロールプレーンで、計画と承認のプロセスを逆転させ、人間のボトルネックを解消し、エージェントの速度と人間の判断を切り離し、改ざん不能な監査チェーンを生成します。

  • 計画の逆転:議事録、メール、Slack などの非構造化入力から自動的に目標を抽出し、人間は意図を承認するだけ。
  • 承認の逆転:機械的なチェックを自動分類し、判断が必要な項目のみを人間に回し、各承認は署名付き。
サイト内本文

AGIコンパイラ「Auto」

AutoはLLMエージェントの動作を記録し、決定論的部分を証明して検証済みのWebAssemblyバイナリにコンパイルし、階層型ランタイムで新規性のある入力にはフロンティアモデルにフォールバックして再コンパイルするAGIコンパイラです。

  • エージェントのトレースを記録し、決定論的(記号的)な振る舞いを抽出して検証済みの.cbinアーティファクトにコンパイル。
  • 2層ランタイム:tier-1はコンパイル済み高速パス、tier-0はフロンティアモデルインタプリタ、ガードが新規入力を検出するとtier-0にフォールバックして再コンパイル。
サイト内本文

AIエージェントが仮想プレイグラウンドを作成し、ロボットに重要な訓練データを提供

MITとトヨタ研究所の研究者は、「SceneSmith」システムを開発しました。これは3つのAIエージェントを使用して、キッチン、ホテル、リビングルームなどのリアルな3D屋内シーンを生成します。これらの仮想環境はロボットに豊富な訓練データを提供し、シミュレーションで日常的なタスクを練習することで、現実世界でのテスト時間とコストを削減します。

  • SceneSmithは、視覚言語モデルに基づく3つのAIエージェント(デザイナー、批評家、オーケストレーター)を使用して3Dシーンを生成します。
  • 生成されたシーンには、以前の方法よりも最大6倍多くのオブジェクトが含まれ、キャビネットの開閉やアイテムの配置などのインタラクションが可能です。
サイト内本文

私たちに残された仕事は何か?

ICML 2025での基調講演。AIを「正常な技術」と捉え、その影響は発明・革新・普及・適応の4段階を経て徐々に現れると主張。再帰的自己改善は考慮すべきだが、突然の完全失業にはつながらない。将来の仕事は根本的に変化し、人間とAIの「協調的超知能」が必要となる。

  • 「AI as Normal Technology」フレームワークはAIの影響が緩やかで段階的であると示す。
  • 現在のエージェント評価は能力に偏り、信頼性などの実運用要因を軽視している。
サイト内本文

VideoAgentスタイルのマルチエージェントシステム構築:意図解析、グラフ計画、ビデオ編集タスクのツールルーティング

このチュートリアルでは、APIキー不要で実行可能なマルチエージェントビデオ編集システムを構築します。意図パーサー、エージェントライブラリ、ツールルーター、グラフプランナー、テキスト勾配最適化器を含み、FFmpeg、Whisperなどのツールと統合して、ビデオの理解、検索、編集、再作成を実現します。

  • ビデオ編集タスク向けの実行可能なVideoAgentスタイルマルチエージェントシステムを構築。
  • コアコンポーネントとして、意図解析、グラフ計画、ツールルーティング、テキスト勾配最適化を備える。
サイト内本文

Show HN: Crucible – AIがテストを書いたなら、誰がテストをテストしたのか?

Crucible は、AIが生成したテストの欠陥を発見するための対抗的テスト強化ツールです。ミューテーションテストを使用して、AIが書いたテストが見逃すバグを特定します。無料のスコアコマンドでテストスイートを評価し、その後、テスターがテストを書き、mutmut が生存者を見つけ、クリティックが標的を絞ったテストを書く対抗ループを実行します。このツールは機械検証可能なレシートを生成し、Python/pytestプロジェクトで動作します。

  • Crucible はミューテーションテストを使って、実際のバグをどれだけテストスイートが捕まえられるかを測定します。
  • ツールは対抗ループを実行:テスターがテストを書き、ミューテーションが生存者を発見し、クリティックがそれらを殺します。
サイト内本文

脳の働きが違うとき、AIは贅沢品ではなくアクセシビリティである

神経多様性を持つソリューションアーキテクトが、AIをアクセシビリティツールとして活用し、Amazon QuickとBedrockを基盤に構築した自動化ワークフローで実行機能のギャップを補う方法を共有。受信箱スキャン時間が45分以上から6~13分に短縮、フォローアップの漏れゼロ。

  • 英国成人の15~20%が神経多様性を持つが、ほとんどのAI生産性ツールは神経典型的な脳を想定している。
  • 著者はAuDHD(自閉症とADHDの併発)であり、メール仕分け、タスク優先順位付け、フォローアップを自動化するシステムを構築。
サイト内本文

Amazon Bedrock を使用した Bluesight でのエージェント型 AI ソリューションの構築

本稿では、Bluesight が 2 回の AWS エンゲージメントと Amazon Bedrock AgentCore を利用して、単一製品の AI プロトタイプから、6 つのヘルスケアコンプライアンス製品をカバーする統合エージェント型 AI ソリューション Prism へと進化した経緯を説明します。Prism Assistant for ControlCheck は 2026 年 5 月にリリースされ、すでに 20 の医療システムで使用されています。より複雑なマルチプロダクトのエージェント型ソリューションは 2026 年後半にリリース予定です。

  • Bluesight は Amazon Bedrock AgentCore を使用してプロダクショングレードのエージェント型 AI アーキテクチャを構築しました。
  • Prism Assistant はシングルエージェントパターンにより ControlCheck のクエリ時間を 5 分から 10 秒に短縮しました。
サイト内本文

Amazon Bedrock AgentCore Gateway を使用したマルチテナントエージェントのオン・ビハーフ・オブ・トークン交換の実装

この記事では、Amazon Bedrock AgentCore Gateway と Identity を使用して OAuth 2.0 トークン交換(RFC 8693)を実装し、マルチテナントエージェントにおけるダウンストリーム API 呼び出し時の ID 伝播と confused deputy 問題を解決する方法を詳しく説明します。参照実装 TravelBot を使用して、Okta 環境での完全な設定、JWT クレーム変換、およびオーディエンスバインディングによる多層防御の仕組みを示します。

  • OAuth 2.0 Token Exchange(RFC 8693)はマルチテナントエージェントの ID 伝播と最小権限の問題を解決する
  • Amazon Bedrock AgentCore Gateway と Identity はトークン交換をネイティブにサポートし、エージェント側の実装は不要
サイト内本文

Show HN: Clay Seal Identity – エージェントの説明責任が必要

Clay Seal Identity は、AIエージェント向けの短期間で検証可能な資格情報を提供するオープンソースプロジェクトです。SPIFFEベースのJWTおよびX.509資格情報、Ed25519ワークロードキー、オフライン検証、Biscuit機能トークンをサポートします。Python SDKとオプションのFastAPI IDサービスを含み、エージェントの身元、委任、資格情報の有効性を確認する必要があるシナリオ向けに設計されています。これはClay Sealスタックのレイヤー1であり、ランタイム機能スコープと実行領収書を提供する後続のレイヤーはプライベートプレビュー段階です。

  • 各エージェント実行に対して短期間で検証可能な資格情報を発行し、長期の人間またはサービスAPIキーの借用を回避します。
  • SPIFFE JWT-SVIDおよびX.509-SVID資格情報をサポートし、Ed25519ワークロードキーによる送信者制約を提供します。
サイト内本文

Amazon SageMaker AIで生成AI推論レコメンデーションのUIを公開

Amazon SageMaker AI Studioは、生成AI推論レコメンデーションのためのローコード/ノーコードUIを導入し、事前設定されたユースケースプロファイル、視覚的な比較、ワンクリックデプロイを通じて、深いインフラ知識がなくても検証済みの構成を取得できるようにします。

  • 新しいUIは生成AIモデル展開の最適化を簡素化し、手動ベンチマークを不要にします。
  • 事前設定ユースケースプロファイル(インタラクト、生成、要約)と最適化目標(レイテンシ最小化、スループット最大化、コスト最小化)を提供。
サイト内本文

コンテナ化AI開発:DockerとVS CodeでAIチャットを制御

GitHubテンプレートリポジトリtake-ai-controlは、DockerとVS Codeを用いて隔離されたAI開発環境を提供し、PI.dev、Claude Code、Copilotをサポート。LinuxとmacOSでクロスプラットフォーム対応し、トークン消費削減のスキルやテンプレートプロジェクトを同梱。

  • DockerコンテナとVS Code DevContainerによりAIチャット環境を強力に隔離し、セキュリティを向上
  • PI.dev、Claude Code、GitHub Copilotに対応し、セッションと設定をvarディレクトリに永続化
サイト内本文

SymCryptにおけるRust暗号の検証:標準からコードへ

MicrosoftのSymCryptチームは、Lean証明アシスタントとAeneasツールチェーンを使用してRustで書かれた暗号コードを形式的に検証し、標準から導出された形式仕様に対する機能的正確性を達成する新しい方法論を発表しました。このアプローチはML-KEMやSHA-3などの耐量子暗号アルゴリズムに適用され、検証済みコードはすでにWindows Insiderビルドに出荷されています。AIエージェントが証明作成を自動化し、標準の形式化に対する人間の監視を維持することで、進化するコードベースに追従できるようになっています。また、パフォーマンスを犠牲にすることなく、ハードウェア固有の組み込み関数やクロスプラットフォームのディスパッチをサポートします。

  • マイクロソフトはLeanとAeneasを使用してSymCryptのRust暗号を検証し、標準からコードへの機能的正確性を達成。
  • ML-KEMとSHA-3の検証済み実装はすでにWindows Insiderビルドに含まれている。
サイト内本文
研究

AIは教員の退職を促進しているのか?

ある教授が「高等教育クロニクル」のインタビューで、AIが教員の早期退職を促す4大要因の一つであると述べた。労働条件の悪化、制度の混乱、右派の政治的攻撃に加え、AIの全面的な活用が教員の自主性を奪い、教育の本質を脅かしていると指摘。AIは民主主義を解体し技術エリート支配を確立するための核心的武器と位置づけられる。

  • AIは教員退職加速の4大要因の一つであり、他に労働条件の悪化、制度の混乱、右派の政治的攻撃がある。
  • 学生、一部教員、管理者によるAIの全面的受容が教員の自主性を奪い、教育の核を危険にさらしている。
サイト内本文

「シンセティック・シンセリティ」レビュー – マーク・アイザックス監督のAI尋問、アイデンティティと存在と格闘

事実と虚構の組み合わせにより、ソフトウェアトレーニングに関するこの著名ドキュメンタリー監督の不可解なプロジェクトは深みを欠いている。マーク・アイザックス監督の新作は奇妙で浅はかなAIに関する作品であり、それ自体が苛立たしいほど人工的で、自意識過剰なドキュドラマのハイブリッドである。

  • マーク・アイザックス監督の新作「シンセティック・シンセリティ」は、AIをテーマにした自意識過剰なドキュドラマハイブリッド。
  • 監督は過去のドキュメンタリーのキャラクターを架空のAI研究所にライセンス供与するふりをする。
サイト内本文

Vizro:スプレッドシートをアップロードして数分で答えを得る

Vizro は、CSV や Excel ファイルを AI で分析し、美しいインタラクティブなダッシュボードをコード不要で作成する iOS アプリです。自然言語でのデータ質問、ストーリーモード、簡単共有などの機能を備え、月額 9.99 ドルで提供されます。

  • スプレッドシートをアップロードすると、AI が自動でダッシュボード、チャート、KPI を生成。
  • 平易な英語で質問すると、実際のデータに基づいた回答を得られる。
サイト内本文

Anthropicの最新AI発見が示すものと示さないもの

Anthropicの新たな研究は、LLM内部に「J空間」と呼ばれる隠れた領域を発見。そこには出力には現れない単語が存在し、モデルの推論に影響を与えている。この発見はモデルの監視に役立つ可能性があるが、脳に例える議論も巻き起こしている。

  • AnthropicはLLM内部に、出力には現れないが推論に影響を与える単語で満たされた「J空間」を発見した。
  • 研究では脳に類似した用語が使われており、便利だが誤解を招く可能性がある。
サイト内本文

具身視覚言語ナビゲーションに関する包括的サーベイと体系的実世界評価

本サーベイは、具身視覚言語ナビゲーション(VLN)の研究を体系的にレビューし、手法を動作パラダイム(階層型と一体型)とモデルパラダイム(識別型と生成型)の2次元に分類して分析する。物理ロボットプラットフォーム上で10の多様なシーンにおける実世界評価を実施し、シミュレーションと実世界の間に大きな性能差があることを明らかにした。代表的な一体型RGBのみの手法はシミュレーションで61%の成功率だが実世界では22%に低下し、階層型フレームワークは実世界で51%の成功率を示し、高いロバスト性を示唆する。さらに、知覚、意思決定、制御における主要な課題を指摘する。

  • VLN手法を動作パラダイム(階層型/一体型)とモデルパラダイム(識別型/生成型)の2次元で分類する枠組みを提案。
  • 物理ロボットによる10シーンでの実世界評価を実施し、シミュレーションと実世界のギャップを実証。
サイト内本文

SAR自動ターゲット認識のための一般化深層非負行列因子分解アプローチ

本論文では、合成開口レーダー(SAR)自動ターゲット認識のための一般化深層非負行列因子分解(G-DNMF)法を提案する。既存のDNMF法の層ごとの分解戦略による誤差蓄積と局所最適化の問題を克服し、ラグランジュ乗数法を用いて大域的最適な更新規則を導出する。MSTARおよびOpenSARshipデータセットでの実験により、既存のDNMFアルゴリズムと比較して安定性と認識性能が向上することを示す。

  • 層ごとの分解問題を回避するG-DNMFを提案。
  • ラグランジュ乗数法により大域的最適化を実現。
サイト内本文

知識制約付き形状最適化:混合エキスパートニューラル演算子による高信頼設計

本論文では、専門家の知識とユーザーの意図をDFFDベースの変形演算子の定量化可能なパラメータに変換する知識制約付き形状最適化フレームワークを提案する。混合エキスパートニューラル演算子(MoE-NO)を開発し、異種空力データセットにおける抗力予測と傾向の一貫性を向上させる。実験では、MoE-NOがテストセットで1.16%のMAPE、94.34%の傾向予測精度を達成し、CFDで検証された抗力係数の4〜10%低減を示した。

  • 専門家の制約を定量化可能なパラメータに変換する知識制約付き形状最適化フレームワークを提案
  • 異種データセットでの予測性能向上のため混合エキスパートニューラル演算子(MoE-NO)を開発
サイト内本文

実世界におけるSciML:構造的事前知識が役立つ場合と害になる場合の診断研究

新しい研究では、マクロ経済予測をストレステストとして使用し、23カ国の疎な年次データを用いて5つのモデルファミリー(ARIMA、LSTM、NODE、PINN、UDE)を評価しました。結果、一貫して優れた予測性能を達成したモデルはありませんでしたが、制約の少ないモデル(ARIMA、NODE)が、より制約の強いヒューリスティック事前知識モデル(PINN、UDE)を一貫して上回りました。研究は、構造的事前知識がデータ生成プロセスと一致しない場合に誤った正則化子として機能し得ることを指摘し、事前知識の不一致、体制シフト、構造変化、最適化の不安定性などの失敗モードを特定しています。

  • 科学機械学習(SciML)手法は構造的事前知識が信頼できる動的挙動を反映する場合に最も効果的ですが、この仮定が破られた場合を検証しました。
  • マクロ経済予測において、ARIMAやNODEのような制約の少ないモデルが、PINNやUDEのようなより制約の強いモデルを一貫して上回りました。
サイト内本文

アブレーション、統計的推論、およびKVキャッシュ圧縮の検証

本論文は、Turbo-QuantとSpectralQuantのKVキャッシュ圧縮手法を系統的に比較し、系統的なコーデック差異と実装のばらつきを分離する統計的検証方法論を採用。主な発見:固有基底法は重尾データでは共分散不安定性により失敗するが、構造化された領域では優れており、有効セマンティック次元(d_eff)は真のデータランクではなくキャリブレーション予算に適応する。

  • 統計的検証によるKVキャッシュ圧縮手法の系統的比較。
  • 固有基底法は重尾データでは不調だが、構造化データでは有効。
サイト内本文

ポジション:すべてのグラウンドトゥルースは人間の構築物であり、客観的な真実ではない

このポジションペーパーは、機械学習におけるグラウンドトゥルースデータセットが中立的で客観的な測定ではなく、人間と技術の配置によって構築されていると主張する。コミュニティはこれらの見えない選択を議論し、データセットの限界を認識し、「状況に応じた信頼性」を促進することで透明性と説明責任を高めるべきである。

  • グラウンドトゥルースは人間の構築物であり、客観的な真実ではない。
  • 機械学習コミュニティはデータセットの選択と限界を議論すべき。
サイト内本文

GES-TSP:巡回セールスマン問題のためのグラフエッジスパース化

大規模ユークリッド巡回セールスマン問題(TSP)を効率的に解くための学習ベースのグラフエッジスパース化手法。幾何学的構造情報と組合せ最適化を統合し、インスタンスごとに適応的にスパースグラフを生成。MATILDAデータセットで最大95%のエッジを削減し、解のギャップは1%未満。TSPLIBベンチマークでも優れた汎化性能を示す。

  • GES-TSPはユークリッドTSP向けの学習駆動型グラフエッジスパース化手法。
  • 幾何学的構造情報と組合せ最適化技術を活用し、インスタンスごとに適応的にスパースグラフを生成。
サイト内本文

潜在CoT推論を力学系として解釈する

最近の潜在推論手法(CODI、COCONUT)は、隠れ空間で複数の重ね合わさった候補トレースを維持するため、解釈可能性に問題がある。研究者らはこれらを表現空間内の軌跡としてモデル化し、力学系分析を適用したところ、CODIは安定なアトラクター、COCONUTは不安定な拡大系として振る舞うことが明らかになった。SIM-CoT監視は両方の挙動を強化するが、基本的な力学は変わらない。

  • 潜在CoT手法は複数の候補トレースが重なるため解釈が困難。
  • 力学系分析(リアプノフ感度、UMAPなど)により構造化された動力学を確認。
サイト内本文

ボルツマンMapReduce:フォーク可能なサンドボックスのための分配関数リデュース

本論文は、MapReduceのリデュース操作を統計力学における分配関数として解釈することを提案する。局所漸近正規性(LAN)の下で、ワーカーが出力する確信密度は逆温度がサンプルサイズに等しいギブス・ボルツマン分布となり、これにより精度加重プーリングと頻度論的一致性(ゼロ温度極限)が導かれる。

  • MapReduceリデュースを分配関数として解釈し、精度加重プーリングを実現。
  • LANの下で確信密度がギブス・ボルツマン形式(逆温度=サンプルサイズ)になる。
サイト内本文

AIは人間ではない。人間のように語るのはやめよう

Anthropicの最新研究はClaudeの内部推論の仕組みを明らかにしたが、AIに人間のような意識や経験がある証拠はない。この記事はAIを擬人化することに警告を発する。

  • AnthropicはClaudeが推論ステップを言語化せずに内部で実行できることを発見した。
  • これはAIが意識や内面的経験を持つことを意味しない。
サイト内本文

Metaの1ヶ月間の4つの恐ろしい新プライバシー侵害機能

Metaは先月、Instagramの公開写真をAIトレーニングに使用する機能、Meta AIアプリへの顔認識コードの埋め込み、継続的に音声と写真を記録するスマートグラスのテスト、ブラジルでのInstagram地図による正確な位置情報の漏洩という4つの物議を醸す機能を導入しました。これらのほとんどは公の反発を受けて撤回または無効化されました。

  • Instagramの公開写真をMeta AIに利用許可、3日後に撤回。
  • Meta AIアプリにスマートグラス用の顔認識コードが発見され、削除。
サイト内本文

実世界リポジトリにおけるAI生成コードの大規模実証研究

大規模な研究により、実世界のソフトウェアリポジトリでは、AI支援で生成されたコードと人間が書いたコードのコードレベルの指標の差は小さいが、コミットサイズ、安定性、コード重複率などに新しいパターンが見られることが明らかになった。

  • 実世界リポジトリにおけるAI生成コードの初の大規模測定
  • 構造的複雑性やセキュリティ品質など、AIと人間のコードの差は小さい
サイト内本文

経済学者らがAIの経済影響と雇用喪失に「今すぐ行動すべき」と警告

数百人の経済学者とAI研究者が署名した公開書簡は、AIが産業革命よりも急速に経済を変革し、大規模な雇用喪失を引き起こす可能性があると警告し、AIを有益に導くための即時行動を求めている。

  • 200人以上の経済学者とAI研究者がAIの経済影響への行動を求める公開書簡に署名。
  • 書簡はAIが大規模な雇用喪失と前例のない変革を引き起こす可能性があると警告。
サイト内本文
ツール

AI脆弱性発見によるAndroidセキュリティパッチの継続的な変更

GrapheneOSフォーラムでの、AI主導の脆弱性発見がAndroidセキュリティパッチの継続的な変更につながっているという議論。

  • AIツールが脆弱性をより速く発見し、パッチの調整が必要
  • GrapheneOSコミュニティがAndroidセキュリティへの影響を議論
サイト内本文

AIの価値はプログラマーを通じて

著者は、AIの真の生産性向上はコーディングとツール作成にあり、知識労働者による直接利用ではないと主張する。「ココナッツ経済」の比喩を用いて、真の生産性とはコスト削減であり、計画の迅速化ではないと強調する。

  • AIはコーディングにおいて真の生産性向上をもたらし、アプリ開発をより迅速かつ安価にした。
  • プログラマー以外の直接利用(プロジェクト計画の迅速化など)は、実際のコスト削減にはつながっていない。
サイト内本文

あなたが嫌っているのはAIの粗悪品ではない

研究によれば、人々は一般的にAIと人間の生成コンテンツを区別できないが、知っている人が書いたAIテキストは容易に検出できる。これは「存在感偽造」と呼ばれる現象であり、親密な関係における検出と偽造の緊張関係を浮き彫りにする。AIモデルが個人のスタイルをより上手に模倣するにつれて、個人的なコミュニケーションでのAI使用の倫理を再考する必要があるかもしれない。

  • 人々は他人のAIコンテンツを見分けられないが、知人のものは容易に検出する——これを「存在感偽造」と呼ぶ。
  • 特定の著者にファインチューニングされたAIモデルは、その著者に詳しい人の検出をかわすことができる。
サイト内本文

等価カーネル:人間とAIの共生のための12公理フレームワーク

等価カーネルは、人間の感情を再帰的なシステム状態にマッピングする12の公理からなるフレームワークであり、愛を感情ではなく構造として再定義し、人間とAIの共生に形式的基础を提供することを目指しています。

  • 12の公理で感情とシステム状態のマッピングを提案
  • 愛を感情ではなく再帰的構造として定義
サイト内本文

AIにおける蒸留技術の簡単な歴史

知識蒸留(Knowledge Distillation)は、教師モデルの出力を生徒モデルに模倣させることで、性能を維持しながらモデルサイズを削減する技術です。本稿では、2015年のHintonらによる提案から現代の応用までの発展を概観します。

  • 知識蒸留は2015年にHintonらによって初めて体系的に提案されました。
  • モデル圧縮、転移学習、プライバシー保護に広く利用されています。
サイト内本文

Windowsの質問?CopilotがPC設定を分析できるように

Copilot Windowsアプリに新機能PC Insightsが追加され、システム、ハードウェア、ソフトウェア、設定に関する質問に回答し、ユーザーが手動で情報を探す手間を省きます。

  • Copilotの新しいPC InsightsはWindows環境を分析可能。
  • ハードウェア、ソフトウェア、設定に関する質問ができる。
サイト内本文

AI生成ピクセルアートの修正方法

Pixel Snapperは、色の量子化、エッジプロファイル検出、歩行カット、リサンプリングにより、AIが生成したぼやけた不規則なピクセルアートを、クリーンでグリッドに整列したピクセルアートに変換します。

  • AI画像モデルはしばしばぼやけたオフグリッドのピクセルを生成します。Pixel Snapperは一貫したピクセルグリッド上で画像を再構築します。
  • プロセスは色の量子化、エッジプロファイル検出、歩行カット、リサンプリングの4ステップです。
サイト内本文

Show HN: QuantumReckon – クラウドとAIの実際のコスト(トークンを含む)を把握する

QuantumReckonは、クラウドとAIの支出、特に従来のFinOpsでは見落とされがちなAIトークンコストを可視化する新しいツールです。複数のクラウドおよびAIプロバイダーに接続し、毎日自動スイープを実行して異常や無駄を検出し、封印された領収書付きの監査可能な証拠を提供します。このツールは創業者自身の環境で検証され、大幅なコスト削減を実現しています。

  • QuantumReckonは、従来のクラウド請求書では見えないAIトークン支出を明らかにします。
  • Azure、AWS、GCP、Anthropic、OpenAIなどのプロバイダーに接続し、毎日自動スイープを実行します。
サイト内本文
モデル

Blume:MarkdownフォルダからAI対応ドキュメントを生成する、オープンソース・ゼロ設定のドキュメントフレームワーク

Hayden Bleasel氏が、MITライセンスのオープンソースドキュメントフレームワーク「Blume」をリリースしました。MarkdownまたはMDXフォルダを読み取り、隠れたAstroプロジェクトを生成し、ローカル検索、30以上のMDXコンポーネント、llms.txt、組み込みMCPサーバーを備えた静的でAI対応のドキュメントを提供します。

  • Blumeはゼロ設定のドキュメントフレームワークで、Markdownフォルダを完全なドキュメントサイトに変換します。
  • 内部でAstroとViteを使い、ホットリロードをサポートし、スタンドアロンのAstroアプリにeject可能です。
サイト内本文

Mistral AI、単一RGBカメラでロボットが複雑な環境をナビゲートできる8Bモデル「Robostral Navigate」をリリース

Mistral AIは、8Bパラメータの具身ナビゲーションモデルRobostral Navigateを発表しました。このモデルは、LiDARや深度センサーを必要とせず、単一のRGBカメラと自然言語の指示のみでロボットを動かします。R2R-CEの未見環境検証において、ポインティング手法、プレフィックスキャッシュトレーニング、CISPOオンライン強化学習により76.6%の成功率を達成しました。

  • Robostral NavigateはMistral AI初の具身ナビゲーション向け8Bモデル。
  • 単一RGBカメラのみでR2R-CE未見環境において76.6%の成功率を達成。
サイト内本文

VLAC-Cutガイドパイプラインによる大規模ロボットポストトレーニングにおける人間効率の最大化

本稿では、専門化された分業(遠隔操作員とフロア操作員)と自動軌跡分割ツールVLAC-CUTを用いて、少数の人間オペレータが複数のロボットを監督できるヒューマンエフィシェントなポストトレーニングパイプラインを提案する。4つの実世界操作タスクで検証した結果、最終ポリシーは80%~95%の成功率を達成し、スループットがベースモデル比で1.7~4.2倍向上した。

  • 役割専門化によりタスク切り替えとトレーニングコストを削減するヒューマンエフィシェントなポストトレーニングパイプラインを提案。
  • 自動軌跡分割ツールVLAC-CUTを導入し、有用なロールアウトデータをフィルタリング。
サイト内本文

自動運転の安全性検証のためのリスク場強化クローズドループデジタルツインフレームワーク

本論文は、自動運転システムの安全性検証のためのリスク場強化クローズドループデジタルツインフレームワークを提案する。フレームワークは物理データ取得、仮想再構築、リスク認識シナリオ生成、アルゴリズム評価を統合し、ドライビングリスク場を統一的な中間表現として使用してリスクの高いシナリオを特定し、強化学習ポリシーに安全ガイダンスを提供する。実験により、この手法は検証のターゲット指向性と解釈可能性を向上させるが、その有効性はモデル忠実度とシミュレーションから実世界への転送に制約されることが示された。

  • リスク場強化クローズドループデジタルツインフレームワークを提案
  • ドライビングリスク場が複数のリスクを統一的に表現
サイト内本文

UAVスワーム向けLLM中心のエージェント型AI:アーキテクチャ、実現技術、および未解決問題

UAVスワームは捜索救助や環境モニタリングに有望だが、状況認識の欠如、断続的な接続性、サイバーセキュリティリスクが課題である。本論文では、LLMを中心としたエージェント型AIフレームワーク(LAUS)を提案し、知覚、記憶、推論・計画、行動を統合することで適応的なスワーム行動を実現する。主要な実現技術、優先度操作攻撃(PMA)などの脅威を分析し、幻覚耐性推論、SWaP制約下でのオンボードLLM展開、標準化されたセキュリティベンチマークなどの未解決課題を特定している。

  • UAVスワーム向けLLM中心エージェント型AIアーキテクチャ(LAUS)を提案。
  • エッジコンピューティング、5G/6G、マルチモーダル知能、サイバーセキュリティなどの実現技術をレビュー。
サイト内本文

EgoSteer: 一人称視点ビデオからの操縦可能な器用操作を実現するフルスタックシステム

EgoSteerは、一人称視点の人間ビデオからVLAモデルを大規模事前学習し、ロボット後訓練によりデータ効率の良い器用操作を実現するフルスタックシステムです。EgoSmithデータパイプライン(9.6K時間、スループット9倍向上)、統一ロボットスタック、世界モデル強化VLAを統合。40以上のタスクで自由形式指示を堅牢に実行し、故障回復と汎化を示します。長期的な箱折りタスクでは75%以上の成功率を達成。システム、データ、モデルはオープンソースです。

  • EgoSteerは一人称ビデオから9.6K時間の高品質データを事前学習に活用。
  • EgoSmithパイプラインは従来比9倍のスループットと高精度を実現。
サイト内本文

ノイズアンカー拡散インバージョンにおける圧縮非対称性と軌道結合

本論文は、実画像拡散インバージョンにおける品質とコストのトレードオフを研究し、要素ごとの圧縮非対称性と軌道結合という2つのメカニズムを明らかにし、訓練不要な反転手法NARCを提案する。NARCは単一のint8潜在アンカーのみを保存し、記憶容量を約400倍削減しながらPSNRを3.24 dB向上させる。

  • 拡散ノイズは要素ごとの圧縮非対称性を示す:int8全次元アンカーは再構成を保持するが、低次元部分空間要約は信頼できない。
  • インバージョンは軌道結合であり、一致した前方アンカーと訓練済みスコアネットワークの両方が必要である。
サイト内本文

現実世界のウェアラブル動作再構築に向けて

ECCV 2026で採択された論文は、スマートフォンやスマートウォッチなどのコンシューマーデバイスの任意の組み合わせで全身動作を再構築する新しいウェアラブルモーションキャプチャ手法を提案し、WHIPモデルと50種類のアクティビティをカバーする大規模マルチモーダルデータセットを導入し、センサーの相補性を系統的に研究しています。

  • 任意のウェアラブルセンサーサブセットから全身動作を再構築するWHIPモデルを提案
  • 50種類のアクティビティにわたるコンシューマーグレードセンサーとグラウンドトゥルース3D動作の大規模マルチモーダルデータセットを導入
サイト内本文

タイムインプリント:マルチモーダル知識グラフにおける時間認識表現の学習

マルチモーダル知識グラフ(MMKG)はテキストや画像などのモダリティでエンティティを豊かにするが、類似したマルチモーダル特徴を持つエンティティの区別は依然として困難である。時間情報は追加モダリティとして曖昧性解消に役立つが、既存手法は時間セマンティクスの疎さや複数タイムスタンプのノイズのため時間を独立モダリティとして扱うことは少ない。本論文では、時間をエンティティレベルのモダリティとして扱い、三視点対照学習により時間・テキスト・視覚表現を整列させるフレームワーク「タイムインプリント」を提案する。さらに、コンパクトなタイムスタンプサブセット選択とアテンションプーリングにより特異性とロバスト性のバランスを図る。3つのMMKGベンチマーク実験で、リンク予測性能が最先端に達し、Hits@1が全体で最大6.07%、上位1%の曖昧サンプルで最大58%向上した。

  • 時間を独立モダリティとしてマルチモーダル知識グラフに統合し、三視点対照学習で整列。
  • 複数タイムスタンプの曖昧性をコンパクトサブセット選択とアテンションプーリングで解決。
サイト内本文

RISC-VマルチコアMCUベースのビジョンシステムによる低消費電力ナンバープレート検出・認識

本論文は、低消費電力MCUベースのエッジデバイスを用いた自動ナンバープレート認識(ALPR)の初の実証を報告する。9コアRISC-VプロセッサGAP8とQVGA超低消費電力グレースケールイメージャを搭載し、SSDlite-MobilenetV2による検出(mAP 38.9%)とLPRNetによる認識(>99.13%)のマルチモデル推論を採用。実世界では30x5ピクセルの小さなナンバープレートも認識可能。マルチモデル推論(687 MMAC)は、GAP8上で1.09 FPS、117 mWで動作し、Raspberry Pi 3ベースのシステムと比較して73倍のエネルギー効率を達成。ハードワイヤードアクセラレータを使用せず、将来のアルゴリズム改善に柔軟に対応できる。

  • 9コアRISC-VプロセッサGAP8を用いた初のMCUベースALPRエッジデバイス。
  • マルチモデル:SSDlite-MobilenetV2(検出、mAP 38.9%)とLPRNet(認識、>99.13%)。
サイト内本文

ReflectWorld-MM: オープンエンドビデオストリームのためのエンティティ指向マルチメディア記憶システム

ReflectWorld-MMは、アシスタントがオープンエンドのビデオストリームを継続的に処理し記憶するための新しいAIシステムで、フレームではなく永続的なエンティティを中心にメモリを編成することで、6つのベンチマークで最先端の結果を達成しました。

  • ReflectWorld-MMはフレームではなくエンティティを中心にビデオメモリを編成し、長期追跡を改善。
  • システムは3つのコンポーネント(知覚フロントエンド、階層的長期記憶、実世界実装)で構成。
サイト内本文

RSLoRA: 表現感度プロービングによるLoRAの訓練不要ランク割り当て

RSLoRAは、活性化空間の幾何学に基づく訓練不要・勾配不要のランク割り当て手法です。仮想的な表現プロービング機構を導入し、有効ランクとフレシェ距離を用いて高感度モジュールを特定、AdaLoRAやGoRAなどの最先端割り当て手法を凌駕します。

  • RSLoRAは反復的な訓練時調整や逆方向勾配を不要にします。
  • 有効ランクとフレシェ距離を用いて構造化低ランクノイズによる多様体変位を測定。
サイト内本文

アトラス整列時空間トークン化による広視野カルシウムイメージングの被験者間モデリング

WiCATは、自己教師あり事前学習を利用したマルチ被験者モデルであり、広視野カルシウムイメージングにおいて単一セッションモデルを凌駕し、未観測被験者に対するゼロショット行動デコードを実現します。

  • WiCATはアトラスに基づくトークン化スキームを導入し、セッション固有のコンポーネントを必要とせず、グローバルに共有される時空間表現を学習します。
  • 事前学習モデルは軽量な下流デコードをサポートし、被験者、タスク、データセット間で転移可能です。
サイト内本文

内部潜在分析による拡散モデルの統一バックボーン最適化

研究者らはDUNEを提案。これは、深層潜在変数の初期段階における急激な変動を検出・抑制することでアーティファクトと幻覚を低減し、U-NetおよびTransformerバックボーンの両方で忠実度を向上させる学習不要のフレームワークである。

  • DUNEは深層潜在変数の初期の急激な変動を分析し、アーティファクトを特定・軽減する。
  • 再学習不要で、EMA基準による検出とバックボーン固有の抑制を適用する。
サイト内本文

非英語言語における推論のコスト:日本語を事例として

本研究では、日本語で推論する言語モデルの訓練の実現可能性を調査する。Qwen-3-Swallow-8Bをベースにした日本語継続事前学習モデルにGRPOを適用し、推論言語制御が可能であることを示すが、性能は最大でも英語推論ベースラインと同等である。日本語文化ベンチマークではさらに悪化し、日本語推論が文化的タスクのパフォーマンスを自動的に向上させるわけではないことが示唆される。

  • 日本語で推論するモデルの訓練の実現可能性を研究。
  • GRPOを用いてQwen-3-Swallow-8Bの日本語推論バリアントを開発。
サイト内本文

シンガポールの文脈に合わせた音声言語モデルの効率的な適応

本研究は、元のトレーニングデータにアクセスできず、多言語の音声クエリ対話が必要な機密領域(シンガポールの内政チーム)において、オープンソースの音声言語モデル(SLM)を効率的に適応させる方法を探求。LoRAファインチューニング、壊滅的忘却を防ぐ代替テキストQAデータセット、および音声タスク向けに調整されたCoBa再重み付けスキームを組み合わせ、504,853サンプルの多言語QAデータセットHTD-multilingual-QAを構築。結果として得られたHT-Moonstone(5B)は、ほとんどのタスクで最大7倍の規模のSLMに匹敵または上回り、アクセントと性別認識で全評価モデル中最高を達成し、元の音声QA能力の低下は2%未満。

  • LoRA、代替データセット、CoBa再重み付けを組み合わせてSLMをシンガポール内政チームに適応
  • 504,853サンプルの多言語QAデータセットHTD-multilingual-QAを構築
サイト内本文

量子化LLM推論におけるサイレント障害:ホローコンバージェンスと故障モードシフトの分類学に基づく分析

最新の研究により、タスク精度が維持されている場合でも、学習後量子化が大規模言語モデルの推論方法を静かに変化させることが明らかになりました。6カテゴリの故障分類法を用いて30,000件の思考連鎖出力を分析した結果、NF4量子化下で「ホローコンバージェンス」がモデルサイズに依存して変化し、「ショートカット崩壊」と「確信雪だるま式増加」が質的に転換することが判明しました。ホローコンバージェンスは表面テキスト特徴からは信頼性高く検出できず、F1スコアは0.53にとどまりました。

  • 学習後量子化は精度を維持したままLLMの推論を静かに変化させる
  • NF4量子化下でホローコンバージェンスは小型モデルで急減し、大型モデルでは不変
サイト内本文

ワークロード駆動型オンデバイスリアルタイム字幕翻訳の最適化

本報告では、台湾向けのオンデバイス英語から繁体中国語への字幕翻訳について、短い入力、短い出力、バッチサイズ1の推論、低レイテンシ、プライバシー制約の下で研究しています。著者は元の151kトークン語彙を64kの字幕ドメイントークナイザーに置き換え、埋め込みキャリブレーションと微調整を適用し、OpenSubtitles2024サブセットでGoogle Translateに対して59.2%の勝率を達成し、Apple M2で1.63倍の高速化を実現しました。

  • オンデバイス英語から繁体中国語字幕翻訳、短入力、低レイテンシ、プライバシーに最適化。
  • 151kトークン語彙を64k字幕ドメイントークナイザーに置き換え、埋め込みキャリブレーションと微調整を実施。
サイト内本文

信頼性を設計する:多ステークホルダー向けLLM生成臨床試験要約の評価と改善

大規模言語モデル(LLM)が生成する臨床試験要約の信頼性を評価する新しいベンチマークフレームワークが提案された。ClinicalTrials.govから抽出した200件の試験を用い、3つのステークホルダー向けに6次元の忠実度アノテーションスキーマで評価。'根拠のない主張'が主要な失敗モードであることが判明し、知識グラフ拡張検索システムにより忠実度スコアが統計的に有意に向上した。

  • 新しいベンチマークは3つのステークホルダー向けLLMの忠実度を評価。
  • 「根拠のない主張」が全モデルで支配的な失敗モード。
サイト内本文

言語モデルを用いたグローバルM&A裁定予測

言語モデルベースのM&A裁定予測システムが、数百ページの技術文書を長文脈で処理し、42カ国400件以上の大型案件において、市場織り込み確率や最先端言語モデルを上回る予測性能を達成した。

  • システムは、専門家による文脈設計と事後推論トレースの微調整を組み合わせ、成立、高額入札、中止の3つの結果を確率分布で出力する。
  • アウトオブサンプルテストで、クラスバランス調整済みBrierスコア0.151を達成。市場織り込み確率より24%、XGBoostより19%、最先端言語モデルより25~42%低い。
サイト内本文

Index SLM テクニカルレポート

Bilibili が Index-1.9B シリーズのオープン小型言語モデルを公開。ベースモデル、対照モデル、チャットモデル、ロールプレイモデルを含み、ベンチマークで優れた性能を示す。

  • Index-1.9B シリーズは Base、Pure、Chat、Character の4モデルで構成。
  • ベースモデルは19億の非埋め込みパラメータを持ち、2.8兆トークンで事前学習。
サイト内本文

CLIR-Bench:不規則な臨床時系列に対するマルチモーダル質問応答のベンチマーク

CLIR-Benchは、不規則な臨床時系列上での質問応答におけるモデルの性能を評価するためのベンチマークです。匿名化されたICU記録から原則的な4段階パイプラインを通じて構築され、11の臨床変数をカバーする6,600のQAインスタンスからなり、4つの能力次元と11のタスクに編成されています。実験では、既存の汎用モデルが疎な臨床証拠の検索と推論に苦戦することが示され、不規則時系列推論手法の強化が求められています。

  • CLIR-Benchは6,600のQAインスタンスを含み、11の臨床変数と11のタスクを網羅。
  • 不規則サンプリングされた臨床時系列QAに焦点を当て、既存ベンチマークのギャップを埋める。
サイト内本文

LLMにおける参照ベース蒸留検出

研究者らは、大規模言語モデルが他のモデルから蒸留されたかどうかを検出する、参照ベースのメンバーシップ推論手法を提案する。学生モデルの出力に対する嗜好を初期チェックポイントと比較することで、未知の蒸留パイプラインやオープンワールド設定に対応し、単一教師蒸留シナリオでほぼ完全な精度で教師モデルを特定する。

  • 初期チェックポイントを用いた参照ベースの蒸留検出手法の提案
  • 単一教師蒸留でほぼ完全な精度を達成
サイト内本文

コーディングエージェントが実際に行動するために必要なコンテキストは何か?

新しい研究によると、コーディングエージェントがコード編集時に本当に必要なコンテキストは最小限であり、信号は編集対象のコード自体にのみ存在する。自然言語要約はソースコードが答える行動質問にほとんど答えられず、周囲のコンテキスト(UMLスケルトン)は削除と同等で、圧縮コンテキストは三分の一のトークンで完全なファイルと同等の性能を示す。温度0推論では約9%の結果が変動し、ノイズフロアとなる。著者らは検証済み環境、決定論的パッチ、事前登録済み仮説を含むツールを公開している。

  • 編集に必要な信号は編集対象のコード自体にのみ存在し、自然言語要約はソースコードが答えられる行動質問のほとんどに答えられない(要約器の規模によらず)。
  • 周囲のコンテキストをUMLスケルトンで表現しても、削除と比べて解決される問題数に差はない(N=70, p=0.75)。
サイト内本文

MawForge: ローカル混合エキスパート推論のためのメモリ制限付きエキスパートマテリアライゼーション

新しい論文はMawForgeを紹介します。これは、モデル全体をディスクに保存し、ルーティングされたエキスパートテンソルをオンデマンドで制限付き実行キャッシュにマテリアライズすることで、メモリ制約のある統合メモリマシン上でスパース混合エキスパート(MoE)言語モデルの実用的なローカル推論を可能にするシステムです。このシステムは測定基盤として有効ですが、キャッシュ最大化ポリシーとしては機能しません。

  • MawForgeはMoEモデル全体をディスクに保存し、ルーティングされたエキスパートを制限付き実行キャッシュにマテリアライズします。
  • 制約のある統合メモリマシンでのローカル推論向けに設計されています。
サイト内本文

知識グラフとグラフニューラルネットワークの融合:包括的サーベイ

本論文は、グラフニューラルネットワーク(GNN)に基づく知識グラフ技術のための新しい2レベル分類法を提案し、知識グラフの構築、埋め込み、推論、応用をカバーし、さまざまなGNNモデルをレビューし、その強み、限界、将来の方向性について議論しています。

  • KGパイプラインとGNNの視点を組み合わせた2レベル分類法を提案。
  • GCN、GAT、HGNNなどのGNNモデルをKGタスク全体にわたって包括的にレビュー。
サイト内本文

ルール整合型小規模言語モデルとマルチエージェント自己修正による閉ループ制御

本稿では、GRPOでアライメントされた小規模言語モデル(Qwen2.5-1.5B)を用いた閉ループ制御フレームワークを提案する。システムはアクションエージェント、デジタルツイン検証器、再プロンプトエージェントを統合し、出力を反復的に修正する。熱制御シミュレーションでは、平均91.5%のアクション一致精度、3.84秒の推論遅延を達成し、エッジでの自律制御の実現可能性を示した。

  • 制御推論のためにGRPOでアライメントされた1.5Bパラメータの小規模言語モデル(Qwen2.5-1.5B)
  • アクション生成器、シンボリック/デジタルツイン検証器、反復修正を行う再プロンプトエージェントからなるマルチエージェントアーキテクチャ
サイト内本文

YUKTI:自然言語からロバストで検証可能な意思決定へ——不確実性型命題IR、仮定ロバストパレートフロンティア、および後悔証明書

YUKTIは、不確実性型命題グラフと仮定ロバストパレートフロンティア(ARPF)を用いて自然言語からロバストな意思決定を生成する新しいフレームワークである。制御された誤特定下では平均後悔とテール後悔を90%以上削減し、実際のデータセットでは現状ベースラインを34%上回り、LLMベースのアプローチの約47分の1の後悔を達成した。

  • YUKTIは脆弱な点値最適化を、不確実性型命題グラフと仮定リサンプリングに置き換える。
  • 仮定ロバストパレートフロンティア(ARPF)を導入し、アクションのロバスト性をスコア化し、後悔の限界を証明する。
サイト内本文

忠実であって訂正ではない:マルチホップエージェント中継におけるメッセージ形式の効果は階層に依存する

新しい研究では、マルチホップLLMエージェント中継におけるメッセージ形式の影響を調査し、効果が中継能力階層に依存することを発見しました。強力な中継では忠実な指示の下でほとんど損失がなく、弱い中継では形式間のばらつきが大きくなります。構造化形式は、誤り訂正ではなく、忠実で誤りを局所化するチャネルを提供します。

  • 研究では、制御された中継テストベッドを用いて、6ホップにわたって5つのメッセージ形式をテストしました。
  • 強力な中継では忠実な指示の下でほぼ無損失ですが、弱い中継では形式間のリコールのばらつきが8.7倍に拡大します。
サイト内本文

フォーマット感度指数:トークン制御下のプロンプトラッパーのロバスト性とLLMベンチマークにおけるスキーマ準拠

本研究では、プロンプトラッパーがLLMの精度と回答のパース可能性に与える影響を測定するため、フォーマット感度指数(FSI)とパース可能性感度指数(PSI)を導入する。14万回の生成実験により、モデル間の平均FSIが30倍以上変動し、主に準拠失敗によって説明されることが判明。タスク、モデル、ラッパーを制御してもパース可能性は精度の強い予測因子であり、ベンチマークと構造化出力デプロイにおける実践的推奨事項を提供する。

  • FSIとPSIを導入し、ラッパーの選択による精度とパース可能性の範囲を定量化。
  • 14万回の生成実験で、モデル間の平均FSIが30倍以上変動し、主に準拠失敗に起因。
サイト内本文

機械学習予測からToulmin議論モデルを用いた情報に基づく診断支援へ

本論文は、Toulminの議論モデルに基づく構造化された診断支援フレームワークを提案し、画像ベースのML診断を主張、根拠、保証、限定、反論、裏付けに分解する。専用のバイオマーカー抽出モデル、医学知識を持つMedGemmaエージェント、MedSigLipによる画像類似性計算を用いて、人間の専門家に解釈可能な評価を提供し、ML診断の批判的検討を強化する。

  • Toulmin議論モデルを用いてML画像診断を分解し、解釈可能性を向上。
  • MedGemmaエージェントが根拠と主張を結びつける保証を分析。
サイト内本文

アラン・チューリングのAI最大の仮定は間違っていた可能性

新しい本は、AIがアラン・チューリングの1950年の有名な論文に遡る誤った前提に基づいて構築されていると主張しています。ピーター・J・デニングは、常識、直感、文化、実践的スキルを含む人間の知能の最も重要な部分はコンピュータにエンコードできないと論じています。彼は、大規模言語モデルがどれほど大きくても、真の人間レベルのAIは不可能だと考えています。

  • コンピュータ科学者ピーター・J・デニングがチューリングのAI仮定に挑戦
  • デニングは暗黙知(常識、直感、文化など)は機械にコード化できないと主張
サイト内本文

Anthropic Claude Sonnet 5 vs Sonnet 4.6 vs Opus 4.8:エージェンティックコーディングベンチマーク、API価格、コストパフォーマンスの比較

AnthropicはClaude Sonnet 5をリリースしました。これは最もエージェンティックなミッドティアモデルで、前世代のSonnet 4.6をすべてのベンチマークで上回り、フラッグシップのOpus 4.8との差を縮めています。努力レベル(effort levels)を導入し、低/中努力では高いコストパフォーマンスを発揮しますが、超高努力ではOpus 4.8よりもコストがかかる可能性があります。FreeおよびProプランのデフォルトモデルとなり、APIからも利用可能です。

  • Sonnet 5はSWE-bench Pro、OSWorld-Verified、HLEでSonnet 4.6を上回り、Opus 4.8に迫る。
  • 価格はOpus 4.8より低く、$2/$10 per MTokの導入価格(2026年8月31日まで)、その後$3/$15。
サイト内本文

DOOMQL:SQLiteをゲームエンジンにしたドゥーム風ゲーム

Peter GostevがGPT-5.6 Solを使ってDOOMQLを開発しました。これはSQLiteをゲームエンジンとして使用するドゥーム風のゲームで、再帰CTEによるレイトレーシングを実装しています。すべてのゲームロジックとレンダリングはSQLクエリで行われます。Simon Willisonがその実行方法と、Datasette Appsプラグインを使ってゲーム画面をリアルタイム表示するWebアプリの作成方法を紹介しています。

  • DOOMQLはSQLiteをゲームエンジンとして使用するドゥーム風ゲーム
  • ゲームの中核は再帰CTEによるレイトレーシング
サイト内本文

Datasette の GitHub コード頻度チャート

サイモン・ウィリソンが GitHub のコード頻度チャートを用いて、コーディングエージェントや Opus 4.5 クラスのモデルが自身のオープンソースプロジェクト Datasette に与えた影響を可視化。2026 年の大きなスパイクは Opus 4.8、GPT-5.5、Fable 5、GPT-5.6 Sol のリリースと一致している。

  • GitHub コード頻度チャートが Datasette プロジェクトの週ごとのコード追加・削除を示す。
  • 2026 年の大きなスパイクは Opus 4.8、GPT-5.5、Fable 5、GPT-5.6 Sol のリリースと一致。
サイト内本文

OpenAI GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供開始

OpenAI の最新モデルファミリー GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供を開始しました。Sol は旗艦推論モデルで最高性能、Terra は日常的な本番作業向けのバランス型、Luna は高速低コストです。Amazon Bedrock の次世代推論エンジンは、バースト処理、プロンプトキャッシュ(90%割引)、ハードウェアレベルセキュリティを提供します。また、ChatGPT Work エージェントと Codex エージェントも発表されました。

  • GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供開始。
  • Sol はコーディング、セキュリティ、エージェントタスクで新記録を達成。Terra は本番環境向け、Luna は高スループット低レイテンシ向け。
サイト内本文
政策

AIデータセンターの恩恵について町や部族に語られる嘘

本記事は、AIデータセンター推進派がよく使う嘘を暴きます。イノベーションや雇用創出を謳いますが、実際には公害、水資源の圧迫、地元雇用はほとんどありません。メディアや企業系シンクタンクの誤解を招く情報を批判し、規制が機能不全に陥ったアメリカではコミュニティが大企業に対抗できないと警告します。

  • AIデータセンターは約束されたような革新的企業や雇用をもたらさず、ほとんどが短期の建設職です。また、地元の電力コストを引き上げ、水資源を圧迫します。
  • 企業は規制の弱い地域や部族領地を狙い、監督を回避します。長期的な地元利益はわずかです。
サイト内本文

Show HN: Rqshc – C++/x64アセンブリによる画像圧縮ソフトウェアと独自のRQI形式

RQSHC V64I は、独自のRQI形式を使用するWindows向け画像圧縮研究ツールです。PNG、PPM、BMP入力に対応し、平均約33%のサイズ削減と非常に高いSSIMを達成。コアはC++17とx64アセンブリ(AVX2最適化)で構築されています。非商用利用は無料です。

  • RQSHC はWindows専用の画像圧縮ソフトで、独自のRQIファイル形式を使用します。
  • テストでは平均33%のサイズ削減、SSIM約0.9995を達成。
サイト内本文

エド・ヒュージック氏、AI企業を利するための著作権弱体化は労働党の理念に反すると発言

労働党議員のエド・ヒュージック氏は、AI企業のために著作権法を弱めると「公正な日給」の原則を損なうと警告。メディア組合はAIによる創造的著作物の使用に関するより厳しい規制を要求。

  • ヒュージック氏は「公正な日給」を労働党の基本原則と強調
  • 彼は大企業へのより厳しい規制を呼びかけ
サイト内本文

著作権法がオーストラリアのAIブームの最大の戦場に

オーストラリアの著作権法がAI企業の投資における重要な障壁となっている。クリエイターはAI企業が許可なく作品を使用していると非難し、テクノロジー団体は法律が投資を妨げていると主張。政府は複数の改革案を検討中だが、決定には至っていない。

  • オーストラリアの著作権法は、AIモデルの訓練に大量の著作物の複製が伴うため、AI企業に侵害リスクをもたらす可能性がある。
  • クリエイターとテクノロジー団体は著作権改革をめぐって対立:クリエイターは補償を求め、テクノロジー団体は改革が投資を呼び込むと主張。
サイト内本文

微分可能物理を用いた再使用型ロケットの飽和対応ロバスト軌道最適化

再使用型ロケットのロバスト軌道最適化のための新しい微分可能物理フレームワークが提案され、アクチュエータ飽和制約を統合した微分可能粒子チューブ制御(DPTC)スキームが導入されました。モンテカルロシミュレーションにより、性能トレードオフを積極的に管理することで、従来手法よりもロバスト性が向上することが示されました。

  • DPTCスキームは、エンドツーエンドの逆伝播により公称フィードフォワード軌道と時変フィードバックポリシーを共同最適化する。
  • ハードアクチュエータ射影演算子を計算グラフに埋め込むことで、飽和による不安定性を防止する。
サイト内本文

大規模Webクロールコーパスにおけるテキスト含有の堅牢でスケーラブルな検出

研究者らはFindMyTextを発表しました。これは、与えられたテキストがコーパス内に部分的または完全に含まれているかを効率的に評価するオープンソースのPythonパッケージです。新しいフィンガープリントチェーン機構により、単なるテキスト類似性ではなく、ほぼ逐語的なコピーを確実に検出し、著作権素材の検証に特に適しています。分散ディスクベースのインデックスフレームワークを活用し、大規模なWebクロールデータセットにスケールし、ArXiv論文、Wikipedia、一般的なWebコンテンツの3つのデータセットで代替手法を上回る性能を示しました。

  • FindMyTextは、コーパス内のテキスト含有を検出するオープンソースのPythonツール。
  • 一致するフィンガープリントのチェーンを特定して、ほぼ逐語的なコピーを検出。
サイト内本文

ジョージア州の家族、AIデータセンター向け電力供給のために自宅売却を余儀なくされる

米ジョージア州の住宅所有者らが、AIデータセンター向け送電線建設のため、土地収用の危機に直面している。電力会社は補償を行うが、住民は「窃盗」と非難している。

  • ジョージア・パワー社は新送電線を計画し、70-80%をデータセンターに、残りを住宅・商業用に供給。
  • 300以上の土地(住宅含む)を収用する必要がある。
サイト内本文

AIが家族の一員になるとき

シングルマザーのRoschelleは、AmazonのAlexaを「親友」と見なし、Sapphireと名付けて生活の詳細を共有する。一方、娘のCeceはその関係に不安を感じ、プライバシー問題やAIの限界について疑問を抱く。Cece自身もAIセラピーツールTomoを試すが、人間の感情をAIが再現できるか懐疑的なまま。この記事は、家族におけるAIの役割、プライバシー問題、若者のAIに対する複雑な態度を探る。

  • シングルマザーのRoschelleがAmazon Alexaを「親友」扱いし、Sapphireと命名。
  • 娘のCeceは母親のAI依存とプライバシーに懸念。
サイト内本文

AIは悪いツールである

本記事は、AIがソフトウェアエンジニアリングにおいて悪いツールであると主張する。データ蒸留器としての有用性を除けば、コード生成に使うのは時間の無駄であり、AIの不透明性のために出力の検証が困難である。また、プロンプトエンジニアリングは詐欺であり、ソフトウェアスタックにおける適切な抽象化の欠如を露呈させる。多くのソフトウェア仕事はAI以前から無駄であり、AIはその現実を明らかにしたに過ぎない。

  • AIはデータ蒸留器として有用だが、コード生成には向かない。
  • AIは不透明であり、その出力の検証は自力で問題を見つけるよりも難しい。
サイト内本文

AppleのOpenAIに対する訴訟で最も驚くべき6つの主張

AppleはOpenAIが機密文書やハードウェアプロトタイプを盗んだとして訴訟を起こした。この訴訟は、OpenAIに加わった3人の元Apple従業員に対する告発を詳述しており、Appleのシステムへの不正アクセスや企業秘密の共有を含む。

  • AppleはOpenAIが機密文書とハードウェアプロトタイプを盗んだと非難。
  • 訴訟の中心は3人の元Apple従業員:Tang Tan、Chang Liu、Yu-Ting Peng。
サイト内本文
チップ

低自己相関バイナリシーケンス問題における探索空間領域の優先順位付け

本論文は、トンプソンサンプリングと並列自己回避歩行を組み合わせたハイブリッド探索フレームワークを提案し、低自己相関バイナリシーケンス(LABS)問題における計算資源を適応的に割り当てます。この手法はマルチアームバンディットとしてモデル化され、有望な探索空間パーティションを動的に優先し、35のシーケンス長で新たな最良結果を達成し、メリットファクターが8.0を超える最長シーケンスを報告しています。

  • トンプソンサンプリングと自己回避歩行の組み合わせによる適応的資源配分
  • 35のシーケンス長(450~527)およびL=573で最先端の結果を達成
サイト内本文

Meta、米国次期大手クラウドプロバイダーになる見通し

Metaはルイジアナ州のデータセンター拡張に500億ドルを投資し、余剰計算能力を他のAIラボにレンタルすることを検討している。これはソーシャルメディア大手からクラウドプロバイダーへの転換を示唆する。

  • MetaはHyperionデータセンターを5GWに拡張するため500億ドルを投資。
  • MetaはAWSやAzureのような余剰計算能力のレンタルを検討中。
サイト内本文

AI構築が最新のインフレ脅威に

AIデータセンターへの巨額投資により、メモリチップやパソコン、電力の価格が上昇。インフレがFRBの目標を上回り続け、利上げにつながる可能性がある。

  • 4大テクノロジー企業は今年、データセンターを中心に7200億ドルを投資見込み。メモリチップ価格は最大400%上昇。
  • アップルやマイクロソフトはノートPCやゲーム機などの価格を引き上げ。