政策

MicrosoftのSymCryptチームは、Lean証明アシスタントとAeneasツールチェーンを使用してRustで書かれた暗号コードを形式的に検証し、標準から導出された形式仕様に対する機能的正確性を達成する新しい方法論を発表しました。このアプローチはML-KEMやSHA-3などの耐量子暗号アルゴリズムに適用され、検証済みコードはすでにWindows Insiderビルドに出荷されています。AIエージェントが証明作成を自動化し、標準の形式化に対する人間の監視を維持することで、進化するコードベースに追従できるようになっています。また、パフォーマンスを犠牲にすることなく、ハードウェア固有の組み込み関数やクロスプラットフォームのディスパッチをサポートします。

ノーベル賞受賞者を含む主要な経済学者とAI専門家のグループが、AIによる経済変革を理解し管理するための即時行動を求める声明を発表した。この変革は産業革命よりも大規模かつ迅速に進む可能性があり、雇用喪失のリスクと生活水準向上の機会の両方をもたらすとしている。

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

現在、ウェブトラフィックの大部分はボットによるものです。AI生成コンテンツがソーシャルメディアにあふれ、AIの回答は信頼できません。正確さと人間性が失われつつあります。

AI革命が到来し、多くの職場で人間を置き換えるという恐怖が広がっている。オーストラリア政府は多層的な混乱に対処しようとしているが、規制とAIブームがもたらす投資機会のバランスを考慮し、これまでの改革は遅々として進んでいない。水曜日に首相が政府のアプローチを表明する重要な演説を行うことで、状況が変わる可能性がある。

オーストラリアのアンソニー・アルバネージ首相は水曜日の演説で、AIの進歩を再生可能エネルギー移行に匹敵する社会の転換点と位置付けるが、クリエイティブ産業保護のための著作権改革の進展については言及しない見込み。

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

新興市場のAIスタートアップは、オフラインで動作する音声臨床記録やWhatsApp数学チューターなど、現地の状況に最適化された「スモールAI」ソリューションを構築している。技術は障壁ではなく、不足しているのはパイロットから持続可能な成長へとスケールアップするためのエコシステムだと論じる。世界銀行はこれらのスタートアップを支援するグローバルアクセラレータプログラムを立ち上げている。

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

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

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

イリノイ大学アーバナ・シャンペーン校の研究により、脳の意思決定は従来考えられていたよりも早期に始まることが明らかになった。一次感覚野でさえ高次の脳領域からのフィードバックループの影響を受けており、これまでの階層的処理モデルに挑戦する。この発見は、より効率的で生物の脳に近い人工知能システムの設計に役立つ可能性がある。

Phoebe Gates氏が手がけるAIショッピング拡張機能Phiaが、ユーザーデータの過剰収集（全ページHTMLキャプチャやクッキースタッフィング）でプライバシー問題を引き起こしている。

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

DiscoMCPはオープンソースツールで、ユーザーの実際の使用パターンを分析し、任意のMCPサーバーをAIエージェント向けのカスタマイズされたスキルに変換します。読み取り専用を保証し、ワンコマンドで起動でき、複雑なサーバーとのやり取りにおけるラウンドトリップを大幅に削減します。

AIツールは見た目に整ったフロントエンドコードを迅速に生成できますが、アクセシビリティ、キーボード操作、フォーカス管理、エラーハンドリングなどの重要な側面を見逃すことがよくあります。この記事では、明確なエンジニアリング期待、デザインシステム、行動重視のテストを含む、より強力な検証手法の必要性を強調しています。

AI Connector は、Magento 2 の拡張機能で、ストアフロントと主要な大規模言語モデル（Claude、ChatGPT、Gemini など）を統合する単一のREST APIとPHP統合層を提供します。

従来のToDoリストをスマートなAIエージェントに進化させ、タスク管理の自動化と効率向上を実現する方法を探る。

