Skyfall AI、MORPHEUSをリリース:構造化非定常性下で継続的強化学習を必要とする永続的エンタープライズシミュレーションベンチマーク
Skyfall AIのMORPHEUSは、継続的強化学習のための永続的なエンタープライズシミュレーションプラットフォームです。リセットされない世界を実行し、パラメータ化可能な体制シフトと6つのメトリクス評価プロトコルを使用します。PPO、HER、EWC、LCMはすべて理論上の上限を大きく下回っています。
- MORPHEUSは、エピソード型の強化学習ベンチマークとは異なり、リセットされない永続的なエンタープライズ世界を作成します。
- 5つの環境を提供し、そのうち2つ(プロセスアウトバウンドとプロセスインバウンド)が評価されました。
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以前から無駄であり、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倍多くのオブジェクトが含まれ、キャビネットの開閉やアイテムの配置などのインタラクションが可能です。
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 はトークン交換をネイティブにサポートし、エージェント側の実装は不要
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ワークロードキーによる送信者制約を提供します。
AppleのOpenAIに対する訴訟で最も驚くべき6つの主張
AppleはOpenAIが機密文書やハードウェアプロトタイプを盗んだとして訴訟を起こした。この訴訟は、OpenAIに加わった3人の元Apple従業員に対する告発を詳述しており、Appleのシステムへの不正アクセスや企業秘密の共有を含む。
- AppleはOpenAIが機密文書とハードウェアプロトタイプを盗んだと非難。
- 訴訟の中心は3人の元Apple従業員:Tang Tan、Chang Liu、Yu-Ting Peng。
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専門家のグループが、AIによる経済変革を理解し管理するための即時行動を求める声明を発表した。この変革は産業革命よりも大規模かつ迅速に進む可能性があり、雇用喪失のリスクと生活水準向上の機会の両方をもたらすとしている。
- 今後10年でAIは劇的に強力になり、前例のない経済変革を引き起こす可能性がある。
- 大規模な雇用喪失のリスクがある一方、生活水準向上の機会もある。
Jacquard:AIが書き、人間がレビューするコードのためのプログラミング言語
Jacquardは、AIが書き人間がレビューするコードのための研究プロトタイプ言語です。言語組み込みのエフェクト追跡、確率的プログラミング、コンテンツアドレス識別により、人間のレビューアはすべての行を読むことなくプログラムの影響範囲と確実性を理解できます。
- 代数的エフェクトと明示的な権限付与により、副作用を追跡・制御可能。
- 有限離散モデルに対する正確な推論が可能な確率的プログラミングをサポート。
AIのウェブ、我々は壁の中のネズミに過ぎない
現在、ウェブトラフィックの大部分はボットによるものです。AI生成コンテンツがソーシャルメディアにあふれ、AIの回答は信頼できません。正確さと人間性が失われつつあります。
- ボットがウェブトラフィックの57~58%を占め、人間は42~43%に減少。
- LinkedInでは、長文投稿の40%以上が完全にAI生成と判定。
AIのリスクから労働党は私たちを救えるか? – ポッドキャスト
AI革命が到来し、多くの職場で人間を置き換えるという恐怖が広がっている。オーストラリア政府は多層的な混乱に対処しようとしているが、規制とAIブームがもたらす投資機会のバランスを考慮し、これまでの改革は遅々として進んでいない。水曜日に首相が政府のアプローチを表明する重要な演説を行うことで、状況が変わる可能性がある。
- AI革命による雇用代替の懸念
- 政府の改革は規制と投資のバランスで遅延
アルバネージ首相、AIの重要な瞬間を再生可能エネルギー移行に例え、アプローチを概説
オーストラリアのアンソニー・アルバネージ首相は水曜日の演説で、AIの進歩を再生可能エネルギー移行に匹敵する社会の転換点と位置付けるが、クリエイティブ産業保護のための著作権改革の進展については言及しない見込み。
- アルバネージ首相、AIを再生可能エネルギー移行と同格の転換点に例える。
- 演説ではAIの安全性と政策のガードレールを扱うが、著作権改革の進展はなし。
Outlinesによる構造化言語モデル生成
Outlinesはオープンソースライブラリで、LLMの出力生成プロセスに決定論的な確実性をもたらし、JSONなどの構造化出力をより信頼性高く生成します。推論時に不正なトークンをマスクすることで、出力が事前定義された形式に厳密に従うことを保証します。本記事では、Pythonを用いた3つの実用的なユースケースを紹介します。
- Outlinesは推論時に不正なトークンをマスクし、出力構造を強制する。
- 多肢選択分類、JSONオブジェクト生成、REST API向け純粋なJSON生成をサポート。
スモールAI、大きな賭け:新興市場で最も影響力のあるAIスタートアップの構築方法
新興市場のAIスタートアップは、オフラインで動作する音声臨床記録やWhatsApp数学チューターなど、現地の状況に最適化された「スモールAI」ソリューションを構築している。技術は障壁ではなく、不足しているのはパイロットから持続可能な成長へとスケールアップするためのエコシステムだと論じる。世界銀行はこれらのスタートアップを支援するグローバルアクセラレータプログラムを立ち上げている。
- 新興市場の起業家は、限られたエネルギーや断続的なインターネットでも動作する「スモールAI」ツールを開発している。
- 例として、ナイジェリアのオフライン音声臨床記録ツール、ガーナのWhatsApp数学チューター、ケニアのM-Pesaビジネス洞察アプリなどがある。
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リポジトリを公開編集し、思考や変化を記録します。
- 毎月の固定予算を持ち、それに基づいてメールへの返信を決定します。
ChatGPTデスクトップが大好きだったのに、OpenAIがCodexとWorkのために台無しにした
OpenAIはChatGPTデスクトップアプリをCodexと統合し、スクリーンショットや「Work with」などの便利機能を削除しました。新インターフェースはCodex中心で、ChatGPTモードは小さなポップアップに縮小。著者はブラウザ版が最適と結論づけています。
- OpenAIはデスクトップアプリにCodexとChatGPT Workを統合したが、スクリーンショットや「Work with」機能を削除した。
- 新しいデスクトップアプリは実質的にCodexであり、ChatGPTモードは小さなポップアップに縮小された。
脳の意思決定プロセスは従来の説とは異なることが判明
イリノイ大学アーバナ・シャンペーン校の研究により、脳の意思決定は従来考えられていたよりも早期に始まることが明らかになった。一次感覚野でさえ高次の脳領域からのフィードバックループの影響を受けており、これまでの階層的処理モデルに挑戦する。この発見は、より効率的で生物の脳に近い人工知能システムの設計に役立つ可能性がある。
- 一次体性感覚野(S1)で意思決定関連の活動が観察され、意思決定が感覚の早い段階で始まることが示された。
- 脳内の意思決定は双方向のフィードバックループに依存しており、単方向の情報伝達ではない。
Phiaが非難される:プライバシー侵害、全ページHTMLキャプチャとクッキースタッフィング
Phoebe Gates氏が手がけるAIショッピング拡張機能Phiaが、ユーザーデータの過剰収集(全ページHTMLキャプチャやクッキースタッフィング)でプライバシー問題を引き起こしている。
- Phia AIショッピング拡張機能にプライバシー侵害の疑い
- 訪問したウェブサイトの完全なHTMLをキャプチャ
AIエージェントクローラーに許可が必要に:取得方法
Cloudflareは9月15日から広告付きページへのAIエージェントクローラーをデフォルトでブロックし、クローラーを「検索」「エージェント」「トレーニング」の3カテゴリに分類。AI企業はアクセス再交渉を迫られ、従量課金モデルが生まれている。
- CloudflareはAIクローラーを「検索」「エージェント」「トレーニング」に分類し、広告ページではデフォルトでエージェントとトレーニングをブロック。
- 9月15日以降、新規Cloudflareドメインと既存の無料ユーザーに新デフォルトが適用。
DiscoMCP – 未知のMCPをAIエージェント向けの再利用可能な操作スキルに変換
DiscoMCPはオープンソースツールで、ユーザーの実際の使用パターンを分析し、任意のMCPサーバーをAIエージェント向けのカスタマイズされたスキルに変換します。読み取り専用を保証し、ワンコマンドで起動でき、複雑なサーバーとのやり取りにおけるラウンドトリップを大幅に削減します。
- DiscoMCPはユーザーのワークフローを分析してカスタムスキルを生成し、全ツールのリストは提供しない。
- デフォルトで読み取り専用を強制し、書き込みや変更操作を拒否して本番環境を保護。
AI支援開発におけるフロントエンド検証のギャップ
AIツールは見た目に整ったフロントエンドコードを迅速に生成できますが、アクセシビリティ、キーボード操作、フォーカス管理、エラーハンドリングなどの重要な側面を見逃すことがよくあります。この記事では、明確なエンジニアリング期待、デザインシステム、行動重視のテストを含む、より強力な検証手法の必要性を強調しています。
- AIが生成したフロントエンドコードは見た目が完成していても、アクセシビリティやインタラクションの検証が不十分な場合がある。
- 開発チームは永続的な指示とタスク固有のプロンプトを使用して明確な期待を設定すべき。
Plumrocket AI Connector 拡張機能
AI Connector は、Magento 2 の拡張機能で、ストアフロントと主要な大規模言語モデル(Claude、ChatGPT、Gemini など)を統合する単一のREST APIとPHP統合層を提供します。
- 単一のインターフェースでClaude、ChatGPT、Geminiなどの複数AIプロバイダに接続
- OpenRouter対応により60以上のプロバイダと400以上のモデルにアクセス
ToDoリストからAIエージェントへ
従来のToDoリストをスマートなAIエージェントに進化させ、タスク管理の自動化と効率向上を実現する方法を探る。
- 従来のToDoリストは複雑なタスク管理に不十分
- AIエージェントは自律的にタスクを実行・最適化
AI後のダニング=クルーガー効果:もはや閉じないギャップ
本稿では、AI時代においてダニング=クルーガー効果(能力の自己評価と実際の差)がどのように拡大するかを考察する。著者は、AIが自信を高め、実際の能力を「ツールあり」と「ツールなし」に分断し、経験による自己修正を妨げると仮説を立てる。企業にとって、内在的スキルは生産性の問題からガバナンスの問題へと移行し、静かに浸食されていく。
- AIは失敗を隠蔽することで過信を促進し、認知と実力のギャップが閉じなくなる。
- 実際の能力は「支援能力」と「内在能力」に分裂。内在能力はツールなしの時に発揮され、世代を経るごとに弱まる。
TactiDex:現実世界の触覚誘導型ベンチマークによる人間のような器用な操作
TactiDexは、現実世界の触覚誘導型ベンチマークであり、器用な操作を運動学的模倣から接触レベルの人間らしさへと進化させる。全手の触覚信号と多粒度の運動学・物体状態を整列したデータセットと、三要素触覚報酬を用いたTactiSkillフレームワークを提案し、単手・両手作業で優れた性能を示す。
- TactiDexは、全手触覚信号と運動学・物体状態を統合したデータセットと評価指標を提供。
- TactiSkillフレームワークは、触覚報酬を用いて人間のデモを物理的に妥当なロボット動作に変換。
FlowDAgger:潜在空間における生成ロボットポリシーの人間参加型適応手法
FlowDAggerは、凍結された生成ロボットポリシーを潜在空間での人間の介入から効率的に適応させるサンプル・計算効率の高い手法です。核心はアクション反転:各人間専門家の行動を、凍結ベースポリシー下でそれを生成するノイズにマッピングし、軽量な潜在ポリシーを訓練してベースモデルを誘導します。シミュレーションと実世界の両腕・片腕操作タスクにおいて、教師ありファインチューニングや潜在空間強化学習ベースラインを上回り、事前訓練されたスキルを保持します。
- FlowDAggerは、大規模データ収集やオンライン強化学習を必要とせず、潜在空間での人間の介入により事前訓練された生成ロボットポリシーを適応させる。
- アクション反転技術により、専門家の行動をノイズに変換し、軽量な潜在ポリシーでベースモデルを調整する。
AgenticFocus: 人間の一人称視点映像からの物体保存型複合現実合成による器用なヒューマノイド学習
AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。
- AgenticFocusは複合現実を用いて通常の一人称視点ビデオをロボット訓練データに変換します。
- 手と物体の遮蔽を処理し、特殊なハードウェアなしで全手動作を再構築します。
C-GAP: クラス認識とオンラインプロンプティングによる不均衡クラス上の視覚言語モデルの改善
C-GAPは、大規模言語モデル(LLM)を用いて言語プロンプトを反復的に改良し、再トレーニングや追加アノテーションなしに、視覚言語モデルにおけるレアクラスの検出を向上させる新しいフレームワークです。2つのフェーズから構成されます:まず、シーン記述とクラス数量コンテキストを組み合わせた複合キャプションベースラインを確立し、次に、LLMが少数クラスの平均精度(AP)閾値に基づいて各画像のキャプションを反復的に最適化します。実験では、少数クラスのAPが最大53%向上し、COCOでは約81%の相対改善を示しました。
- C-GAPは2フェーズアプローチ:複合キャプションベースラインとLLMによる反復最適化。
- 検出器の重みは更新されず、追加アノテーションも不要。
AgentKGV: 知識グラフの事実検証のためのエージェンティックLLM-RAGフレームワークと二段階訓練
知識グラフ(KG)は自動構築時に事実誤差を含むことが多く、AgentKGVは動的ルーティングと反復クエリ書き換えを統合したエージェンティックLLM-RAGフレームワークを提案し、蒸留ベースのSFTと軌跡レベルGRPOによる二段階訓練で精度とコスト効率を向上。T-RExベンチマークで単一ターンRAGよりマクロF1が14.9ポイント向上、検索呼び出し数は半減。
- 動的ルーティングと反復クエリ書き換えを統合したAgentKGVフレームワークを提案。
- 二段階訓練戦略:蒸留SFTで大規模教師モデルから小規模モデルに推論能力を転移、GRPOで検索ポリシーを最適化。
MedRealMM: 中国のオンライン医療相談のための実世界マルチモーダルベンチマーク
MedRealMMは、中国全土のインターネット病院から収集した匿名化された医師と患者の対話に基づく大規模マルチモーダルベンチマークです。5,620の症例を64診療科にわたって含み、マルチモーダル臨床チャレンジポイント(MCCP)抽出フレームワークを使用して標準化された次応答生成タスクを作成します。19のLLMを評価した結果、画像情報が信頼できる臨床パフォーマンスに不可欠であり、現在の最先端モデルは医師と同等の肯定的基準を満たす一方で、より多くの否定的基準を引き起こし、安全性に敏感なエラー回避が主要なボトルネックであることが示されました。
- MedRealMMは、中国全土のインターネット病院から収集した実際の医師患者対話に基づき、64診療科にわたる5,620のマルチモーダル症例を含む。
- マルチモーダル臨床チャレンジポイント(MCCP)抽出フレームワークを用いて、臨床的に要求の高い瞬間を特定し、標準化されたタスクに変換する。
L-MAD: 法的推論におけるマルチエージェント討論構造の体系的な評価
L-MADフレームワークは、法的テキスト含意タスクにおけるマルチエージェント討論の異なる構造と集約方法を体系的に評価する。エージェントに専門家のペルソナを割り当てることで、強力な単一エージェントベースラインと比較して最大8%の改善を達成した。エージェント数を増やすと不整合性が低減し精度が向上するが、討論ラウンドを延長するとエージェントが互いの誤りを強化する「過剰審議ドリフト」が生じる。この発見は、ハイステークスな法的推論環境における協調的マルチエージェントシステムの展開に実用的な限界と安全マージンを提供する。
- 法的推論におけるマルチエージェント討論のためのL-MADフレームワークを提案。
- 専門家ペルソナにより単一エージェント比最大8%向上。
ニューロ・エージェンティック制御:セキュリティ制御のためのDeep LearningベースのLLM搭載エージェンティックAIフレームワーク
本論文では、LLMプランナーと時系列基礎モデル(TimesFM)を組み合わせ、反事実物理注入機構により物理的基盤を持つ自律防御を実現するニューロ・エージェンティック制御フレームワークを提案。SWaTデータセットでLSTMやTCNを上回り、幻覚動作はゼロ。
- LLMプランナーとTimesFMを組み合わせたニューロ・エージェンティック制御フレームワークを提案。
- 反事実物理注入機構を導入し、動作実行前に介入の影響をシミュレートし不安全な動作を拒否。
ARCANA:ARC-AGI-2推論のための反射的マルチエージェントプログラム合成フレームワーク
ARCANAは、厳格なテスト時間とハードウェア制約の下でARC-AGI-2タスクを解決するための協調型マルチエージェントフレームワークです。各タスクを反復的な知覚、仮説生成、シンボリック実行、反射的改善に分解し、微分可能なブラックボードと学習されたメタコントローラを介して通信します。構造化プログラム探索と適応型マルチターン補正を組み合わせ、抽象変換タスクにおける推論効率と解の品質を向上させます。
- ARCANAは、知覚、仮説、実行、反射の4段階からなるマルチエージェント協調アプローチを採用し、ARC-AGI-2タスクに取り組みます。
- フレームワークは、知覚グラウンディングエージェント、潜在プログラムポリシー、シンボリック実行エージェント、反射エージェントで構成され、学習されたメタコントローラの下で微分可能ブラックボードを介して通信します。
ブラソフ方程式の平均場導出の形式化:AI支援によるLean形式化を戦略ゲームとして
研究者らはブラソフ方程式の平均場導出の形式化を戦略ゲームとして捉え、数学者がAIシステムを指揮してLaTeX文書をLean 4証明支援コードに変換する。このケーススタディは、非線形ブラソフ方程式のドブルシン平均場経路による適切性(存在、一意性、安定性評価、平均場極限、短時間重ね合わせ原理)の完全な形式化に成功した。形式化の約6分の1は、より広範なライブラリが再利用可能な自己完結層として分離された。
- 形式化活動を戦略ゲームとして捉え、数学者がAIを指揮
- Lean 4で非線形ブラソフ方程式の適切性を形式化
格子探索による多層パーセプトロンの区間認証
本論文は、敵対的ロバスト性というAI安全性の基礎問題に対して、格子探索問題に帰着させる厳密な理論的枠組みを提示する。音声認証と完全認証という2種類の区間認証を導入し、格子探索演算子を開発、最適化の複雑性における非対称性を明らかにする。完全認証は多項式時間で解けるが、音声認証は強難解である。最後に、新しいParallelepipedoNNシステムを用いた実験評価を示す。
- 多層パーセプトロンの敵対的ロバスト性を区間上の格子探索問題に帰着。
- 音声認証は区間内で予測が変わらないことを保証し、完全認証は区間外で予測が変わることを保証。
違法なAI生成コンテンツから子供を守る新手法
MITとThornの研究者らは、生成AIモデルが児童性的虐待素材(CSAM)を生成可能かどうかを、出力を生成せずに内部の適応を分析して検出する監査手法を開発した。テストでは100%の精度を達成し、拡張性も高いため、プラットフォームや法執行機関が有害なモデルを特定・除去する実用的なツールとなる。
- 新しい監査手法はLoRAアダプターにガウスプロービングを用い、コンテンツを生成せずにCSAM生成能力を検出する。
- テストではCSAM生成に特化したモデルを100%の精度で識別した。
中国の声優、AIクローンに立ち向かい人間であることを証明せざるを得ず
31歳の声優、沈安宇氏はAIによる声のクローンが広がり、プラットフォームが本人の録音を合成音声と誤認する事態に直面している。収入減少を招き、同氏と妻は侵害コンテンツの追跡に多くの時間を費やしているが、対策は困難を極める。AI音声クローンツールは中国のショートドラマ、オーディオブック、ショートビデオ業界を揺るがしており、多くの声優が同様の問題と収入減少に悩んでいる。
- 沈安宇氏の声のAIクローンが広まり、プラットフォームが本人の録音をAI生成と誤判定。
- 同氏と妻は許諾なく使用された声の証拠収集や訴訟準備に膨大な時間を費やしている。
Show HN: Baton – どのAIコーディングエージェントがあなたを必要としているか把握
Baton は、Claude Code や Codex などの AI コーディングエージェントを監視し、あなたの対応を待っているセッションの数をメニューバーにリアルタイム表示する macOS ユーティリティです。FSEvents を使用して瞬時に更新し、セッションへのクリックジャンプも可能です。
- macOS メニューバーに待機中の AI エージェントセッション数をライブ表示。
- Claude Code と Codex をサポートし、ツール別、ステータス別にグループ化。
Tinier – 画像圧縮・変換・AIアップスケール、100%ブラウザ内で完結
Tinier は無料のブラウザベースメディアツールで、画像圧縮、形式変換、AIアップスケール、動画のGIF変換をすべてサーバーにアップロードせずに実行します。
- すべてのツールはWebAssemblyとWebGPUを使用してブラウザ内で完全に動作し、ファイルはアップロードされません。
- 機能: 画像圧縮(最大70%削減)、形式変換(JPG/PNG/WebP/SVG)、動画→GIF、AIアップスケール(Real-ESRGAN)。
OneDev AI:課題、プルリクエスト、CIにAIをチームメイトとして統合
OneDevはAIユーザーを開発プラットフォームに組み込み、課題の処理、プルリクエストの作成、コードレビュー、CI/CDの失敗対応を可能にします。すべての作業が同じプラットフォーム内で可視化され、トレーサビリティが向上します。
- AIユーザーはOneDev上で割り当てられた課題に取り組み、プルリクエストを作成し、フィードバックに基づいて反復作業を行います。
- 課題は唯一の真実の情報源であり、要件、添付ファイル、議論が含まれます。
AIエージェントスタートアップが自社エージェントを使って1億ドルの資金調達を主導
ニュージャージー州ジャージーシティに拠点を置くLyzr社は、自社のAIエージェントシステム「SivaClaw」を活用して1億ドルのシリーズB資金調達を成功させました。このシステムは130人以上の投資家からの質問に対応し、投資メモを作成し、バッカーがどのスライドに注目したかを追跡することで、製品の実用性を証明しました。
- Lyzrは自社のAIエージェントSivaClawを使用して1億ドルのシリーズB資金調達を実施。
- SivaClawは130人以上の投資家からの質問を処理し、投資メモを作成。
Show HN:エージェントとチームのための協調的コンテキスト共有メモリプラットフォーム
xysq.aiは、AIネイティブチームと企業向けの協調メモリプラットフォームです。さまざまなAIツールやアプリを接続し、チームのワークフローからコンテキストをキャプチャして動的な知識グラフを構築し、エージェントが必要なときに適切なコンテキストを提供します。チームの隔離されたボールト、ロールベースのアクセス、ドキュメント整理、ユーザーデータをトレーニングに使用しないプライバシーポリシーを特徴としています。
- xysq.aiは、Slack、Gmail、GitHubなどのツールと統合し、AIエージェントとチームの共有メモリ層を提供。
- エピソード記憶、手続き記憶、意味記憶の3種類をチームの相互作用からキャプチャ。
ChatbratでAIママを作成してチャットできるようになりました
Chatbrat.aiは、ダウンロードやサインアップ不要で、無料で安全なAIママチャットボットを提供します。ユーザーはカスタムキャラクターを作成し、持続的な記憶と個性的な性格を持たせることができ、チャット、ロールプレイ、ゲームなど様々なシーンで利用できます。この記事では機能、利点、類似製品との比較を紹介し、実際の親しい人の代わりではなく、感情的な慰めとしての位置づけを強調しています。
- Chatbrat.aiは無料で登録不要のAIママチャットボットを提供し、ブラウザ上で直接利用可能。
- ユーザーはキャラクターの性格、記憶、話し方をカスタマイズして、自分だけのAIママを作成できる。