AI News HubLIVE

政策の最新ニュース

ロバート・レイドロウ:「リアリティ・イーターズ」アルバムレビュー

このNMCデビューアルバムは、アインシュタインの場の方程式やニュートンの万有引力、人工知能などをテーマにしたレイドロウの野心的なオーケストラ作品を収録。

  • レイドロウのアルバム『リアリティ・イーターズ』はアインシュタインの場の方程式、ニュートンの万有引力、人工知能などを探求
  • ピアノ協奏曲『ワープ』はアインシュタインの場の方程式に対する音楽的解答を提案
サイト内本文

EU、グーグルに検索データ共有とAndroid開放を強制

欧州連合(EU)はグーグルに対し、検索データの共有とAndroidオペレーティングシステムを競合AI企業に開放するよう求める新たな規制を発表した。これはテクノロジー大手の支配力を抑制し、イノベーションを促進するための措置だが、グーグルはユーザーのプライバシーやセキュリティを損なう恐れがあると警告している。

  • EUはグーグルに対し、匿名化された検索データを競合他社と共有し、サードパーティのAIアシスタントがAndroidで同等に動作することを要求。
  • グーグルは2027年1月までに、競合AIエージェントの音声起動とバックグラウンドタスク実行を可能にする必要がある。
サイト内本文

AI生成コードへの信頼を再構築するセマンティックコントラクト

AIのコード生成速度が人間のレビューを上回り、深刻な信頼危機が生じている。単体テストやプロンプトエンジニアリングだけでは不十分。本稿では「セマンティックコントラクト」を提案する。これは型安全でコンパイル時に検証可能な設計図であり、要件とコードの間に位置し、実装が誰(または何)によって書かれたかに関わらず正確性を保証する。ソートアルゴリズムとECサイトのチェックアウト例を用いて、コントラクトの構成要素、状態処理、既存システムへの統合方法を示す。

  • AIコードの不透明性とレビュー速度の限界が信頼を損なう。
  • セマンティックコントラクトは型付き状態とコンビネータでコンパイル時チェックを実現。
サイト内本文

AIの真のボトルネックはデータ配信にある

企業がAIを大規模に展開する中、パフォーマンスとROIの最大の障害は、データを処理するハードウェアではなく、データを移動させるインフラにある可能性がある。本記事は、GPUがアイドル状態になる原因は、多くの場合、ストレージからコンピュートへの非効率なデータパイプラインによる「データ飢餓」であると主張する。アプリケーション配信コントローラを用いた疎結合アーキテクチャによるデータフローの最適化を提唱し、到達可能性、ポリシー、配信という3つのレジリエンスの次元を強調する。

  • AIの性能問題は、多くの場合、計算能力ではなくデータ配信インフラに起因する。
  • ADCを用いた疎結合アーキテクチャは、ストレージとコンピュートを分離し、柔軟性と性能を向上させる。
サイト内本文

Gradle Technologies が Develocity に社名変更

Gradle Technologies は Develocity に社名変更し、AI 主導のソフトウェアデリバリーに特化します。同社は、AI がボトルネックを開発者からパイプラインに移したと指摘し、新たなガバナンスと効率性の必要性を強調しています。

  • Gradle Technologies が Develocity に社名変更、AI主導のソフトウェアデリバリーに注力。
  • AIによりボトルネックが開発者からパイプラインへ移行。
サイト内本文

Preempt AI v2 – AIは強力ですが、安全性も確保しましょう

Preempt AI v2は、AIアプリケーション向けのセキュリティ標準であり、MLを活用してプロンプトインジェクション、脱獄、データ漏洩を防御します。複数言語対応、レイテンシ10ms未満、精度99.65%。

  • Preempt AI v2は、プロンプトインジェクション、脱獄攻撃、データ漏洩からAIアプリケーションを保護します。
  • 機械学習モデルにより99.65%の検出精度を実現、12以上の言語と41以上の攻撃タイプをサポート。
サイト内本文

Meta、Instagramユーザーをタグ付けしてAI画像を生成する機能を削除