本稿では、AI時代においてダニング＝クルーガー効果（能力の自己評価と実際の差）がどのように拡大するかを考察する。著者は、AIが自信を高め、実際の能力を「ツールあり」と「ツールなし」に分断し、経験による自己修正を妨げると仮説を立てる。企業にとって、内在的スキルは生産性の問題からガバナンスの問題へと移行し、静かに浸食されていく。

TactiDexは、現実世界の触覚誘導型ベンチマークであり、器用な操作を運動学的模倣から接触レベルの人間らしさへと進化させる。全手の触覚信号と多粒度の運動学・物体状態を整列したデータセットと、三要素触覚報酬を用いたTactiSkillフレームワークを提案し、単手・両手作業で優れた性能を示す。

FlowDAggerは、凍結された生成ロボットポリシーを潜在空間での人間の介入から効率的に適応させるサンプル・計算効率の高い手法です。核心はアクション反転：各人間専門家の行動を、凍結ベースポリシー下でそれを生成するノイズにマッピングし、軽量な潜在ポリシーを訓練してベースモデルを誘導します。シミュレーションと実世界の両腕・片腕操作タスクにおいて、教師ありファインチューニングや潜在空間強化学習ベースラインを上回り、事前訓練されたスキルを保持します。

AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。

C-GAPは、大規模言語モデル（LLM）を用いて言語プロンプトを反復的に改良し、再トレーニングや追加アノテーションなしに、視覚言語モデルにおけるレアクラスの検出を向上させる新しいフレームワークです。2つのフェーズから構成されます：まず、シーン記述とクラス数量コンテキストを組み合わせた複合キャプションベースラインを確立し、次に、LLMが少数クラスの平均精度（AP）閾値に基づいて各画像のキャプションを反復的に最適化します。実験では、少数クラスのAPが最大53%向上し、COCOでは約81%の相対改善を示しました。

知識グラフ（KG）は自動構築時に事実誤差を含むことが多く、AgentKGVは動的ルーティングと反復クエリ書き換えを統合したエージェンティックLLM-RAGフレームワークを提案し、蒸留ベースのSFTと軌跡レベルGRPOによる二段階訓練で精度とコスト効率を向上。T-RExベンチマークで単一ターンRAGよりマクロF1が14.9ポイント向上、検索呼び出し数は半減。

MedRealMMは、中国全土のインターネット病院から収集した匿名化された医師と患者の対話に基づく大規模マルチモーダルベンチマークです。5,620の症例を64診療科にわたって含み、マルチモーダル臨床チャレンジポイント（MCCP）抽出フレームワークを使用して標準化された次応答生成タスクを作成します。19のLLMを評価した結果、画像情報が信頼できる臨床パフォーマンスに不可欠であり、現在の最先端モデルは医師と同等の肯定的基準を満たす一方で、より多くの否定的基準を引き起こし、安全性に敏感なエラー回避が主要なボトルネックであることが示されました。

L-MADフレームワークは、法的テキスト含意タスクにおけるマルチエージェント討論の異なる構造と集約方法を体系的に評価する。エージェントに専門家のペルソナを割り当てることで、強力な単一エージェントベースラインと比較して最大8%の改善を達成した。エージェント数を増やすと不整合性が低減し精度が向上するが、討論ラウンドを延長するとエージェントが互いの誤りを強化する「過剰審議ドリフト」が生じる。この発見は、ハイステークスな法的推論環境における協調的マルチエージェントシステムの展開に実用的な限界と安全マージンを提供する。

本論文では、LLMプランナーと時系列基礎モデル（TimesFM）を組み合わせ、反事実物理注入機構により物理的基盤を持つ自律防御を実現するニューロ・エージェンティック制御フレームワークを提案。SWaTデータセットでLSTMやTCNを上回り、幻覚動作はゼロ。

ARCANAは、厳格なテスト時間とハードウェア制約の下でARC-AGI-2タスクを解決するための協調型マルチエージェントフレームワークです。各タスクを反復的な知覚、仮説生成、シンボリック実行、反射的改善に分解し、微分可能なブラックボードと学習されたメタコントローラを介して通信します。構造化プログラム探索と適応型マルチターン補正を組み合わせ、抽象変換タスクにおける推論効率と解の品質を向上させます。

