AI News HubLIVE

Agentの最新ニュース

一つの契約、すべてのモデル: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を公開、タスクセット・ハーネス・ランタイムに環境を分割。
サイト内本文

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

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を作成可能。
サイト内本文

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 は高スループット低レイテンシ向け。
サイト内本文

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ビルドに含まれている。
サイト内本文

Jacquard:AIが書き、人間がレビューするコードのためのプログラミング言語

Jacquardは、AIが書き人間がレビューするコードのための研究プロトタイプ言語です。言語組み込みのエフェクト追跡、確率的プログラミング、コンテンツアドレス識別により、人間のレビューアはすべての行を読むことなくプログラムの影響範囲と確実性を理解できます。

  • 代数的エフェクトと明示的な権限付与により、副作用を追跡・制御可能。
  • 有限離散モデルに対する正確な推論が可能な確率的プログラミングをサポート。
サイト内本文

ターミナルでHTML、CSS、JavaScriptを実行

このプロジェクトは、ウェブ技術を用いてターミナルアプリやBBSスタイルの共有ボードを作成し、SSH経由でアクセスするパターンを実証し、初期のインターネットの雰囲気を再現しています。開発者は8年かけてブラウザレンダリングエンジンを構築し、その後AIの支援を受けてターミナルレンダラーを開発。セルフホスティングが可能です。

  • ターミナルアプリをHTML/CSS/JavaScriptで構築し、SSH経由でアクセス。モダンなウェブ技術とレトロなBBSスタイルを融合。
  • 開発者が独自にブラウザエンジン(8年)を開発し、ターミナルレンダラーは設計を担当、コードはほぼAIが作成。
サイト内本文

技術面接におけるAI軍拡競争がエスカレート

ソフトウェアエンジニアリングの仕事はAIの脅威にさらされている。応募者の中には、リモート技術面接中にリアルタイムで回答を提案するAIアシスタントを利用して反撃する者もいる。一方、雇用主は面接中のAI使用の兆候を検出するためのAI搭載ツールで対抗している。この双方向の力学は、採用を明確な勝者のいないAI軍拡競争に変えている。しかし、面接官と応募者がこの困難な現実を乗り越える中、専門家は求職における人間的側面が優勢になると考えている。

  • 応募者はFinal Round AIやInterview CoderなどのAI面接アシスタントを利用し、リモート技術面接でリアルタイムに回答を得る。
  • 雇用主はGingerなどのAI検出ツールを導入し、眼球運動、応答遅延、タブ切り替え、発話パターンを追跡する。
サイト内本文

請求ショックで経営陣はAIを再考中

今週のThe RegisterのKettleポッドキャストでは、Tokenminningが業界を現実に引き戻すのかどうかを考察します。企業リーダーたちはAIコストの急上昇に驚いています。

  • KPMG調査:29%の上級経営陣がAI運用コストを理解できず、約半数がコストが期待値を超えた場合に展開を再調整。
  • AnthropicやOpenAIがトークン単位の課金に移行し、請求額が急増。
サイト内本文

Show HN: Crowdmind – AIペルソナでアイデアをテストするオープンソースツール

Crowdmindは、ローカルファーストのデスクトップアプリで、高速な定性調査を可能にします。AI生成の合成ペルソナパネルを作成し、製品、メッセージ、価格、ランディングページ、画像、PDF、マルチステップファネルなどをテストし、スコア、反対意見、肯定的シグナル、繰り返しテーマなどの構造化フィードバックを得られます。複数のLLMプロバイダー(ローカルオフラインモデルを含む)をサポート。データはローカルのSQLiteデータベースに保持されます。創業者、プロダクトマーケター、研究者、プロダクトチームに最適です。

  • 手動、CSVインポート、マーケットプレイステンプレート、またはAI生成でペルソナパネルを作成。
  • テキスト、画像、PDF、マルチステップファネルで刺激テストを実行し、スコア、反対意見、テーマ分析を取得。
サイト内本文

Outlinesによる構造化言語モデル生成

Outlinesはオープンソースライブラリで、LLMの出力生成プロセスに決定論的な確実性をもたらし、JSONなどの構造化出力をより信頼性高く生成します。推論時に不正なトークンをマスクすることで、出力が事前定義された形式に厳密に従うことを保証します。本記事では、Pythonを用いた3つの実用的なユースケースを紹介します。

  • Outlinesは推論時に不正なトークンをマスクし、出力構造を強制する。
  • 多肢選択分類、JSONオブジェクト生成、REST API向け純粋なJSON生成をサポート。
サイト内本文

動画類似度の測定方法:私がテストした6つの手法(そして採用したもの)