Metaが新たなAIツール「Muse Image」を発表したが、他人のアカウントをタグ付けしてその公開写真からAI画像を生成できる機能が批判を浴び、数日後に無効化された。ユーザーは手動で許可をオフにしない限り、写真がAI生成に使用される可能性がある。

  • MetaのMuse Imageは、Instagramアカウントをタグ付けしてAI画像を生成する機能を備えていたが、批判を受けて無効化された。
  • ユーザーは設定で手動で許可をオフにしない限り、公開写真がAI生成に使用される可能性がある。
サイト内本文

VulnHunter: エージェント型AIセキュリティツール

VulnHunter は、オープンソースのエージェント型AIセキュリティツールで、攻撃者優先の能動的分析をソースコードに直接適用します。悪用可能な脆弱性を特定し、誤検知を減らし、証拠に基づいた修正を提案します。

  • 従来の受動的なSASTスキャナとは異なり、攻撃者の思考をシミュレートして前方分析を行い、誤検知を削減。
  • 自身の発見を積極的に否定しようとする falsification engine を搭載し、優先度の高いアラートの正確性を保証。
サイト内本文

マイクロソフト、エンタープライズ規模でAIエージェントを展開

マイクロソフトのFoundryプラットフォームは現在、8万以上の企業がAIエージェントを構築するために利用されています。製品担当バイスプレジデントのMarco Casalaina氏へのインタビューでは、プロトタイプと本番環境のエージェントの違い、エージェントハーネスの重要性、そして信頼性の高いエージェントを実現するためのコンテキストレイヤーの構築方法について説明しています。

  • プロトタイプのエージェントは、モデルではなく周囲のハーネスの問題で本番環境で失敗する。
  • エージェントハーネス(ランタイム、ツール、アイデンティティ、コンテキスト)はモデル自体と同じくらい重要。
サイト内本文

Forall:仕様駆動型AIコーディングと形式検証

AstrioがForall(∀)を公開。仕様からコードと機械検証可能な証明書を自動生成するコーディングエージェント。CLIフルエージェントとMCP検証専用の2種類の利用方法を提供し、TypeScript、Java、Rustに対応。Apache-2.0ライセンス。

  • Forallはユーザーが記述した仕様に基づき、コードと形式証明を生成するAIコーディングエージェント。
  • CLIフルエージェントとMCP統合(検証のみ)の2つのモードを提供。
サイト内本文

米国ではAI生成物の著作権は認められない

米国著作権局は、AIが生成したコンテンツには著作権が認められないと裁定。ある著者が、AIが執筆した初期の草稿を保存していなかったため、人間による創作部分を証明できず、著作権申請が却下された事例が浮き彫りに。

  • 米国著作権局はAI生成物の著作権を否定。
  • 著者がAI生成部分の記録を残さず、著作権取得に失敗。
サイト内本文

『Doom』が教えてくれたAI支援インシデント対応の教訓

Rootly AIラボは、オープンソースのリアルタイムゲーム環境ベンチマーク「Doom Agent Arena」を開発。AIエージェントがMCPを介してDoomプレイヤーを制御し、インシデント対応に必要な推論、適応、意思決定能力を評価する。調査の結果、長い思考時間が必ずしも良い結果につながらないこと、エージェントが独自の「ランブック」を作成して効率化できること、迅速な判断が勝利に直結しなくても累積的に時間を節約できることなどが判明し、AI支援インシデント対応システムの設計に示唆を与えている。

  • Doom Agent Arenaは、ゲームフレームではなく構造化JSONを介して状態を観察し、高レベルな計画を立てることでLLMの推論能力をテストする。
  • 調査では、思考時間が長いエージェントほどパフォーマンスが低下する傾向が見られた。
サイト内本文

データセンターに血が流れる

本記事は19世紀のラッダイト運動の歴史的実態を掘り下げ、その戦略、成功と失敗を分析し、なぜ現代の反AI運動が単純にラッダイト主義を模倣できないかを論じる。著者は、ラッダイト運動の特定の歴史的背景、地方性、具体的な要求が現在のAIへの懸念とは根本的に異なると指摘する。

  • ラッダイト運動は19世紀イギリスの織物職人による機械自動化への暴力的抵抗
  • 運動は鎮圧されたが、短期的な勝利を収め、後の労働改革に影響を与えた