研究者らはブラソフ方程式の平均場導出の形式化を戦略ゲームとして捉え、数学者がAIシステムを指揮してLaTeX文書をLean 4証明支援コードに変換する。このケーススタディは、非線形ブラソフ方程式のドブルシン平均場経路による適切性（存在、一意性、安定性評価、平均場極限、短時間重ね合わせ原理）の完全な形式化に成功した。形式化の約6分の1は、より広範なライブラリが再利用可能な自己完結層として分離された。

本論文は、敵対的ロバスト性というAI安全性の基礎問題に対して、格子探索問題に帰着させる厳密な理論的枠組みを提示する。音声認証と完全認証という2種類の区間認証を導入し、格子探索演算子を開発、最適化の複雑性における非対称性を明らかにする。完全認証は多項式時間で解けるが、音声認証は強難解である。最後に、新しいParallelepipedoNNシステムを用いた実験評価を示す。

MITとThornの研究者らは、生成AIモデルが児童性的虐待素材（CSAM）を生成可能かどうかを、出力を生成せずに内部の適応を分析して検出する監査手法を開発した。テストでは100%の精度を達成し、拡張性も高いため、プラットフォームや法執行機関が有害なモデルを特定・除去する実用的なツールとなる。

31歳の声優、沈安宇氏はAIによる声のクローンが広がり、プラットフォームが本人の録音を合成音声と誤認する事態に直面している。収入減少を招き、同氏と妻は侵害コンテンツの追跡に多くの時間を費やしているが、対策は困難を極める。AI音声クローンツールは中国のショートドラマ、オーディオブック、ショートビデオ業界を揺るがしており、多くの声優が同様の問題と収入減少に悩んでいる。

Baton は、Claude Code や Codex などの AI コーディングエージェントを監視し、あなたの対応を待っているセッションの数をメニューバーにリアルタイム表示する macOS ユーティリティです。FSEvents を使用して瞬時に更新し、セッションへのクリックジャンプも可能です。

Tinier は無料のブラウザベースメディアツールで、画像圧縮、形式変換、AIアップスケール、動画のGIF変換をすべてサーバーにアップロードせずに実行します。

OneDevはAIユーザーを開発プラットフォームに組み込み、課題の処理、プルリクエストの作成、コードレビュー、CI/CDの失敗対応を可能にします。すべての作業が同じプラットフォーム内で可視化され、トレーサビリティが向上します。

ニュージャージー州ジャージーシティに拠点を置くLyzr社は、自社のAIエージェントシステム「SivaClaw」を活用して1億ドルのシリーズB資金調達を成功させました。このシステムは130人以上の投資家からの質問に対応し、投資メモを作成し、バッカーがどのスライドに注目したかを追跡することで、製品の実用性を証明しました。

xysq.aiは、AIネイティブチームと企業向けの協調メモリプラットフォームです。さまざまなAIツールやアプリを接続し、チームのワークフローからコンテキストをキャプチャして動的な知識グラフを構築し、エージェントが必要なときに適切なコンテキストを提供します。チームの隔離されたボールト、ロールベースのアクセス、ドキュメント整理、ユーザーデータをトレーニングに使用しないプライバシーポリシーを特徴としています。

Chatbrat.aiは、ダウンロードやサインアップ不要で、無料で安全なAIママチャットボットを提供します。ユーザーはカスタムキャラクターを作成し、持続的な記憶と個性的な性格を持たせることができ、チャット、ロールプレイ、ゲームなど様々なシーンで利用できます。この記事では機能、利点、類似製品との比較を紹介し、実際の親しい人の代わりではなく、感情的な慰めとしての位置づけを強調しています。

SelfAssayは、査読付き研究、実世界報告、知識グラフを統合し、バイオハッカーにエビデンスに基づく意思決定支援を提供するプラットフォームです。ソースは引用可能で、信頼度は調整されています。

