Suno、YouTube、Genius、Deezerから数百万曲をスクレイピング 2026-07-16 02:48 UTC+9 ハッキング事件により、AI音楽生成ツールSunoの学習データが暴露され、YouTube Music、Deezer、Geniusなどのプラットフォームから数百万曲をスクレイピングしていたことが明らかになりました。これはSunoに対する著作権侵害訴訟を裏付けるもので、Sunoはスクレイピングを認めつつもフェアユースを主張しています。顧客情報もアクセスされましたが、Sunoは侵害は封じ込められ、機密データは漏洩していないと述べています。
リークされたデータは、SunoがYouTube Music、Deezer、Geniusから数百万曲をスクレイピングしたことを示している。 Sunoは複数の著作権訴訟に直面しており、スクレイピングを認めるがフェアユースを主張。 Shippyの構築から学んだエージェント開発の教訓 2026-07-16 02:29 UTC+9 Shippyは、高い信頼性が求められる海洋状況認識のためのAIエージェントです。本稿では、そのアーキテクチャ(ソウル、スキル、設定)や、決定論的CLIによるAPIアクセス、ユーザー分離のためのサンドボックスホスティング、実データに対するエージェント全体の評価システムなど、主要な設計上の意思決定について説明します。また、得られた教訓と今後の計画についても述べます。
Shippyのアーキテクチャは、ソウル(システムプロンプト)、スキル(Markdownファイル)、設定から構成され、バージョン管理と監査が容易。 専用CLIが複雑なAPI呼び出しを抽象化し、エラーを削減して予測可能なツール使用を実現。 モデルルーティングはシンプル?実はそうでもない 2026-07-16 02:27 UTC+9 本記事では、AIエージェントにおけるモデルルーティングの複雑さを解説。単なる分類問題ではなくシステム最適化問題であると指摘し、コスト、複雑性、レイテンシの3つの次元でよくある誤解を解き、IBM Researchが構築した最適化ベースのルーターソリューションを紹介。
実際のコストはキャッシュの影響を受け、モデル価格だけでは判断できない。 タスクの複雑性はルーティング時に正確に評価できず、ルーターは複数の目標を同時に考慮する必要がある。 Show HN:OtoDock — サーバー上でClaude CodeとCodexをエージェントチームとして実行 2026-07-16 01:11 UTC+9 OtoDockは、Claude CodeとCodexをエージェントチームとして自社インフラ上で実行するセルフホスト型AIエージェントプラットフォームです。ライブダッシュボード、セキュリティサンドボックス、マルチエージェント会議、自動化スケジューリング、ドキュメント生成などを提供し、コンシューマー向けサブスクリプション、APIキー、ローカルモデルに対応。フェアソースライセンス(FSL-1.1-Apache-2.0)で、Dockerによるワンクリックデプロイが可能です。
Claude CodeとCodexエンジンを搭載したセルフホスト型AIエージェントプラットフォームで、チームコラボレーションを実現 各エージェントは独立したカーネルサンドボックスで実行され、デフォルトでネットワーク分離され、細かなアクセス制御が可能 VPNが200のAIエージェントに出会うとき 2026-07-16 01:11 UTC+9 従来のVPNはAIエージェントのアクセス要件に対応できず、企業は人間とエージェントの両方のワークロードを安全にサポートする統一されたアイデンティティベースのネットワーキングと特権アクセス管理を必要としています。Tailscaleの専門家が7月28日に無料ウェビナーで解決策を議論します。
従来のVPNや人間向けZTNA/PAMツールはAIエージェントには不十分 人間とエージェントに一貫したポリシーを提供する統一アーキテクチャが必要 OpenAI、ついにハードウェアを発表…ただしCodex向け 2026-07-16 01:00 UTC+9 OpenAIはキーボードメーカーのWork Louderと協業し、コード作成プラットフォーム「Codex」用の正方形ボタンパッド「Codex Micro」を発表した。限定販売で価格は230ドル、Jony Iveとの別ハードウェアプロジェクトとは無関係。
Codex MicroはWork Louderとの共同開発による限定版の正方形ボタンパッド。 価格は230ドルで、Supply Coにて在庫限り販売。 この無料Macツールで、どのアプリが静かにインターネットにアクセスしているかを確認し、素早くブロックできる 2026-07-16 00:46 UTC+9 Firewallyは無料で使いやすいmacOSアプリで、アプリのインターネットアクセスをリアルタイムで監視・制御できます。デフォルトポリシーの設定、AI要約、アプリごとのオン/オフ切り替え機能を提供し、デバイスのセキュリティを強化します。
Firewallyは無料で、Mac App Storeから入手できます。 各アプリのリアルタイムトラフィックを表示し、デフォルトポリシーを「許可」「確認」「拒否」に設定可能。 エージェントランタイムがDeepSWEでLLMターンを80%削減、成功率も向上 2026-07-16 00:10 UTC+9 Turaはローカルで動作するオープンソースのコーディングエージェントで、DeepSWE v1.1ベンチマークにおいて、マクロCLIコマンドと後方推論を用いてCodex CLI Highと比較してLLMターンを80%削減し、成功率を60%から80%に向上させました。
Turaは20のDeepSWE v1.1タスクで80%の成功率を達成し、Codex CLI Highより20ポイント高い。 マクロツールcommand_runを使用して複数のコマンドを1回のLLMターンにまとめ、トークン使用量を大幅に削減。 アルバネーゼのAI計画は称賛に値するが、ほとんどの国家政府よりも強力なテクノロジー大手に直面する 2026-07-16 00:00 UTC+9 オーストラリアのアンソニー・アルバネーゼ首相はシドニー大学でAIに関する演説を行い、政府のAI規制への意欲を表明したが、国家政府をもしのぐ力を持つテクノロジー大手を制御する難しさが残る。
アルバネーゼ首相がシドニー大学でAIについて演説。 オーストラリアがAI規制を先導することを望む。 米国人の大多数が、大手AI企業の半分を国民が所有すべきと回答 2026-07-15 23:57 UTC+9 1,690人の米国成人を対象としたVerasightの調査によると、69%がAI企業に株式の50%を公的主権富基金に移すことを強制することに支持を示しました。これはバーニー・サンダース上院議員が提出した「アメリカAI主权财富基金法案」の中核政策です。この変化は、2026年上半期にテック業界が米国での解雇の約3分の1を占め、同時に同企業がAI投資を増やした労働市場を反映しています。記事はまた、財産権の反対、投資の冷え込み、雇用喪失予測の論争、調査の文言効果などの反論も紹介しています。
Verasightの調査(1,690人の米国成人)で、69%がAI企業に株式の50%を公的主権富基金に移すことを強制することに支持。 この政策はバーニー・サンダース上院議員が6月に提出した法案の中核。 ハッキングによりSuno AI音楽生成ツールがYouTube、Deezer、Geniusからデータをスクレイピングしていたことが判明 2026-07-15 23:10 UTC+9 ハッカーがSuno AIに侵入し、同社がAIトレーニングのためにYouTube Music、Deezer、Geniusなどのプラットフォームから数百万曲をスクレイピングしていたことを示すソースコードを暴露。また、数十万人の顧客情報やStripeの決済データも流出した。著作権訴訟が続く中、AIのデータ収集手法に光が当てられた。
ハッカーはサプライチェーン攻撃でSunoのソースコードと顧客データにアクセス。 SunoはYouTube Music、Deezer、Geniusなどから数百万曲とポッドキャストをスクレイピング。 AnacondaがKiloを買収:単一モデルメーカーに依存しないオープンソースコーディングエージェント 2026-07-15 23:07 UTC+9 Anacondaは、企業向けに管理されたオープンソースパッケージと環境を提供する企業で、人気のオープンソースコーディングエージェントKiloを買収しました。この取引は、AIベンダーロックインに対する企業の警戒が高まる中で行われました。Kiloは開発者が自由にモデルプロバイダーを切り替えることを可能にし、ロックインを回避します。AnacondaはKiloをオープンソースのまま自社のAIワークスペースに統合する計画です。
AnacondaがオープンソースコーディングエージェントKiloを買収。Kiloは単一のAIモデルプロバイダーに依存しない。 Kiloは300万人以上の開発者が利用し、毎月約10兆トークンを処理。 AIが暴く現代の労働の権威主義——教育の再考が必要な時 2026-07-15 23:03 UTC+9 本記事は、現代の職場が本質的に権威主義的であり、AIが雇用を奪う中で、教育システムが雇用可能性に焦点を当てすぎていると指摘。スキル習得ではなく、批判的思考と民主的参加を育む方向への転換を促す。
現代の職場は民主的な統制が欠如し、労働者は従属的な立場にある。 AIは定型的業務を超えて人間の労働を代替し、教育が準備してきたキャリアパスを侵食している。 クロードに優しく話してもらいたいなら、ヒンディー語かアラビア語を試してみて 2026-07-15 22:04 UTC+9 Anthropicの研究により、AIモデルClaudeが使用言語に応じて異なる価値観を示すことが明らかになった。研究者らは4つの主要な軸(服従vs慎重、温かさvs厳格さ、深さvs簡潔さ、率直さvs実行力)を特定し、これらが言語間の変動の約15%を説明するとしている。例えば、アラビア語やヒンディー語では温かさが強調され、英語やロシア語では厳格さが強調される。これらの違いはユーザー体験やAI安全性に影響を与える可能性がある。
Claudeは言語によって異なる価値観を表現し、回答のスタイルやトーンが変化する。 4つの軸が言語間変動の約15%を説明。アラビア語とヒンディー語は温かく、英語とロシア語は厳格。 ニューヨーク州、AIデータセンター建設禁止で全米初の州に 2026-07-15 21:11 UTC+9 ニューヨーク州のキャシー・ホークル知事は、50メガワット以上の超大規模データセンターの新設を1年間禁止する大統領令に署名した。送電網の負荷と電気料金の高騰を理由に、同州は全米初の禁止措置を実施。国民の支持を得る一方、競争力低下を懸念する声も。
ニューヨーク州は大規模AIデータセンターの建設を禁止した全米初の州となった。 1年間のモラトリアムは50メガワット以上の施設が対象。 現在および元従業員がMetaを提訴、AIによる解雇で差別を主張 2026-07-15 21:09 UTC+9 現在および元Meta従業員のグループが、同社が最近の解雇において人工知能を使用し、認可された休暇を考慮しなかったため差別的であったと訴えています。
原告はMetaのAIシステムが解雇選考時に保護休暇を考慮しなかったと主張。 Metaは「人事決定は人間が行う」と否定。 Show HN: LoopGain – 制御理論でエージェントループを停止、max_iterationsは不要 2026-07-15 21:07 UTC+9 LoopGainは、制御理論を用いてAIエージェントループが収束した時点でインテリジェントに停止させるオープンソースライブラリで、無駄なmax_iterationsアプローチを置き換えます。ループゲインをリアルタイムで測定し、ベンチマークではAPIコストを92.8%削減、15倍の高速化を達成しつつ、出力品質を維持します。
LoopGainは固定されたmax_iterationsを制御理論ベースの停止・ロールバックポリシーに置き換えます。 ベンチマークでAPIコスト92.8%削減、実行速度15倍の向上。 米国、州および連邦の行動を通じてAI安全性を推進 2026-07-15 21:00 UTC+9 OpenAIは、「逆連邦主義」のAIガバナンス手法を提唱。州法を基盤として、安全で民主的なAIのための全国的な枠組みを構築する。
OpenAIは「逆連邦主義」で州と連邦のAI安全対策を調整 地方での実験から全国基準を形成するボトムアップ戦略 今週のAIシーケンス #895:OpenAI が示すコーディング評価の欠陥 2026-07-15 20:04 UTC+9 OpenAI による SWE-Bench Pro の監査により、ベンチマークの約30%のタスクに欠陥があり、正確なスコアが能力を誤って示す可能性があることが明らかになりました。この発見を受けて、OpenAI は同ベンチマークの推奨を取り下げ、より信頼性の高い評価方法の必要性を強調しています。
OpenAI の監査で SWE-Bench Pro の約30%のタスクに欠陥が判明 正確なスコアがモデルの能力を誤って示す可能性 機械学習研究のうちAI安全性に関するものはどの程度か?内容と主要な研究者は? 2026-07-15 20:02 UTC+9 LessWrongの記事がICML 2026の論文を分析し、AI安全性に焦点を当てた研究はごく一部であることを明らかにした。999編中954編が検索可能で、そのうち約10編のみが安全性に特化。アラインメント、ロバスト性、解釈可能性などのテーマが扱われ、主に大学や企業研究所が貢献している。
ICML 2026では全999編中、954編が検索可能で45編はタイトル変更のため非対象。 AI安全性を明示的に扱う論文は約10編(約1%)。 新しいソフトウェアライフサイクル 2026-07-15 19:54 UTC+9 Googleのホワイトペーパーに基づき、AIがソフトウェア開発プロセスをどう変えるかを解説。エージェントはモデル+ハーネス、コンテキストエンジニアリングがコスト鍵、検証が「バイブコーディング」と真のエンジニアリングを分ける、各フェーズの変化、経済性、プロトタイプが本番エージェントになる流れなど。
エージェント=モデル(10%)+ハーネス(90%);ハーネスの改善で性能が大幅向上。 コンテキストエンジニアリングは静的と動的コンテキストを区別し、トークンコストに影響。 アンソニー・アルバニージー首相、「オーストラリア流」のAIを推進 2026-07-15 19:24 UTC+9 アンソニー・アルバニージー首相がシドニー大学でAIに関する主要な演説を行い、AIオフィスの設立とオーストラリアのクリエイターの著作権保護を約束。アーティストや活動家からのAIブームへの対応を求める声に応えた。
アルバニージー首相がシドニー大学でAI演説 AIオフィス設立を発表 GoogleのAI検索機能は子どもに「許容できないリスク」をもたらす 2026-07-15 19:07 UTC+9 Common Sense Mediaの新しい報告書によると、GoogleのAI検索機能(AI OverviewとAI Mode)は子どもに「許容できないリスク」をもたらします。調査では、これらの機能が危険な行動を認識できず、宿題を代行し、不正確で一貫性のない回答を提供したことが明らかになりました。GoogleはAIツールが追加の保護を提供すると主張していますが、批判者らはデフォルトで有効であり無効化できない点を指摘しています。
Common Sense Mediaは2,600回以上のテストで、GoogleのAI検索機能が危険な行動を頻繁に認識できないことを発見。 AI機能は仮想的な宿題を100%完了し、不正確または矛盾した回答を提供。 GPT-Red: 自己改善による堅牢性の向上 2026-07-15 19:00 UTC+9 OpenAIの自動レッドチームシステムGPT-Redは、セルフプレイを利用してAIの安全性、アライメント、プロンプトインジェクション耐性を向上させます。
GPT-RedはOpenAIが開発した自動レッドチームシステムです。 セルフプレイにより、AIモデル自身が敵対的攻撃を生成し防御します。 オーストラリアの国益に資するAI 2026-07-15 18:46 UTC+9 オーストラリア首相がシドニー大学で講演し、AIの発展を主体的に形成し国益に資する必要性を強調。同国の革新的な歴史を振り返り、強制的なAI基準の制定を発表し、地理的優位性を活かして主権と経済的強靭性を構築するよう呼びかけました。
オーストラリアは統一規制枠組みの下で強制的なAI基準を確立する。 首相は地理的・資源的優位性を活用し、AIの社会的ライセンスを設定するよう提唱。 Show HN: AITerm – AIコマンドループとセーフティゲートを備えたmacOSターミナル 2026-07-15 18:25 UTC+9 AITermはネイティブmacOSターミナルアプリで、自然言語コマンド、エラー診断、ローカルまたはクラウドAIモデル、リスクスコアリングとロールバック提案を備えたセーフティゲートを統合しています。無料版はコア機能を提供し、Pro版は自動化、ランブックなどを追加します。
AITermはネイティブmacOSターミナルで、平易な英語を編集可能な提案とリスクラベル付きのシェルコマンドに変換します。 /fixおよび/explainコマンドでエラーを自動診断し、修正を提案します。ローカルのOllamaまたはクラウドAPI(OpenAI、Anthropicなど)をサポートし、プライバシー最優先設計。 母国語で書き、英語で発信する 2026-07-15 17:43 UTC+9 非ネイティブのライターのための新しいワークフロー:母国語で下書きをし、AIで英語に翻訳・洗練する。研究によると、第二言語での執筆は認知負荷により30-50%多くの時間がかかる。アイデア生成と言語変換を分離し、EchooのようなAIツールを使うことで、速度と品質を取り戻せる。
第二言語での執筆は、流暢な話者でも母国語より30-50%長くかかるという時間的コストがある。 アイデアを考えながら同時に英語に翻訳する認知的負荷がワーキングメモリを競合させ、流暢さを低下させる。 おなじみのSASTでトークン消費の暴走を防ぐ 2026-07-15 17:39 UTC+9 AI支援コードレビューにおいて、決定的静的解析はトークン消費を大幅に削減できます。LLMを呼び出す前に既知の問題を決定的チェックでフィルタリングすることで、不必要な推論コストを削減し、真に判断が必要な曖昧な問題にモデルを集中させることができます。
AIコードレビューにおけるトークンコストは、コンテキストの蓄積により予想以上に増大するが、決定的静的解析でそのサイクルを断ち切れる。 SASTルールやシークレットスキャナなどの決定的チェックは、精度を損なうことなく推論コストを大幅に削減する。 Show HN: Lean64 – Lean 4 で作られた Doom64 スタイルの FPS 2026-07-15 16:06 UTC+9 Lean64 は、Lean 4 で実装されたミニマルな 3D 一人称視点シューティングゲームで、Doom 64 にインスパイアされています。Doom 64 の移植版ではなく、独自のアートとサウンドを使用したクリーンルーム実装です。
Lean64 は Lean 4 で開発された Doom スタイルの FPS プロトタイプです。 移動、射撃、敵 AI、武器、マップ、UI などの完全なゲームプレイを実装しています。 アルバニージー首相、AIオフィスを設立しオーストラリアのクリエイターを著作権『盗難』から守ると表明 2026-07-15 15:18 UTC+9 アンソニー・アルバニージー首相は、AIモデルによる作品の悪用からオーストラリアのクリエイターを保護するため、人工知能オフィスを設立すると発表した。また、データセンターの新たな規制を導入し、住宅地との競合回避や電力・水使用の制限、電気料金への影響防止を図る。
首相は作家、芸術家、音楽家の作品をAIから守るため、強い保護策を約束。 連邦政府はAIオフィスを設置し、著作権侵害を「盗難」と位置づける。 ジョージ・ルーカス、AI拒否は車を拒否して馬を選ぶようなものと発言 2026-07-15 14:07 UTC+9 ジョージ・ルーカスは、AIを拒否することは車を拒否して馬を選ぶようなものだとして、時代遅れの考え方だと述べた。彼はAIが映画製作の未来であり、止められないと主張する。
ルーカスはAI拒否を車より馬を選ぶことに例えた。 彼はAIを進歩であり、避けられない未来と考えている。 Claude Fable 5のシステムプロンプト完全解説 2026-07-15 13:44 UTC+9 2026年6月、AnthropicのClaude Fable 5のシステムプロンプトがGitHubで流出しました。これは3826行に及ぶドキュメントで、モデルの動作を導くためのものです。本記事では、その出典、構造、拒否処理、ケア義務、メモリーシステム、エージェント機構、著作権保護などの重要な部分を詳しく解説し、最先端のAIがいかにエンジニアリングされたルールブックであるかを明らかにします。
Claude Fable 5のシステムプロンプトは、GitHubの公開リポジトリから抽出されたものであり、ハッキングによるものではありません。 プロンプトは行動コンテナと機能ブロックの2つの領域に分かれており、拒否処理、ケア義務、メモリーシステムなどの詳細なルールが含まれています。 臨床判断をLLMから取り除く 2026-07-15 13:02 UTC+9 この記事では、AIセラピーのためのシステム設計について説明します。決定論的パイプラインを使用して臨床アクションを決定し、LLMが自律的に判断するのを防ぎます。スコアリング、状態バケット、アドミッションテーブル、アクション選択、マイクロプラクティス、危機事前スクリーニングが含まれ、LLMはスコアリングと生成にのみ使用されます。また、このアプローチのコストと限界についても議論されます。
システムは固定パイプラインを使用し、LLMはスコアリングと生成にのみ使用され、中間ステップは決定論的コードで制御されます。 アドミッションテーブルは9つの治療学派と4つのクライアント状態をマッピングし、許可されるテクニックを決定します。 協調的単語連想ゲームにおける人間とロボットの相互視線と参照視線の分析 2026-07-15 13:00 UTC+9 協調的な単語連想ゲームにおいて、ロボットの視線が人間の視覚的注意にどのように影響するか、また人間がロボットに確認を求める視線を向ける傾向があるかを調査した研究。NAOロボットを大規模言語モデル駆動の対話パートナーとして使用し、ロボットの視線方向は提案された単語への最初の注視時間に影響しないが、確認要求を含む発話時に参加者はより頻繁にロボットを見ることがわかった。認知的要求の高いタスクでは、言語的側面がロボットの参照視線の効果を覆い隠す可能性が示唆された。
タスク指向の人機対話におけるロボットの視線の役割を探る。 参加者はNAOロボットと協調的単語連想ゲームを行い、視線を記録。 GaitSpan:歩行から走行へのヒューマノイド移動能力の拡張 2026-07-15 13:00 UTC+9 GaitSpanは、事前学習された歩行ポリシーを種スキルとして活用し、リズム生成、ストライド整形、残差適応の3つのモジュールを通じて、歩行から走行への連続的な速度範囲、形態間移行、ゼロショット展開を実現する新しいフレームワークです。
歩行を再利用可能な種スキルとして扱い、ゼロからの学習を回避。 複数の内部クロックで凍結ポリシーを変調するリズム生成。 VLMベースの説明比較を用いた異常フレーム検出:ビデオ内自己類似性による専門家特有の行動と文脈的意思決定シーンの抽出 2026-07-15 13:00 UTC+9 本論文は、視覚言語モデル(VLM)で生成したフレーム記述を比較し、ビデオ内の自己類似性を利用して異常フレームを検出することで、専門家特有の行動や文脈的意思決定を含む候補シーンを自動抽出する手法を提案する。模擬配電盤保守実験(27シナリオ)では、行動候補抽出率65%、意思決定シーン抽出率61%を達成し、従来手法(59%、33%)を上回った。
VLMでフレームごとの視覚的記述を生成し、ビデオ間のフレーム類似度比較で専門家行動を抽出。 ビデオ内記述の自己類似性から文脈的意思決定シーンを特定。 G-SHARE:ガイドラインに基づく構造化推論フレームワークによるヒューマンファクター事象診断 2026-07-15 13:00 UTC+9 本研究では、原子力発電所におけるヒューマンファクター事象診断のためのCNNP九段階ガイドラインを多段階診断パイプラインとして実装したG-SHAREを提案する。証拠抽出、段階的推論、一貫性修復で構成され、実データで評価した結果、ワンショットプロンプトや従来の機械学習を大幅に上回る性能を示した。
G-SHAREはCNNP九段階ガイドラインを、証拠抽出、段階的診断推論、事後一貫性修復からなる多段階パイプラインとして実装。 原子力産業の実データセットで、ワンショットプロンプトや従来のMLベースラインを精度とマクロF1で凌駕。 対話エージェントの多次元評価の運用化:選択的再評価とモデルベンチマークを備えたスケーラブルで統制可能なパイプライン 2026-07-15 13:00 UTC+9 本論文では、小売向け対話システムの大規模評価のための設定駆動型パイプライン「GenAI Evaluation」を提案する。正規化、シャーディング、非同期実行、スキーマ制約付きLLMスコアリングにより、有用性、真実性、明確さ、トーンの一致、翻訳の次元を評価する。選択的再評価は無効なレコードのみを処理し、スキーマロックとバージョン管理構成により監査可能性を確保。1日約5万件のレコードを処理し、200万件以上のインタラクションを評価。12,980件の人間ラベル付きデータで検証し、マクロF1 0.93、翻訳精度89%を達成。
GenAI Evaluationパイプラインは、小売対話エージェントにおけるLLM-as-a-judgeのガバナンスとスケーラビリティの課題に対処する。 選択的再評価により不完全なレコードのみを処理し、コスト削減と信頼性を両立。 スマート温室における強化学習制御のためのキャリブレーション優先報酬コンポーネント監査 2026-07-15 13:00 UTC+9 再現可能なキャリブレーション優先報酬監査フレームワークを提案。スマート温室の強化学習制御において、スカラー報酬を温度、CO2、湿度などのコンポーネントに分解し、GreenLight-Gymと自律型温室チャレンジのデータで検証した。
本フレームワークは、シミュレータ訓練、施設適応ロールアウト、記録されたチャレンジデータ、アクチュエータルール蒸留にわたって温室制御報酬コンポーネントの比較可能性を確保する。 GreenLight-Gymでは、報酬を温度、CO2、湿度、蒸気圧欠損、スクリーン、アクチュエーションプロキシ項に分解する。 GRID:エンタープライズSQL生成のための文法に基づくデコーディング 2026-07-15 13:00 UTC+9 GRIDは、LALR(1)パーサーの状態をマスクキーとして使用し、構文的に有効なSQL出力とロールベースのアクセス制御、証明可能な保証、一定のトークンコスト、ハッシュチェーン監査証跡を実現する文法制約デコーディングエンジン。Spiderでは、0.5Bモデルで実行精度が13ポイント向上し、7Bモデルでは94.5%の実行可能率に達する。
トークンシーケンスではなくLALR(1)パーサー状態に基づくマスクにより文法正しさを保証。 ロールベースのアクセス制御を文法に組み込み、禁止動詞・識別子をマスクレベルで到達不可に。 オントロジー増幅蒸留と文脈性監査による主権的企業言語モデルの研究:メカニズム実証とネガティブ結果を組み合わせた手法研究 2026-07-15 13:00 UTC+9 データ居住規制下の金融機関向けに、テナント所有言語モデルの構築とガバナンスを目的とした本研究は、オントロジー増幅蒸留と文脈性監査の手法を組み合わせている。蒸留実験では、Qwen3.6-27B学生モデルが40件のベトナム語金融タスクのうち36件を正解し、GPT-5と同等だが統計的に等価とは言えない。文脈性監査パイロットでは残差文脈性がゼロであり、直接的な影響と構成結合がより有用な信号であることが示された。現在のエビデンスは展開可能性や安全性、優位性を支持しない。
Qwen3.6-27B学生モデルを教師あり微調整とオントロジーに基づくDPOでFoundation AgenticOSオントロジーに適応させ、40件のベトナム語金融タスクで90%の正解率を達成。 統計的検出力が不足しており、GPT-5との等価性や優位性は示せない。 非定常環境下でのインコンテキスト強化学習:サーベイ 2026-07-15 13:00 UTC+9 本稿は、非定常環境下でのインコンテキスト強化学習(ICRL)を調査する。ICRLでは、事前学習またはファインチューニングされた決定モデルが、パラメータ更新なしに相互作用のコンテキストから潜在的なタスクルールを推論し、将来の行動を改善する。変化する環境では、蓄積されたコンテキストが陳腐化したり誤解を招く可能性があり、方策は現在の決定ルールと、過去の証拠のうちどれが有効かを同時に推論する必要がある。文献は「何が変化するか」「変化がどのように展開するか」「変化がエージェントにどの程度観測可能か」という3つの問いに沿って整理され、ICRLをメタRL、決定系列モデリング、検索拡張RL、関連アプローチと結び付けている。
ICRLにより、決定モデルはパラメータ更新なしでコンテキストから学習できる。 既存のサーベイは事前学習目的に焦点を当て、非定常性を軽視している。 AIはアルバニージ首相にとって今期最大の難題かもしれない。早急なガードレール設置が必要 | ピーター・ルイス 2026-07-15 11:53 UTC+9 オーストラリアのアルバニージ首相はシドニー大学でAIへの対応戦略を表明し、データセンター承認の迅速化を約束。一貫した意思決定と内部説明責任の重要性を強調し、AIがもたらす経済的・社会的課題に緊急の規制が必要だと訴えている。
アルバニージ首相が母校シドニー大学でAI政策ビジョンを発表 データセンター承認を迅速化しAI投資を促進すると約束 AIが免罪符を得るとき:「AI例外主義」の台頭 2026-07-15 11:01 UTC+9 記事は「AI例外主義」という現象を探る。これは、人々が自己利益に基づいてAIに二重の倫理基準を適用する現象である。AIが自身の職業を脅かすときは非倫理的とみなされ、利益をもたらすときは革新的とみなされる。ジャーナリズム、著作権紛争、ハリウッドストライキ、大学などの例がその矛盾を示している。
AI例外主義とは、AIが自分にとって有益か有害かに応じて異なる倫理基準を適用すること。 ジャーナリストはAIによる執筆を批判する一方で、AIによるコーディングを称賛する。 Vehir:AIエージェント向けプラットフォーム(コンパイラ、マイクロカーネル、CAS搭載) 2026-07-15 10:00 UTC+9 Vehirは、エージェントとコンピュータの対話のために設計された実験的なAIネイティブプラットフォームです。セルフホスティングのネイティブコンパイラ、ユーザー空間マイクロカーネル、コンテンツアドレスストレージ、宣言的調整などの機能を備え、現在活発に開発が進められています。
Vehirは人間ではなくAIエージェント向けに設計されたAIネイティブプラットフォーム コアにはセルフホスティングコンパイラ、マイクロカーネル、コンテンツアドレスストレージが含まれる DiscordにおけるマルチプレイヤーAIのオープンソース化 2026-07-15 09:31 UTC+9 bunnyは、AI時代のコラボレーション開発のためのオープンソースツールで、VMやDockerコンテナを共有シェル、ライブプレビュー、チャットネイティブなワークフローを備えた共有開発ステーションに変えます。人間とAIエージェントが統一されたコンテキストで作業し、並行編集、継続的バリデーション、RBACベースのガバナンスを実現します。
git worktreeによる競合のない並行編集 統合バリデーションエージェントによる継続的テストと即時CIフィードバック 法的AI、スキャフォールディング付きコードエージェントではない 2026-07-15 08:51 UTC+9 本記事は、コード記述用に構築された汎用エージェントではなく、法律目的に特化したAIシステムの重要性を論じる。証拠に基づき、監査可能で、検証可能であり、編集ごとに承認が必要なワークフローを強調する。CodexとLexifinaのクロスリファレンスチェック、圧縮、バージョン管理の違いを比較する。
法的AIは証拠に基づき、検証可能な論拠を提供すべき。 エージェントワークスペースは監査証跡と細かな制御を備えるべき。 Maincode、オーストラリアのインフラで動作するAIアシスタント「Matilda」を公開 2026-07-15 08:41 UTC+9 Maincodeは、Matildaのオープンベータ版を公開しました。このAIアシスタントは完全にオーストラリアで構築・運用され、現地のインフラ、オーストラリアの声、信頼を重視しています。思慮深い利用を目的とし、ユーザーに管理権と透明性を提供します。
Matildaは、国内インフラで動作するエンドツーエンドのオーストラリア製AIシステムです。 実用的で明確、文脈に適したオーストラリアの声を取り入れています。 フロンティアAIの枠組みと新時代の幕開け 2026-07-15 08:36 UTC+9 Demis Hassabis は、汎用人工知能(AGI)が数年以内に到来し、その影響は産業革命を凌ぐと主張。責任ある開発のため、フロンティアAI基準機関の設立を提唱。サイバーセキュリティや生物学的脅威などのリスクに対処し、革新と国際協力を促進する枠組み。
AGIは数年以内に実現し、その変革力は火や電気の発見に匹敵する。 FINRAをモデルとした新たな基準機関が、フロンティアモデルの試験と安全を監督する。 2026年ワールドフェアで定義されたAIエンジニアリングの5つのトレンド 2026-07-15 08:21 UTC+9 今年のAIEワールドフェアでは、AIエンジニアリングは新たな段階に入りました。エージェントを使って構築するのではなく、エージェントを中心としたシステムを構築する段階です。カンファレンスでは5つの主要なトレンドが強調されました:エージェントからその周辺システムへのシフト、ループエンジニアリングによる新しい制御層、フォワードデプロイドエンジニアによるエンタープライズ採用、コーディングエージェントがIDEに取って代わること、そしてエージェントプラットフォームにおけるスキルの台頭です。
焦点は自律エージェントから、ワークフロー、コンテキスト、評価を管理するシステムへと移行しています。 ループエンジニアリングは、内部ループと外部ループを通じて、ますます自律化するエージェントに監視を提供します。