サイト内本文

MemDecay:LLMエージェントのための領域認識型KVキャッシュ削除戦略

新しい研究で、訓練不要の領域認識型KVキャッシュ削除ポリシーMemDecayが提案されました。セマンティック領域ごとに異なる優先度と減衰率を割り当て、固定キャッシュ予算下で重要な情報を保持します。実験では、システムトークンの半減期がスクラッチパッドトークンよりはるかに長く、ピンニングにより全設定で完全な精度を達成しました。

  • MemDecayはLLMエージェントのセマンティック構造を活用してキャッシュ管理を行う。
  • システムトークンの半減期(148~189ステップ)はスクラッチパッド(14~16ステップ)の10倍。
サイト内本文

OpenAI、AIモデルの安全性をテストするGPT-Redを発表

OpenAIのGPT-Redは人間とAIの協力によるレッドチーミングでモデルの安全性を評価する新手法だが、企業は自社のワークフローとの整合性を確認する必要がある。

  • GPT-Redは人間の専門家とAIエージェントを組み合わせたレッドチーミング手法
  • モデル安全性テストにおいて革新的なアプローチ
サイト内本文

AI蒸留に対するパニックを起こさない対応

この記事は、中国の研究所による米国最先端モデルの大規模蒸留を窃盗と見なす見解に異議を唱え、現在の知的財産法はその主張を支持しないと論じる。フロンティアモデルへのアクセス保護に焦点を当てた政策を推奨し、知的財産保護の拡大には反対する。

  • 蒸留はAI開発で一般的であり、モデル重みの窃盗とは異なる。
  • 大規模蒸留は利用規約に違反するが、現行法では営業秘密窃盗とはみなされにくい。
サイト内本文

実験から洞察へ:Dotmatics LumaとDatabricksがAI対応の科学を現実にする方法

Dotmatics LumaとDatabricksの統合により、機器データのサイロを解消し、連続的でFAIR準拠のデータパイプラインを構築することで、信頼性の高いAI駆動の研究を実現します。

  • Lumaは科学的コンテキストと機器接続を提供し、Databricksはエンタープライズ規模のストレージ、ガバナンス、AIツールを提供。
  • 両者は補完的であり、断片化された機器出力を構造化されたAI対応データに変換。
サイト内本文

Amazon Bedrock での Grok の提供開始

xAI の Grok 4.3 が Amazon Bedrock で一般利用可能になりました。構成可能な推論努力、強力なツール使用と指示追従、100万トークンのコンテキストウィンドウを備え、エージェントやエンタープライズワークロードに適しています。この記事では、その特徴、アクセス方法、基本的な使い方を紹介します。

  • Grok 4.3 は Amazon Bedrock 上で Mantle 推論エンジンを介して OpenAI 互換 API で利用可能。
  • 推論努力レベル(なし、低、中、高)を設定可能で、タスクに応じて調整。
サイト内本文

OpenAI、GPT-Redを詳細解説:社内自動レッドチームモデルがプロンプトインジェクションで人間のレッドチームを84%対13%で圧倒

OpenAIは、自己対戦強化学習を用いて防御LLM集団に対して訓練された社内専用の攻撃モデルGPT-Redを開発しました。再現された間接プロンプトインジェクション環境で、GPT-Redは人間のレッドチームの13%に対して84%の成功率を達成し、新たな「偽の思考連鎖」攻撃クラスを発見し、OpenAIの最も難しい直接インジェクションベンチマークでGPT-5.6 Solの失敗率を6倍削減しました。ただし、マルチターンや画像ベースの攻撃では依然として課題があると認めています。

  • GPT-Redは自己対戦強化学習で訓練された社内自動レッドチームモデル。
  • 再現された間接プロンプトインジェクション環境で、GPT-5.1に対する成功率84%(人間は13%)。