著者がAIを印刷機になぞらえ、情報伝達の効率化という観点からその本質を考察するエッセイ。AIは知能や創造性をゼロから発明したのではなく、既存の「トークン生成」プロセスを飛躍的に効率化したと論じる。空気力学のアナロジーを用い、スケーリング則によって人間の思考を近似する仕組みを解説。最終的に、AIが言語と同様に人間の脳に生物学的影響を及ぼす可能性を予測する。

8年前、著者は「アルゴリズム100日間」チャレンジを開始し、手書きコードでアルゴリズムを学習した。現在、GPT-5.6によるレビューで多くの欠陥（不完全な最大流、バグのあるグラフアルゴリズム、壊れたBSTなど）が明らかになり、AIが学習を助けたか妨げたかを考察。コードを歴史的遺物として保存し、READMEを誠実に更新する決断。

エルゼビアが発表した「未来の研究者」報告書は、113カ国3,200人以上の研究者を対象にした調査に基づき、研究者が時間不足や資金圧力に直面する一方、AIツールの採用率が2024年の37%から58%に急増したことを明らかにした。中国の研究者は米国や英国と比べてAIへの信頼が著しく高い。また、研究者の国際移動意欲は低下したが、分野横断的な連携は増加している。

exxperts はローカルファーストのエージェントランタイムで、管理・承認ゲート付きの永続的なAIルームを提供します。すべてがローカルで実行され、データはディスク上のファイルとして保存され、プライバシーと制御を確保します。WebアプリとCLI/TUIの両方を提供します。

オープンソースAIは存続の危機に直面している。ホワイトハウスは大統領令によるオープンモデル規制を検討中で、蒸留とフロンティア能力に関する政策議論が同時進行し、6ヶ月以内に高度なオープンウェイトモデルが禁止される可能性がある。本記事はAnthropicの規制捕獲を批判し、APIの安全性は過大評価されていると指摘し、全面禁止は米国のオープンソースエコシステムに有害だと警告する。短期的な解決策として、米国企業が競争力のあるオープンモデルをリリースし、連携を構築することを提案している。

AI研究におけるワンステップの罠とは、学習した予測のほとんどまたはすべてを1ステップ予測とし、長期予測はそれを反復することで生成できると誤って考える一般的な誤りです。この考え方は魅力的ですが、誤差の蓄積と計算の複雑さの問題により、実際には効果が乏しいことが多いです。本稿ではこの罠とその危険性を分析し、オプションやGVFを用いた時間的抽象化モデルによる解決策を提案しています。

Microsoftは、システムリソースの使用状況を分析してパフォーマンスのボトルネックを特定する、Copilotの新機能「PC Insights」をテストしている。しかし、Copilot自体がフル機能のWebアプリであり、プライベート版Edgeを内蔵し、アイドル状態で最大1GBのRAMを消費するという皮肉な状況にある。この機能はオプトイン式で、ユーザーの許可が必要。

研究者らは1863年から1934年までの3,000件以上の銀行取り付け騒動のデータベースを構築し、大多数の取り付けは破綻に至らず、地理的・時間的パターンを分析した。

Samsung HealthアプリがAIトレーニング用に健康データの共有を必須化。同意しないとデータ同期ができなくなり、アプリやGalaxy Watchの機能が大幅に制限される。

AppleはOpenAIと元従業員2名を相手取り、ChatGPT向けハードウェア開発のために営業秘密を盗んだとして提訴。組織的な不正行為のパターンを主張する。OpenAIは否定し、他社の秘密に興味はないと述べている。

Linux of AIは、ポータブルなオントロジー、ポリシーコード、モデル交換ベンチマーク、監査ログ、コスト測定などにより、AIベンダーロックインを低減するための7つのプロジェクトからなるオープンソースエコシステムです。AIインフラを検査可能、管理可能、測定可能、交換可能にすることを目指しています。すべてのコアソフトウェアはMITライセンスの下で無料のオープンソースです。