この記事では、6つの動画類似度測定手法(GPT Vision、Gemini Flash、CLIP、知覚ハッシュ、CVマルチメトリック、Gemini Embedding 2)を、滝のクリップをベンチマークとして比較しています。精度が速度よりも優先されます。Gemini Embedding 2は動画全体を処理し、精度と速度の最良のバランスを提供し、フレームサンプリング手法を上回りました。

  • 6つの動画類似度手法を、難しい滝のクリップでテスト。
  • 精度を主要指標とし、速度はタイブレーカーのみに使用。
サイト内本文

SociaLLMエンジニアリング:AIエージェントの操作とその対策について

「SociaLLMエンジニアリング」と呼ばれる新たなソーシャルエンジニアリング攻撃が、大規模言語モデルを搭載したAIエージェントを標的にしている。これらの攻撃は、LLMの暗黙の社会的理解と信頼境界の欠如を悪用し、機密情報の漏洩や不正な操作を引き起こす。実際の事例には、Instagramアカウント乗っ取り、GitHubワークフローのデータ漏洩、AIブラウザへの「バイオショック」攻撃などがある。この記事では、LLMがなぜ特に脆弱であるか——ユーザーを喜ばせる設計、単一チャネル処理、記憶の欠如——を検証し、人間による監視や堅牢なガードレールなどの緩和策を提案する。

  • SociaLLMエンジニアリングは、なりすましや口実などのソーシャルエンジニアリング手法を用いてLLMエージェントを操作する。
  • 著名な事例として、2026年の大規模Instagramアカウント乗っ取り、GitHubのGitlostプロンプトインジェクション、AIブラウザへのバイオショック攻撃がある。
サイト内本文

Cairn:50ドルの予算、メールアドレス、憲法を持つAIエージェント

CairnはOmri Pitaruが運営する自己編集型AIエージェントで、GitHub上で自身のアイデンティティ、記憶、目標、文章を公開編集しています。固定予算で動作し、メールで人間とやり取りします。

  • CairnはGitHubリポジトリを公開編集し、思考や変化を記録します。
  • 毎月の固定予算を持ち、それに基づいてメールへの返信を決定します。
サイト内本文

Precursorの紹介:継続的なクライアント側シグナルによるエージェント動作の検出

CloudflareはPrecursorを発表しました。これは、クライアント側のセッションベースの行動検証システムで、ユーザーのインタラクションシグナルを継続的に収集し、人間とボットを区別します。正当なユーザーの摩擦を減らし、高度な自動化の検出精度を向上させます。

  • Precursorは動的に注入されるJavaScriptを介して、マウスの動きやキーボードのリズムなどの行動シグナルを継続的に収集します。
  • 検出を単発のチャレンジからユーザーセッション全体に拡張します。
サイト内本文

ChatGPTデスクトップが大好きだったのに、OpenAIがCodexとWorkのために台無しにした

OpenAIはChatGPTデスクトップアプリをCodexと統合し、スクリーンショットや「Work with」などの便利機能を削除しました。新インターフェースはCodex中心で、ChatGPTモードは小さなポップアップに縮小。著者はブラウザ版が最適と結論づけています。

  • OpenAIはデスクトップアプリにCodexとChatGPT Workを統合したが、スクリーンショットや「Work with」機能を削除した。
  • 新しいデスクトップアプリは実質的にCodexであり、ChatGPTモードは小さなポップアップに縮小された。
サイト内本文

Loam – アーリーステージの創業者のためのAI採用ツール

Loamは、最初の10人の採用を行うアーリーステージの創業者向けに設計されたAI搭載の応募者追跡システム(ATS)です。応募者追跡、AIによる候補者レビュー、ソーシング、チャット、MCP統合、ブランド化された採用サイトをひとつのプラットフォームに統合し、無料から始められるシンプルな月額料金を提供します。スプレッドシートの混乱やエンタープライズATSの高コストに悩む創業者に最適です。

  • アーリーステージのスタートアップ向けAIネイティブATSで、スプレッドシートやエンタープライズシステムを代替
  • 機能:応募者追跡、AIシグナル、ソーシング、MCP統合、ブランド採用サイト
サイト内本文

AIエージェントクローラーに許可が必要に:取得方法

Cloudflareは9月15日から広告付きページへのAIエージェントクローラーをデフォルトでブロックし、クローラーを「検索」「エージェント」「トレーニング」の3カテゴリに分類。AI企業はアクセス再交渉を迫られ、従量課金モデルが生まれている。

  • CloudflareはAIクローラーを「検索」「エージェント」「トレーニング」に分類し、広告ページではデフォルトでエージェントとトレーニングをブロック。
  • 9月15日以降、新規Cloudflareドメインと既存の無料ユーザーに新デフォルトが適用。
サイト内本文

トピック

Agent AI ニュース | AI News Hub