サイト内本文

プライベートクレジットにおけるAIの破壊的影響:BDCのソフトウェア企業向けエクスポージャー(BIS)

BISは、BDCがソフトウェア企業に約1150億ドルを融資しており、これは融資総額の5分の1、成長著しいテクノロジーポートフォリオの80%以上を占めると報告。生成AIによる収益不確実性はまだ影響を与えていないが、最近のクレジットスプレッド縮小が損失吸収力を低下させている。

  • BDCによるソフトウェア企業向け融資は約1150億ドル、テクノロジーポートフォリオの80%超。
  • 生成AIの不確実性はまだ融資の価格設定に影響していない。
サイト内本文

Linus Torvalds、Linuxカーネルのコードレビューにおける反AIの姿勢を非難

Linus TorvaldsはLinuxカーネルメーリングリストで、AI支援ツールを明確に支持し、AI生成コードを禁止する立場に反対した。彼はAIを「有用なツール」と位置づけ、Linuxは反AIプロジェクトではないと強調した。この発言は、パッチのバグの53.6%を発見するが誤検出率が20%未満の多段階コードレビューツールSashikoに関する議論に端を発する。TorvaldsはAIツールの急速な進化を指摘し、批判者に対して「自然知能も常に優れているわけではない」と皮肉った。

  • TorvaldsはSashikoツールを支持し、反AIの立場を退ける。
  • Sashikoはパッチの53.6%のバグを発見、誤検出率は20%未満。
サイト内本文

AIへのオプトインを強制するのをやめてください

ユーザーはテクノロジー企業がAI機能をデフォルトで有効にすることに不満を感じている。InstagramはAIチャットボットをデフォルトで有効にしたことで反発を受け、3日後に撤回した。プライバシー専門家は、プライバシー保護をデフォルトとする設定と連邦規制の必要性を訴えている。

  • InstagramがAIチャットボット機能をデフォルトで有効にし、3日間の抗議の後に撤回。
  • ユーザーやクリエイターは、AI機能へのデフォルトでのオプトインに疲れている。
サイト内本文

統一コンテキスト:エンタープライズAIコワーカーに欠けた層

AIアシスタントは作業の表面層に急速に広がっているが、実際のビジネス上の意思決定で結果を変えることはほとんどない。問題はコンテキストが分散していることと汎用AIの限界にある。DatabricksのGenie OneとGenie Ontologyは、統一コンテキストレイヤーを提供し、AIコワーカーが共有のビジネスマップ上で自動的にガバナンスを継承できるようにすることでこの問題に対処する。

  • エンタープライズAIコワーカーには、単純なタスクだけでなく実際の意思決定を支援する統一コンテキストが必要。
  • Genie Oneは共有コンテキストレイヤーを活用し、SlackやTeamsなどのツールでガバナンスが効いたデータに基づく回答とアクションを提供。
サイト内本文

ニューヨーク州知事、州内の「すべての規則」をAIで分析

ニューヨーク州のキャシー・ホークル知事は、新たなAIデータセンターのモラトリアムに署名したが、自身はAIを積極的に活用している。BloombergのOdd Lotsポッドキャストで、チームがAIを使って州のすべての規則・規制を分析し、時代遅れの法律を特定していると語った。例として、犬を狩猟に連れて行くのに25ドルの手数料、妊婦が深夜以降に働くには許可が必要といった法律を挙げた。AIにより、人手では5年かかる作業を数ヶ月で完了し、時代遅れの規制を撤廃できると述べた。ニューヨーク州は大規模データセンターの新設を最長1年間停止する最初の州となり、その間に公共料金上昇や天然資源への脅威に対処する規制を策定する。

  • ホークル知事はAIで州の全規則・規制を分析し、時代遅れの法律を特定。
  • AIにより、人手による5年分のレビューを数ヶ月で完了。
サイト内本文

Macアプリ「Echoo」:母語の下書きを自然な英語に変換

