AI News HubLIVE

政策の最新ニュース

「Vibe coding の粗悪品」:Port の CEO が無統制な AI 開発の問題を語る

Port は AI Builder を発表し、コンテキスト認識、ガバナンス、人間の監視を備えたエージェント型 SDLC を推進。CEO の Zohar Einy 氏は、無規律な「Vibe coding」を「粗悪品」と批判し、計画モードや Context Lake による組織コンテキストの活用を強調。コーディングスキルは構文記憶からコード読解と設計理解へ移行したと述べる。

  • Port が AI Builder をリリース、ガバナンスとコンテキスト認識を強化。
  • CEO は無統制な「Vibe coding」を「粗悪品」と警告、人間参加型を提唱。
サイト内本文

Mnemo AI – 失敗から学ぶローカルエージェントアシスタント(全LLM対応)

Mnemo AI は、LangGraph と LangChain をベースにしたローカルエージェント型AIアシスタントで、Ollama、Amazon Bedrock、OpenAI、Anthropic など複数のLLMプロバイダーをサポートします。MCPツールシステム、RAG、ユーザープロファイル学習、エピソディックメモリー、そして成功と失敗の両方から学ぶACEプレイブックを搭載。さらに、ウェブ検索、画像解析、ファイル操作、bash実行などの多彩な機能を備えています。

  • 複数のLLMプロバイダーに対応(ローカル・クラウド)
  • MCPツールシステムとRAGによるドキュメント検索を統合
サイト内本文

DOGE、住宅政策にAIを活用も政府は詳細を非公開

住宅都市開発省(HUD)のDOGEチームが政策決定にAIを使用していたが、同省が検討過程の特権を理由に関連文書の公開を拒否し、透明性への懸念が高まっている。

  • DOGEメンバーがHUDでAIを使い、廃止可能な規制を特定。
  • HUDは「AI特権」や大統領通信特権を理由にFOIA請求を却下。
サイト内本文

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

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

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

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

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

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

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

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

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

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

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

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

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引用は直接トラフィックにならなくてもブランド露出を高める。
サイト内本文

Google AI Studio の用途とは?

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

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

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

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

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

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

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

  • 自身のAPIキーとモデルで完全セルフホスト
  • Codex、Claude Max、GLMの3つの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企業に侵害リスクをもたらす可能性がある。
  • クリエイターとテクノロジー団体は著作権改革をめぐって対立:クリエイターは補償を求め、テクノロジー団体は改革が投資を呼び込むと主張。
サイト内本文

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、専用アプリから利用できる。
サイト内本文

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

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

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

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

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

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

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

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

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

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

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

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

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%)。
サイト内本文

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本稿では、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ベンチマークにおけるスキーマ準拠

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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。
サイト内本文

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

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

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

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

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

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

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

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

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

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 倍のクエリ高速化を実現。
サイト内本文

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

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

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

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

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

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

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は不透明であり、その出力の検証は自力で問題を見つけるよりも難しい。
サイト内本文

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の影響が緩やかで段階的であると示す。
  • 現在のエージェント評価は能力に偏り、信頼性などの実運用要因を軽視している。
サイト内本文

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

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

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

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 はトークン交換をネイティブにサポートし、エージェント側の実装は不要
サイト内本文

トピック

政策 AI ニュース | AI News Hub