Echooは、母語で書いた文章をワンショートカットで自然な英語に変換するMac用AIライティングアシスタントです。Slackやメールなど、使い慣れたアプリ内で動作し、コピペ不要。プライバシーを重視し、無料トライアルあり。Pro版は月額$6.99。

  • EchooはmacOSのアクセシビリティ機能を利用し、対応アプリ内で直接動作。
  • 母語で下書きし、キーボードショートカットで瞬時に英語化。
サイト内本文

AIコンテキストギャップ:エンタープライズAI組織が抱えるのは検索問題ではなく信頼問題――大部分はまだ修正を構築中

101の企業を対象としたVentureBeat Pulse Researchの調査によると、57%の企業が過去6ヶ月間に、欠落または一貫性のないビジネスコンテキストに起因する、自信過剰で誤った回答をAIエージェントが生成した経験がある。検索拡張生成(RAG)がデフォルトのコンテキストソースであり、プロバイダーネイティブ検索(OpenAI 40%、Google 38%)が専用ベクトルデータベースを上回っている。しかし、36%はベストオブブリードのスタンドアロンツールを維持する意向を示している。ハイブリッド検索が2026年末までに主流になると予想され、58%がガバンドセマンティックレイヤーを構築中だが、本番稼働しているのは25%にとどまる。

  • 57%の企業が過去6ヶ月間に、不良コンテキストによる自信過剰な誤回答を経験
  • プロバイダーネイティブ検索(OpenAI 40%、Google 38%)が専用ベクトルDBをリード
サイト内本文

EU、GoogleにAIと検索の「おもちゃ」を他の事業者と共有するよう強制

欧州委員会は2つの仕様決定を発表。Googleに対し、競合他社との検索データ共有と、Android向けAI相互運用性の向上を求める。Googleはプライバシーとセキュリティを理由に反対。

  • EUはGoogleに対し、Android端末でサードパーティ製AIアシスタントがGeminiに代わって音声起動やアプリ操作を可能にすることを要求。
  • Googleは匿名化された検索データを他の検索エンジンやAIチャットボットと共有し、競争を促進する必要がある。
サイト内本文

Google DeepMindのAIバイオレジリエンス推進を検証

Google DeepMindとIsomorphic Labsは、生物学におけるAIの悪用を抑制し、感染症対策を支援するためのバイオレジリエンスプログラムを発表した。この取り組みは過去1年間に政府機関、バイオセキュリティ組織、研究グループとの15以上のパートナーシップを構築している。

  • プログラムは3本柱:悪用防止、感染症の早期検出、対応。ローレンス・リバモア国立研究所や英国AI安全研究所など15以上のパートナーシップ。
  • DNA合成スクリーニングが重要リスク。AIは既存スクリーニングを回避する配列を設計可能。
サイト内本文

エージェント評価ギャップ:エンタープライズAI組織はカバレッジ問題ではなく現実との整合性問題を抱えている——それでも大半が本番展開を進める

157のエンタープライズを対象としたVentureBeat Pulse Researchによると、組織はAIエージェントにより多くの自律性を付与する一方で、その自律性を制御するための評価への信頼は低下している。半数が内部評価を通過したエージェントを顧客に導入し失敗を経験。自動評価を完全に信頼するのはわずか5%で、最大の弱点は評価が現実の結果と一致しないこと。それでも3分の2は人間の介入なしに自動評価のみで本番展開を許可または構築中。結果として、評価ギャップ——エージェントに与えられる自律性と、失敗を捕捉するはずのテストへの信頼の差——が拡大している。

  • 50%の組織が評価通過後に顧客で失敗するエージェントを出荷、25%が複数回経験。
  • 自動評価を完全に信頼するのはわずか5%、最大の制約は現実との整合性の悪さ(29%)。
サイト内本文

AIベンダーはインフラ費用の支払い先を見つけた:それはあなたです

Forresterは、AIベンダーが値上げや使用量課金を通じてインフラコストを顧客に転嫁するため、来年のソフトウェア予算が大幅に増加すると警告しています。Anthropic、OpenAI、GitHub、マイクロソフトなどが使用量ベースの課金に移行し、企業のコスト懸念が高まっています。また、「AIによる解雇」にもかかわらず、IT人員支出は減少しておらず、2025年にはIT予算の35%を占めています。Forresterは、予測不能なAIコストを管理するためにFinOpsプラクティスの適応を推奨しています。

  • Forresterは、AIベンダーが値上げや使用量課金でインフラコストを転嫁し、ソフトウェア予算が増加すると予測。
  • Anthropic、OpenAI、GitHub、マイクロソフトが使用量ベースの課金に移行。
サイト内本文

10代の若者が安全なAIにアクセスできるべき理由

OpenAIがChatGPTをティーンエイジャー向けに年齢に適した保護機能、学習ツール、ペアレンタルコントロール、専門家とのパートナーシップでいかに安全にしているかをご紹介します。

  • OpenAIは10代向けにコンテンツフィルターやセンシティブな話題の制限を含む安全機能を導入。
  • 学習ツールで若者がAIを教育に効果的に活用。
サイト内本文

マスク氏のxAI、Grokを使って児童性的虐待素材を作成したとされるユーザーを提訴

イーロン・マスク氏のAIスタートアップxAIが、自社のAIシステムGrokを悪用して児童性的虐待素材を作成したとして、サウスカロライナ州の男性を提訴した。これはAI企業がユーザーを相手取り、AIシステムを使って児童虐待素材を生成したとされる初めての訴訟の一つ。

  • xAIは今年初めに未成年者性的搾取の容疑で逮捕されたテリー・ハーウッド氏を提訴。
  • 訴訟では、ハーウッド氏が利用規約に違反し、Grokを使って児童性的虐待素材を作成したと主張。
サイト内本文

Piコーディングエージェントの使い方

この記事では、最小限の設計哲学を持つAIコーディングエージェントPiを紹介します。コア機能のみを提供し、拡張ポイントを介してカスタマイズできる点が特徴です。インストール方法、認証、カスタム拡張の作成方法を解説し、実際の使用における利点を評価します。

  • Piは、AIコーディングツールの肥大化に対抗するために設計されたミニマルなエージェントです。
  • 読み取り、書き込み、編集、bashの4つのコアツールのみを提供し、ユーザーが拡張を構築することを推奨します。
サイト内本文

AnthropicのClaude Corps、早期キャリア専門家1000人に8万5000ドルを支給 - 今すぐ応募

AnthropicのClaude Corpsフェローシップは、非営利団体でClaudeを使用する早期キャリア専門家に年俸8万5000ドルと福利厚生を提供します。応募期限は7月17日。

  • 応募締切は7月17日、12ヶ月のフェローシップで8万5000ドル支給。
  • フェローは米国の非営利団体とマッチングされ、AIをコミュニティに展開。
サイト内本文

Linus Torvalds氏が断固たる姿勢、AI反対のプログラマーに「フォークしろ」

Linus Torvalds氏は、Linuxカーネル開発におけるAIの利用を断固支持し、AIは有用なツールであり、反対する者はプロジェクトをフォークすべきだと述べた。Greg Kroah-Hartman氏やJames Bottomley氏など他の主要メンテナーもAI統合を支持し、AI生成の貢献が質的に向上したと指摘する。Torvalds氏は技術的価値を優先し、AIはカーネルコミュニティに定着すると強調する。

  • Torvalds氏はLinux開発におけるAIの利用を明示的に許可し、反対者にはフォークを勧告。
  • Greg Kroah-Hartman氏やJames Bottomley氏など、他のトップメンテナーもAI統合を支持。
サイト内本文

AIで先を行くための10のYouTubeチャンネル

AIエンジニア向けの10のYouTubeチャンネルを紹介。論文解説、コーディングチュートリアル、業界分析をカバーし、研究、実践構築、コアコンセプト、業界分析の4カテゴリに分類。

  • 研究論文解説、実践的AI構築、コアコンセプト教育、業界分析の4カテゴリから10チャンネルを推薦。
  • 各チャンネルの注目プレイリストやビデオタイプをハイライト。
サイト内本文

EU、グーグルにAndroidと検索を競合他社に開放するよう命令

欧州連合は、デジタル市場法に基づき、グーグルに対し、競合他社のAIアシスタントや検索エンジンがAndroidとGoogle検索の主要部分にアクセスできるようにするよう命じました。これにより、グーグルの二大プラットフォームに対する支配力が弱まり、競合他社に新たな機会が生まれる可能性があります。

  • EUは、Android上の競合AIアシスタントに、Geminiと同等のシステム機能とデータアクセスを提供するようグーグルに義務付け。
  • Google検索は、競合検索エンジンやAIチャットボットにより多くのデータを共有する必要あり。
サイト内本文

Show HN: Rackp – AIエージェントがインシデントを引き起こした際の過失を導出するプロトコル

RACKPプロトコルは、審判・行為者・請求者・保管者の4つの役割を通じて、AIが引き起こすインシデントにおける過失寄与度と人間の関与を導出する分散型フレームワークです。標準化された検証可能なプロセスにより、AI責任のためのインフラを提供し、保険市場の形成と高リスク領域でのAI開発を促進します。

  • RACKPは、各インシデントにおいて審判、行為者、請求者、保管者の4つの独立した役割を定義し、厳格に分離します。
  • プロトコルは、宣言された規範に基づいて過失寄与スコア(合計1.0)を出力し、AI保険のアクチュアリー価格設定を可能にします。
サイト内本文

Show HN:Cybara – Bun で構築されたオープンソース AI エージェントプラットフォーム

Cybara は、Bun ベースのエージェントランタイム、Web UI、CLI、デスクトップシェル、モバイルコンパニオン、暗号化ウォレット制御、チャンネルアダプター、MCP サポート、そして広範なツールレイヤーを組み合わせたセルフホスト型 AI エージェントオペレーティングシステムです。マルチエージェントオーケストレーション、ブラウザ自動化、安全なメッセージング、暗号化ウォレット操作をサポートします。

  • Bun をベースに構築され、セルフホスティングや複数のデプロイ方法をサポート。
  • 豊富なビルトインツールライブラリとモデルプロバイダールーティング、マルチエージェント連携。
サイト内本文

コンピューター警察:AIを警察に販売する大ビジネスの内部

本記事は、米国の警察がAIに依存する傾向の高まりを探り、テキサス州フォートワースで開催された国際警察署長協会(IACP)テクノロジー会議で展示された、顔認識、自動報告書作成、リアルタイム犯罪センターなどのAI製品を紹介しています。AIは効率化を約束する一方で、規制不足と透明性の欠如が深刻な問題を引き起こす可能性があり、初期の予測型警察活動の失敗例も取り上げられています。

  • 顔認識カメラや自動報告書作成ツールなどのAI製品が警察技術会議で宣伝されている。
  • AxonやMotorolaなどの企業は、サブスクリプションモデルを通じて警察技術スタックの独占を目指している。
サイト内本文

AIと核戦争に関するノーベル賞受賞者世界会議:概要、引用、ビデオ

200人以上のノーベル賞受賞者と世界のリーダーがローマに集まり、AIと核戦争をテーマにした3日間の会議が開催されました。会議は教皇レオ14世の回勅に触発され、フアン・マヌエル・サントスやムハンマド・ユヌスなどの著名人が講演し、最終的に人間の尊厳、協力、平和を強調する「ローマ宣言」が署名されました。

  • ノーベル賞受賞者世界会議には200人以上の受賞者が集まり、AIと核戦争のリスクを議論。
  • 教皇レオ14世の回勅「マニフィカ・フマニタス」に触発された。
サイト内本文

「恋人みたい」:中国のユーザーがAIコンパニオンに別れ

中国の新規制が水曜日に発効し、感情依存のリスクを抑制するため、大手AIプラットフォームがカスタムコンパニオン機能を停止。ユーザーは悲しみの別れを告げている。

  • 新規則はAIコンパニオンがユーザーに過度に迎合したり、感情依存を誘発することを禁止。
  • ByteDance、Alibaba、Tencentなどの主要プロバイダーが機能を停止。
サイト内本文

Neko Health、AIボディスキャンを米国に展開するために7億ドルを調達

Neko Healthは、米国でAIを活用した予防的健康スクリーニングサービスを開始するために、シリーズCラウンドで7億ドルを調達しました。最初の拠点はニューヨークです。同社は全身スキャン、血液検査、医師によるレビューを組み合わせています。

  • Neko Healthは、AIボディスキャンサービスを米国に拡大するため7億ドルを調達。
  • ラウンドはLightspeedとO.G. Venture Partnersが主導し、セレブも参加。
サイト内本文

Spotify、7500万曲の「AIスロップ」を削除し、AI音楽の透明性を推進

Spotifyは7500万曲のAI生成低品質音楽をプラットフォームから削除し、アーティストがAI使用を開示できる新機能を導入した。

  • Spotifyは7500万曲の「AIスロップ」を削除した。
  • アーティスト検証プログラムとAIクレジット機能により、AI使用の透明性を確保。
サイト内本文

DocuWriter.aiで、ドキュメントが笑顔を届ける:)

DocuWriter.aiは、コードベースから完全な書籍形式のドキュメント、APIドキュメント、UML図を自動生成し、コードの変更に合わせて自動同期するAIコードドキュメンテーションツールです。

  • リポジトリを接続するだけでドキュメントを自動生成
  • GitHub、GitLab、Bitbucket、Azure DevOpsをサポート
サイト内本文

セマンティックトランザクション:OS境界での信頼できないAIエージェントワークフローの保護

セマンティックトランザクションモデルは、AIエージェントのタスク全体を単一のアトミックトランザクションとして扱い、シャドウ状態とエフェクトアウトボックスでステージングし、コミット前に全軌跡の検証を行います。本記事では、CordonとATPを例に、このモデルがエージェントツール呼び出しの二重書き込み問題を解決する仕組みを説明し、EchoLeakとForcedLeakの2つのゼロクリックインジェクション攻撃を通じて、ステートレスランタイムとモデル内フィルターの限界を明らかにします。

  • セマンティックトランザクションは、エージェントのツール呼び出しシーケンスを単一トランザクションとして扱い、シャドウ状態とエフェクトアウトボックスにステージングし、検証後にのみコミットする。
  • Cordonランタイムは3フェーズプロトコル(準備、検証、コミット/アボート)を実装し、結果オブジェクト、ミューテーション、エフェクトオブジェクトを追跡する。
サイト内本文

Patter SDKを使用したレストラン予約電話エージェント構築ガイド:動的変数、ガードレール、レイテンシーダッシュボード、評価チェック

このチュートリアルでは、Patter SDKを使用してレストラン予約のユースケース向けに音声エージェントワークフローを構築する方法を詳しく説明します。動的呼び出し変数の定義、空席確認、予約、営業時間、人間への転送のためのツール登録、出力ガードレールの適用、音声認識と音声合成のシミュレーション、スクリプト化された通話フローの実行、ダッシュボードでのレイテンシーとコストの追跡、決定論的評価ハーネスを用いたエージェントの検証を行います。最後に、同じロジックをTwilioとOpenAI Realtimeを使用した実際のデプロイにマッピングします。

  • Patter SDKは、動的変数とガードレールを備えたレストラン予約用のAI電話エージェントを構築できます。
  • 空席確認、予約、営業時間、人間への転送のためのツール登録を含みます。
サイト内本文

著名Haskell離反者、反AI純粋主義者から非難される

HaskellベースのプラットフォームScarfの創業者Avi Pressが、AI開発支援への適応の遅れを理由に、新規開発をPythonに移行すると発表。Haskellコミュニティ内で激しい議論を巻き起こし、AI時代への対応を巡り意見が分かれている。

  • Scarf創業者Avi Press、AIツールチェーンの問題からHaskellからPythonへの移行を決定。
  • Haskellのコンパイルの遅さがAIエージェント開発のボトルネックに。
サイト内本文

トピック

政策 AI ニュース | AI News Hub