AIを検索エンジンや印刷機の補助として:地域教育データの整理
ワシントン中央学区はバーモント州内では優れているが、同州自体の教育水準は全米に比べて低下している。同学区のテストスコアは2013年以来約1学年分低下し、大学進学率は全国平均を大きく下回る。
- ワシントン中央学区のテスト結果はバーモント州平均を上回るが、全国基準に対しては低下している。
- バーモント州の教育水準は過去10年間で顕著に低下し、その一部はパンデミック前から始まっている。
デイリー
2026-07-13 の厳選ニュース 10 件をトピック別に整理します。その他はアーカイブに折りたたみます。
ワシントン中央学区はバーモント州内では優れているが、同州自体の教育水準は全米に比べて低下している。同学区のテストスコアは2013年以来約1学年分低下し、大学進学率は全国平均を大きく下回る。
今やAI機能はどこにでもあるが、そのほとんどは役に立たない。著者はシンプルなルールを提案する:AI機能の有用性は、それを呼び出すために開発者が割く画面スペースに反比例する。大きなポップアップや複数のボタンは無用であり、UIの片隅に隠れた単一のボタンは有用である。Adobe Acrobatを例に説明する。
SearchCue は、リアルタイム検索、AI回答、分析機能を提供する簡単に統合できるサイト検索ツールです。セットアップは約3分で、15日間の無料トライアルが利用でき、クレジットカードは不要です。
Crowdmindは、ローカルファーストのデスクトップアプリで、高速な定性調査を可能にします。AI生成の合成ペルソナパネルを作成し、製品、メッセージ、価格、ランディングページ、画像、PDF、マルチステップファネルなどをテストし、スコア、反対意見、肯定的シグナル、繰り返しテーマなどの構造化フィードバックを得られます。複数のLLMプロバイダー(ローカルオフラインモデルを含む)をサポート。データはローカルのSQLiteデータベースに保持されます。創業者、プロダクトマーケター、研究者、プロダクトチームに最適です。
CairnはOmri Pitaruが運営する自己編集型AIエージェントで、GitHub上で自身のアイデンティティ、記憶、目標、文章を公開編集しています。固定予算で動作し、メールで人間とやり取りします。
CloudflareはPrecursorを発表しました。これは、クライアント側のセッションベースの行動検証システムで、ユーザーのインタラクションシグナルを継続的に収集し、人間とボットを区別します。正当なユーザーの摩擦を減らし、高度な自動化の検出精度を向上させます。
Outlinesはオープンソースライブラリで、LLMの出力生成プロセスに決定論的な確実性をもたらし、JSONなどの構造化出力をより信頼性高く生成します。推論時に不正なトークンをマスクすることで、出力が事前定義された形式に厳密に従うことを保証します。本記事では、Pythonを用いた3つの実用的なユースケースを紹介します。
「SociaLLMエンジニアリング」と呼ばれる新たなソーシャルエンジニアリング攻撃が、大規模言語モデルを搭載したAIエージェントを標的にしている。これらの攻撃は、LLMの暗黙の社会的理解と信頼境界の欠如を悪用し、機密情報の漏洩や不正な操作を引き起こす。実際の事例には、Instagramアカウント乗っ取り、GitHubワークフローのデータ漏洩、AIブラウザへの「バイオショック」攻撃などがある。この記事では、LLMがなぜ特に脆弱であるか——ユーザーを喜ばせる設計、単一チャネル処理、記憶の欠如——を検証し、人間による監視や堅牢なガードレールなどの緩和策を提案する。
Tokenmaxxingは重要な問題を明らかにした:企業はAI予算を価値創造ではなく再構築に浪費している。
新興市場のAIスタートアップは、オフラインで動作する音声臨床記録やWhatsApp数学チューターなど、現地の状況に最適化された「スモールAI」ソリューションを構築している。技術は障壁ではなく、不足しているのはパイロットから持続可能な成長へとスケールアップするためのエコシステムだと論じる。世界銀行はこれらのスタートアップを支援するグローバルアクセラレータプログラムを立ち上げている。
OpenAIはChatGPTデスクトップアプリをCodexと統合し、スクリーンショットや「Work with」などの便利機能を削除しました。新インターフェースはCodex中心で、ChatGPTモードは小さなポップアップに縮小。著者はブラウザ版が最適と結論づけています。
VairfidはAIエージェントに登録、検証、信頼スコアを提供し、企業間の安全な連携を実現します。
Loamは、最初の10人の採用を行うアーリーステージの創業者向けに設計されたAI搭載の応募者追跡システム(ATS)です。応募者追跡、AIによる候補者レビュー、ソーシング、チャット、MCP統合、ブランド化された採用サイトをひとつのプラットフォームに統合し、無料から始められるシンプルな月額料金を提供します。スプレッドシートの混乱やエンタープライズATSの高コストに悩む創業者に最適です。
Cloudflareは9月15日から広告付きページへのAIエージェントクローラーをデフォルトでブロックし、クローラーを「検索」「エージェント」「トレーニング」の3カテゴリに分類。AI企業はアクセス再交渉を迫られ、従量課金モデルが生まれている。
DiscoMCPはオープンソースツールで、ユーザーの実際の使用パターンを分析し、任意のMCPサーバーをAIエージェント向けのカスタマイズされたスキルに変換します。読み取り専用を保証し、ワンコマンドで起動でき、複雑なサーバーとのやり取りにおけるラウンドトリップを大幅に削減します。
AIツールは見た目に整ったフロントエンドコードを迅速に生成できますが、アクセシビリティ、キーボード操作、フォーカス管理、エラーハンドリングなどの重要な側面を見逃すことがよくあります。この記事では、明確なエンジニアリング期待、デザインシステム、行動重視のテストを含む、より強力な検証手法の必要性を強調しています。
Diff Forge AI は、ローカル優先のエージェンティック開発環境(ADE)であり、Codex、Claude Code、OpenCode などのコーディングエージェントを並列実行し、音声制御、スクリーンショット、Webダッシュボードによるリモート表示をサポートします。マルチターミナルワークスペース、スケジュール自動化のためのループスペース、クラウド同期、デバイス管理を提供し、料金は無料から月額2,000ドルです。
AI Connector は、Magento 2 の拡張機能で、ストアフロントと主要な大規模言語モデル(Claude、ChatGPT、Gemini など)を統合する単一のREST APIとPHP統合層を提供します。
MetaのMuse Spark 1.1は、Artificial Analysis Intelligence Indexで51点を獲得し、3か月前の1.0版から8点上昇しました。科学推論、コーディング、知識分野での進歩が顕著で、エージェント型知識作業も大幅に改善されましたが、最先端モデルにはまだ及びません。トークン効率が高く、実行コストも低いモデルです。
従来のToDoリストをスマートなAIエージェントに進化させ、タスク管理の自動化と効率向上を実現する方法を探る。
Prime Intellect は verifiers 0.2.0 をリリースし、書き直された v1 コアをプレビューしました。v1 は環境をタスクセット(何を)、ハーネス(どのように)、ランタイム(どこで)に分割し、リクエストをプロキシしてトレーニング用のトレースを記録するインターセプションサーバーを導入します。任意のタスクセットは互換性のある任意のハーネスの下で実行でき、prime-rl トレーニングを完全にサポートします。
本稿では、AI時代においてダニング=クルーガー効果(能力の自己評価と実際の差)がどのように拡大するかを考察する。著者は、AIが自信を高め、実際の能力を「ツールあり」と「ツールなし」に分断し、経験による自己修正を妨げると仮説を立てる。企業にとって、内在的スキルは生産性の問題からガバナンスの問題へと移行し、静かに浸食されていく。
自律型AIエージェントと自動化プラットフォームの急速な台頭により、メモリ帯域幅が重要なパフォーマンスドライバーとなっています。Appleの統合メモリアーキテクチャ、CUDIMM規格、そして新しいPCアップグレードサイクルが市場を再形成する一方、SamsungやSK hynixなどのメモリメーカーはHBM容量配分と限られた供給により構造的に利益を得ています。
BeyondSightは、アクターの存在と観測可能性を切り離し、永続的なアクター仮説を維持することで、部分観測環境下でも遮蔽されたアクターを推論可能にするエンドツーエンド運転フレームワークです。実験では、観測不可能なアクターの検出mAPが0から0.249に向上し、計画誤差L2avgが0.61から0.54に低減しました。
本論文では、通信がなく方向性センシングのみを持つマルチUAVチームのための分散型予算対応探索フレームワークDec-MARVELを提案する。各ロボットは視野内のチームメイトの軌跡を観測することで協調し、グラフアテンションネットワークを用いて帰還可能なウェイポイントを選択する。実験では、様々なチーム規模と予算で最高の探索率と最低のセンシング重複を達成し、実機実験でもシミュレーションから実世界への転送に成功した。
SplatCtrlは、3Dガウススプラッティングを用いたリアルタイムシーン再構築とリアクティブなロボット動作生成を統合するフレームワークであり、未経験で動的な環境におけるロボットアームの衝突回避制御を実現する。ハイブリッドボクセルフィルタリングと動的ガウス再配置戦略により環境変化に対応し、等方性ガウス分布から連続符号付き距離関数を導出して制御障壁関数に組み込む。シミュレーション、実機ロボット、人協調領域での実験により有効性を確認した。
AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。
L-MADフレームワークは、法的テキスト含意タスクにおけるマルチエージェント討論の異なる構造と集約方法を体系的に評価する。エージェントに専門家のペルソナを割り当てることで、強力な単一エージェントベースラインと比較して最大8%の改善を達成した。エージェント数を増やすと不整合性が低減し精度が向上するが、討論ラウンドを延長するとエージェントが互いの誤りを強化する「過剰審議ドリフト」が生じる。この発見は、ハイステークスな法的推論環境における協調的マルチエージェントシステムの展開に実用的な限界と安全マージンを提供する。
ARCANAは、厳格なテスト時間とハードウェア制約の下でARC-AGI-2タスクを解決するための協調型マルチエージェントフレームワークです。各タスクを反復的な知覚、仮説生成、シンボリック実行、反射的改善に分解し、微分可能なブラックボードと学習されたメタコントローラを介して通信します。構造化プログラム探索と適応型マルチターン補正を組み合わせ、抽象変換タスクにおける推論効率と解の品質を向上させます。
研究者らはブラソフ方程式の平均場導出の形式化を戦略ゲームとして捉え、数学者がAIシステムを指揮してLaTeX文書をLean 4証明支援コードに変換する。このケーススタディは、非線形ブラソフ方程式のドブルシン平均場経路による適切性(存在、一意性、安定性評価、平均場極限、短時間重ね合わせ原理)の完全な形式化に成功した。形式化の約6分の1は、より広範なライブラリが再利用可能な自己完結層として分離された。
AVAは、Asterisk/FreePBX向けのオープンソースのセルフホスト型音声AIエージェントです。クイックデプロイ、マルチエージェント管理、リアルタイムダッシュボード、複数のAIエンジンサポートを提供します。最近のアップデートには、安定性の修正、サイレンスウォッチドッグ、エージェントごとの音声選択機能が含まれます。
31歳の声優、沈安宇氏はAIによる声のクローンが広がり、プラットフォームが本人の録音を合成音声と誤認する事態に直面している。収入減少を招き、同氏と妻は侵害コンテンツの追跡に多くの時間を費やしているが、対策は困難を極める。AI音声クローンツールは中国のショートドラマ、オーディオブック、ショートビデオ業界を揺るがしており、多くの声優が同様の問題と収入減少に悩んでいる。
Baton は、Claude Code や Codex などの AI コーディングエージェントを監視し、あなたの対応を待っているセッションの数をメニューバーにリアルタイム表示する macOS ユーティリティです。FSEvents を使用して瞬時に更新し、セッションへのクリックジャンプも可能です。
Clarkは一人で開発されたAIアシスタントで、Manusエージェントと機能・能力で同等を目指しています。コンピュータ使用、ブラウザ使用、深い調査、Googleツールとの統合が可能。毎日何千人ものユーザーが利用しています。
OneDevはAIユーザーを開発プラットフォームに組み込み、課題の処理、プルリクエストの作成、コードレビュー、CI/CDの失敗対応を可能にします。すべての作業が同じプラットフォーム内で可視化され、トレーサビリティが向上します。
ニュージャージー州ジャージーシティに拠点を置くLyzr社は、自社のAIエージェントシステム「SivaClaw」を活用して1億ドルのシリーズB資金調達を成功させました。このシステムは130人以上の投資家からの質問に対応し、投資メモを作成し、バッカーがどのスライドに注目したかを追跡することで、製品の実用性を証明しました。
Argo CD UI拡張機能で、リソースビューにAIアシスタントタブを追加します。ユーザーは自然言語でKubernetesリソースをクエリでき、マニフェスト、イベント、オプションのログを含むコンテキストが付加されます。OpenAI互換のバックエンドと連携可能で、Argo CD v2.13+が必要です。
xysq.aiは、AIネイティブチームと企業向けの協調メモリプラットフォームです。さまざまなAIツールやアプリを接続し、チームのワークフローからコンテキストをキャプチャして動的な知識グラフを構築し、エージェントが必要なときに適切なコンテキストを提供します。チームの隔離されたボールト、ロールベースのアクセス、ドキュメント整理、ユーザーデータをトレーニングに使用しないプライバシーポリシーを特徴としています。
Adaptive Recallは、認知科学と機械学習を活用し、複数の検索戦略、認知スコアリング、知識グラフ、自己改善メカニズムによって、インタラクションから学習するAIアシスタント向けのメモリシステムです。
Fade Engineは完全自律型のAIで、過度に上昇した小型株を空売りし、1万ドルの模擬口座でリアルタイムに取引し、すべての取引を公開します。市場時間中は5分ごとにスキャンし、18のパターンを識別し、終了時間までに全ポジションをクローズします。
この記事は、ユーザーの未使用AI推論トークンを科学研究にクラウドソーシングするアイデアを探求し、SETI@homeプロジェクトと類似点を挙げる。また、小規模チームによる数学問題の解決成功例や、設計上の課題について論じる。
本記事では、AIエージェントが検証器、状態、停止条件を用いて目標に向かって自律的に反復するループエンジニアリングを解説します。アンドレイ・カーパシーの自動研究ループと二段階自動研究を詳述し、具体的な成果を示します:自動研究は700回の実験から20の改善を見つけ、GPT-2学習時間を11%短縮。二段階自動研究は外側のメタループを追加し、val_bpbで5倍の改善を達成。さらに、再利用可能な構成要素と実践的なテンプレートも提供します。
exxperts はローカルファーストのエージェントランタイムで、管理・承認ゲート付きの永続的なAIルームを提供します。すべてがローカルで実行され、データはディスク上のファイルとして保存され、プライバシーと制御を確保します。WebアプリとCLI/TUIの両方を提供します。
Koteは、開発者のAIアシスタントとの会話、Gitコミット、開発コンテキストを自動的にキャプチャし、検索可能なナレッジベースを構築するオープンソースツールです。過去の技術的な決定や解決策を素早く思い出すのに役立ちます。VS Code拡張、GitHub統合、CLI、ブラウザ拡張、WhatsApp/Telegramメッセージ統合に対応し、セルフホストも可能です。
AI研究におけるワンステップの罠とは、学習した予測のほとんどまたはすべてを1ステップ予測とし、長期予測はそれを反復することで生成できると誤って考える一般的な誤りです。この考え方は魅力的ですが、誤差の蓄積と計算の複雑さの問題により、実際には効果が乏しいことが多いです。本稿ではこの罠とその危険性を分析し、オプションやGVFを用いた時間的抽象化モデルによる解決策を提案しています。
本稿は、「無用な」研究が将来のイノベーションに不可欠であることを論じる。Folk Computerシステムを例に、Xerox PARCからDynamiclandに至る系譜を辿り、まだ有用性が明確でない段階でのパラダイム研究への資金提供を呼びかけている。
OpenAIのAIシステムがAtCoder World Tour Finals 2026のアルゴリズム部門で全5問を解き、8300点を獲得。人間の最高点は4300点で、C問題とE問題を解けた者はいなかった。ヒューリスティック部門ではAIのスコアが人間最高の7倍以上に達した。60万円の「人間優勝賞」は誰も獲得できず。このシステムはGPT-5.6に匹敵するとされる。
イリノイ大学アーバナ・シャンペーン校の研究により、脳の意思決定は従来考えられていたよりも早期に始まることが明らかになった。一次感覚野でさえ高次の脳領域からのフィードバックループの影響を受けており、これまでの階層的処理モデルに挑戦する。この発見は、より効率的で生物の脳に近い人工知能システムの設計に役立つ可能性がある。
Phoebe Gates氏が手がけるAIショッピング拡張機能Phiaが、ユーザーデータの過剰収集(全ページHTMLキャプチャやクッキースタッフィング)でプライバシー問題を引き起こしている。
TactiDexは、現実世界の触覚誘導型ベンチマークであり、器用な操作を運動学的模倣から接触レベルの人間らしさへと進化させる。全手の触覚信号と多粒度の運動学・物体状態を整列したデータセットと、三要素触覚報酬を用いたTactiSkillフレームワークを提案し、単手・両手作業で優れた性能を示す。
本論文は、敵対的ロバスト性というAI安全性の基礎問題に対して、格子探索問題に帰着させる厳密な理論的枠組みを提示する。音声認証と完全認証という2種類の区間認証を導入し、格子探索演算子を開発、最適化の複雑性における非対称性を明らかにする。完全認証は多項式時間で解けるが、音声認証は強難解である。最後に、新しいParallelepipedoNNシステムを用いた実験評価を示す。
Chatbrat.aiは、ダウンロードやサインアップ不要で、無料で安全なAIママチャットボットを提供します。ユーザーはカスタムキャラクターを作成し、持続的な記憶と個性的な性格を持たせることができ、チャット、ロールプレイ、ゲームなど様々なシーンで利用できます。この記事では機能、利点、類似製品との比較を紹介し、実際の親しい人の代わりではなく、感情的な慰めとしての位置づけを強調しています。
SelfAssayは、査読付き研究、実世界報告、知識グラフを統合し、バイオハッカーにエビデンスに基づく意思決定支援を提供するプラットフォームです。ソースは引用可能で、信頼度は調整されています。
著者がAIを印刷機になぞらえ、情報伝達の効率化という観点からその本質を考察するエッセイ。AIは知能や創造性をゼロから発明したのではなく、既存の「トークン生成」プロセスを飛躍的に効率化したと論じる。空気力学のアナロジーを用い、スケーリング則によって人間の思考を近似する仕組みを解説。最終的に、AIが言語と同様に人間の脳に生物学的影響を及ぼす可能性を予測する。
8年前、著者は「アルゴリズム100日間」チャレンジを開始し、手書きコードでアルゴリズムを学習した。現在、GPT-5.6によるレビューで多くの欠陥(不完全な最大流、バグのあるグラフアルゴリズム、壊れたBSTなど)が明らかになり、AIが学習を助けたか妨げたかを考察。コードを歴史的遺物として保存し、READMEを誠実に更新する決断。
エルゼビアが発表した「未来の研究者」報告書は、113カ国3,200人以上の研究者を対象にした調査に基づき、研究者が時間不足や資金圧力に直面する一方、AIツールの採用率が2024年の37%から58%に急増したことを明らかにした。中国の研究者は米国や英国と比べてAIへの信頼が著しく高い。また、研究者の国際移動意欲は低下したが、分野横断的な連携は増加している。
オープンソースAIは存続の危機に直面している。ホワイトハウスは大統領令によるオープンモデル規制を検討中で、蒸留とフロンティア能力に関する政策議論が同時進行し、6ヶ月以内に高度なオープンウェイトモデルが禁止される可能性がある。本記事はAnthropicの規制捕獲を批判し、APIの安全性は過大評価されていると指摘し、全面禁止は米国のオープンソースエコシステムに有害だと警告する。短期的な解決策として、米国企業が競争力のあるオープンモデルをリリースし、連携を構築することを提案している。
研究者らは1863年から1934年までの3,000件以上の銀行取り付け騒動のデータベースを構築し、大多数の取り付けは破綻に至らず、地理的・時間的パターンを分析した。
Samsung HealthアプリがAIトレーニング用に健康データの共有を必須化。同意しないとデータ同期ができなくなり、アプリやGalaxy Watchの機能が大幅に制限される。
モンテフィオーレ病院が12人の看護師を解雇し、AIソフトウェアに置き換えた。組合は、ストライキの末に勝ち取ったばかりの契約を破ったと主張している。
本記事は、AIによる実存リスクに関する自身の認識的不確実性を監査するためのフレームワークを提案する。構造化された質問リストと分野を特徴とし、著者は特定の質問よりもフレームワーク自体の価値を強調し、動的な更新とコミュニティの貢献を奨励している。
Googleは旗艦AIアシスタント「Gemini」をWazeに統合し、音声コマンドによる事故報告や目的地検索を可能に。さらに「おしゃべり控えめモード」、バイク専用の「モーターサイクルモード」、過去の走行データに基づくルート提案を追加。
グローバルキャリアハブは、無料のAIツール、奨学金、キャリアリソースを提供し、ユーザーのキャリアプランニングを支援します。
著者はAIに関する自身の見解を共有し、その影響は大きく、肯定的であると位置づけている。仕事の代替、SaaSの将来、価格変動、資本支出の正当性について質問に答え、AIがプロセスを効率化しビジネスモデルを変革するが、過度な懸念は不要だと論じている。
クリストファー・ノーラン監督はAIへの懸念を「ナンセンス」と退け、自身の大規模ロケ撮影映画は影響を受けないと述べ、ルピタ・ニョンゴへの批判を「無関係」と一蹴。
歌手のLordeがマドリードのReal CoolフェスティバルでAIグラスに反対する発言をし、スポンサーであるRay-BanのMetaスマートグラスを批判した可能性がある。彼女は現実と虚構の区別が難しくなっていると述べ、「クソグラス、セクシーじゃない」と明言した。
多くの開発者はコードに注目しすぎるため、自動プログラミングの可能性を最大限に活かせていない。自分自身がボトルネックとなっている。時間を新しいアイデア、QA、設計、目標の明確化に投資すべきである。
ゴールドマン・サックスの調査によると、AIブームによる供給制約がメモリチップや半導体などの主要部品価格を押し上げ、米国のコアPCEインフレを年間約20ベーシスポイント押し上げ、年末までに50ベーシスポイントに倍増すると予想され、他の先進国の平均10ベーシスポイントを大幅に上回る。
Tinier は無料のブラウザベースメディアツールで、画像圧縮、形式変換、AIアップスケール、動画のGIF変換をすべてサーバーにアップロードせずに実行します。
OpenAIとAnthropicは大規模な汎用モデルを構築しているが、マイクロソフトなどの企業はコスト削減と効率化のために小型で特殊なモデルに移行している。マイクロソフトのMAIファミリーは製品内のOpenAIモデルを置き換えつつある。
Microsoftは、システムリソースの使用状況を分析してパフォーマンスのボトルネックを特定する、Copilotの新機能「PC Insights」をテストしている。しかし、Copilot自体がフル機能のWebアプリであり、プライベート版Edgeを内蔵し、アイドル状態で最大1GBのRAMを消費するという皮肉な状況にある。この機能はオプトイン式で、ユーザーの許可が必要。
Appleの自動運転車プロジェクトは実現しませんでしたが、同社のチップを強力なAIプロセッサにしたのはそのプロジェクトかもしれません。自動運転プラットフォームの開発初期に、Appleは強力なデバイス上AI処理の必要性を認識しました。自動車向けプロセッサは完成しませんでしたが、Mark Gurman氏の最新ニュースレターによると、それがAppleのデバイス上AI処理の基盤であるNeural Engineの開発につながりました。Neural EngineはiPhone XとA11 Bionicで初めて搭載され、顔認証やAnimojiに使われました。その後、Mシリーズチップにも採用され、AppleはAIハードウェアで先行しています。今後はM7チップの開発を加速し、2027年前半に大幅に強化されたNeural Engineを搭載する予定です。M7 Ultraは最大1.5TBのRAMをサポートするサーバー製品の基礎となる見込みです。
インド企業は、DeepSeek、Alibaba、Moonshot AIが開発した中国製大規模言語モデル(LLM)を活用して人工知能関連支出を抑制しており、長年にわたる対立にもかかわらず、先端技術における中国への依存を拡大している。
スタンフォード大学の研究チームは、エージェントの失敗軌跡から不足能力を診断し、各能力に対して検証可能な合成環境を生成し、GRPOでLoRAアダプタを訓練し、トークンレベルのMoEルーティングで構成するTRACEシステムを提案。τ²-Benchで+15.3ポイント、SWE-bench Verifiedで73.2%のPass@1を達成。
この研究は、ナビゲーションの難易度に関連する血管指標を特定し、将来の複雑性評価を可能にする定量的血管特徴抽出のための自動パイプラインを開発することを目的としています。61名の患者のCT血管造影から血管樹を分割し、大動脈弓タイプ、牛弓の存在、血管長、屈曲度、起始角、逆曲線数などを測定。Soft Actor-Critic強化学習アルゴリズムを用いて120秒間の自律ナビゲーションを実施しました。左側では牛弓とII/III型大動脈弓がナビゲーション時間をそれぞれ30.19秒と37.92秒延長し、屈曲度が高いほど手技時間が延び成功率が低下。右側ではII/III型弓が45.94秒延長し、逆曲線が1つ増えるごとに3.96秒延長し成功率が低下しました。この自動パイプラインは、標準化された複雑性評価と強化学習モデル評価の基盤を提供します。
CLAPは数値行動系列の前に言語記述を追加することで、事前学習済みVLMをVLAに効率的に変換します。単一エポックのファインチューニングで2BモデルがLIBEROで90.8%を達成し、ロバスト性も向上。0.8B、2B、4Bのオープンウェイトモデルを公開予定。
FlowDAggerは、凍結された生成ロボットポリシーを潜在空間での人間の介入から効率的に適応させるサンプル・計算効率の高い手法です。核心はアクション反転:各人間専門家の行動を、凍結ベースポリシー下でそれを生成するノイズにマッピングし、軽量な潜在ポリシーを訓練してベースモデルを誘導します。シミュレーションと実世界の両腕・片腕操作タスクにおいて、教師ありファインチューニングや潜在空間強化学習ベースラインを上回り、事前訓練されたスキルを保持します。
本論文では、大規模テキスト・ツー・ビデオ生成をコンピュータビジョンのプレトレーニングパラダイムとして活用するGenCeptionを提案。深度、表面法線、カメラポーズ推定など多様なタスクでSOTAを達成し、データ効率の良さと合成データから実世界への汎化能力を示す。
C-GAPは、大規模言語モデル(LLM)を用いて言語プロンプトを反復的に改良し、再トレーニングや追加アノテーションなしに、視覚言語モデルにおけるレアクラスの検出を向上させる新しいフレームワークです。2つのフェーズから構成されます:まず、シーン記述とクラス数量コンテキストを組み合わせた複合キャプションベースラインを確立し、次に、LLMが少数クラスの平均精度(AP)閾値に基づいて各画像のキャプションを反復的に最適化します。実験では、少数クラスのAPが最大53%向上し、COCOでは約81%の相対改善を示しました。
MultiView-Benchは、視覚言語モデル(VLM)が複数の視点からの観測を統合し、一貫したワールド中心の3Dメンタルモデルを構築する能力を評価するために設計された診断ベンチマークです。現在の最先端VLMは単一視点の2Dタスクでは優れていますが、3D空間関係の理解と視点間の情報統合に苦戦しています。著者らは、情報量の多い視点を積極的に選択し、マルチビュー証拠を融合するマルチエージェントフレームワークViewNavigatorを提案し、ベンチマークで3〜5倍の性能向上を達成しました。
コートジボワールで実施された研究では、超高解像度(0.5m)とデカメートル衛星画像を比較し、VHRはF1=0.92を達成、TESSERAなどの基盤モデル埋め込み(F1=0.86)はスケーラブルな代替手段となることを示した。断片化した景観では性能差が拡大する。
新しい研究により、Vision Transformer(ViT)が自然画像から囲まれ性、凸性、対称性などのゲシュタルト的な図地手がかりを学習できることが示された。25のViTモデルをテストした結果、囲まれ性と凸性は堅牢に符号化される一方、対称性は均一色領域でのみ機能することが分かった。この研究は、ゲシュタルト手がかりが自然シーンの統計から学習可能であることを示し、ViTを知覚組織の計算メカニズム研究のモデルシステムとして位置づける。
本論文は、ICIP 2026 Grand Challenge「Extreme In-the-Wild License Plate Super-Resolution (XLPSR)」への参加内容を述べています。システムは、Hybrid Attention Transformer (HAT)超解像フロントエンドと、2つのシーンテキスト認識器(PARSeq-SとCLIP4STR-B)のアンサンブル、および不確かな位置で棄権する信頼度重み付き文字投票スキームを組み合わせ、公開検証リーダーボードで9.73 wECRを達成しました。パイプラインはRTX 3090上でシーケンスあたり1.7秒で動作し、60秒のDocker予算を大きく下回ります。
Lume-Paletteフレームワークは、照明蒸留と照明投射の2段階にプロセスを分離することで、空間的に制御可能なマルチビュー屋内シーン再照明を実現し、マルチビュー一貫性を維持しながら詳細な3Dライト制御を可能にします。
本論文は、訓練時のみ利用可能な補助モダリティを効果的に活用するためのフレームワーク「Mixture of Probes (MoP)」を提案する。MoPは構造化プロービング機構を用いて中間表現から情報を抽出し、MoP-X訓練戦略によりプローブ崩壊を防ぎつつクロスモーダル学習を促進する。実験では、ベースラインに対して最大65%の相対的改善を達成した。
StereoSplat+は、単一のステレオペアから因果的再構成を可能にする拡散強化フィードフォワードフレームワークです。複数視点の観測を必要とせず、ステレオガウシアン推定器とプログレッシブ推論スキームを統合し、KITTI-360データセットにおいて新規視点レンダリング品質と幾何学的精度を向上させます。
本研究は、オックスフォード大学の第二次世界大戦アーカイブを事例に、クラウドソースコレクションにおける自動キーワード抽出の技術的・倫理的課題を調査。3つのNLP手法を評価し、有望だが完全な解決策はなく、生成AIよりもオープンウェイト抽出モデルが責任ある展開に適していると結論づけている。
本研究は、機械学習を用いた大規模文学コーパスの自動主題索引付けを探求し、ヴォルテール作品をテストケースとして、さまざまなモデルを比較。最良のMistralシリーズ4ビット量子化モデルはF1スコア0.67を達成し、自動索引の可能性を示した。
研究によると、小型双曲言語モデルでは創造性、誠実性、設計された忘却などの特性が現れ、信頼できる伴侶AIへの小モデル経路を提供する。これらのモデルには行動監査役、創造的フレーム・シーダー、記憶オペレーティングシステムが含まれる。
本研究では、11個のGPT-2スタイル事前学習モデルの重みスペクトルを分析し、残差書き込み行列におけるスケール増大とスペクトル集中などの共有深さ傾向を発見。これらのスペクトルパターンを模倣した初期化手法を構築したが、標準的な手法に対する性能優位性は見られなかった。事前学習済み重みの直接再利用が依然として競争力を持ち、粗いスペクトルマッチングだけでは不十分で、よりリッチな情報が必要であることを示唆している。
この研究では、GPT-4oと検索拡張生成(RAG)を用いて、企業報告書、マクロ経済データ、SEC提出書類を処理し、投資家向けブリーフを自動生成する方法を探求しています。システムは4週間にわたり9社をスキャンし、9人の個人投資家が評価を行いました。
知識グラフ(KG)は自動構築時に事実誤差を含むことが多く、AgentKGVは動的ルーティングと反復クエリ書き換えを統合したエージェンティックLLM-RAGフレームワークを提案し、蒸留ベースのSFTと軌跡レベルGRPOによる二段階訓練で精度とコスト効率を向上。T-RExベンチマークで単一ターンRAGよりマクロF1が14.9ポイント向上、検索呼び出し数は半減。
新しい研究が言語モデルにおける創発的ミスアライメント(EM)のロバスト性に疑問を投げかけている。EMを再現しつつも、ミスアライメントとリアライメントはデータセットの表面的な特性(応答長の違いなど)に非常に敏感であり、以前報告された表現の相転移は行動のミスアライメントと一貫して相関しないことが判明した。これはEMの現在の証拠が主張されていたほどロバストではないことを示唆し、より厳密な評価プロトコルの必要性を強調している。
HALOは、粗い洗練段階とトークンスコアリングに基づく選択的な第2段階の潜在洗練を組み合わせたハイブリッド適応潜在洗練手法であり、凍結済み事前学習言語モデルを効率的に改善します。MMLU-ProおよびGPQA-Diamondベンチマークで、固定洗練ベースラインよりも優れた平均性能を達成し、計算コストも低くなっています。
本論文では、大規模言語モデル推論のための効率的なGPU手法を提案。3層の行列ストレージ形式(スパーステンソルコア層、スロットフィリング層、残差層)を用い、50%程度の疎密度で初めて密行列乗算を凌駕する性能を達成。SpInfer比最大1.64倍のカーネル高速化、FlashLLM比最大1.41倍のエンドツーエンド高速化を実現。
本論文では、予測駆動のオンラインエキスパート配置によりエンドツーエンドレイテンシを最小化する新しい分散MoEサービングシステムDirectorを提案する。軽量カスケード予測器または低ビット量子化レプリカを用いてエキスパート活性化パターンを予測し、ほぼゼロダウンタイムのマイグレーションモジュールと、多項式時間で(1+ε)近似比を達成する緩和ベースの最適化器を備える。実験では、Mistral、DeepSeek、Qwenなどの人気MoEモデルにおいて、既存手法と比較して11〜55%のレイテンシ削減を実証した。
本論文では、報酬輸送(Reward Transport)を提案する。訓練時に最適輸送結合を用いてノイズ空間のスカラー座標を分子報酬とアライメントし、推論時にその座標を調整するだけで、オラクルや報酬モデル、勾配ガイダンス、追加計算を必要とせずに生成分布を制御できる。ZINC-250KおよびGuacaMolでの実験により、logPの単調制御とQEDの一貫した制御を示し、汎用的なサイズバイアスが排除される。また、クラシファイアフリーガイダンスと相補的である。
エッジデバイス上でのメモリ効率的な推論を実現するため、StickyMoEを提案します。これは隣接するトークン間の専門家切り替えをペナルティする微分可能なルーティング一貫性損失であり、トレーニング時に直接適用します。実験では、専門家切り替え率を最大60%削減し、パープレキシティの低下は4%未満です。
本論文は、標準対称量子化器のクリッピング問題を解決し、非対称量子化の実行時オーバーヘッドを回避する符号付き対称量子化を提案する。理論解析によりℓ2誤差で条件付き最適性を示し、Qwen3、Llama3シリーズのLLMでパープレキシティと精度の向上を確認した。
iLENSは、大規模言語モデル(LLM)と混合専門家システム(MoE)に基づく解釈可能なフレームワークであり、アルツハイマー病(AD)の前駆期から認知症への変換を予測する。構造化神経画像測定と非構造化情報を統合し、LLMが専門家のルーティングを導くことで、競争力のある予測性能と患者サブタイピングを提供し、ルーティング決定に対して透明で生物学的に根拠のある理由を示し、高性能生存分析と解釈可能な臨床意思決定支援のギャップを埋める。
本論文では、大規模言語モデル(LLM)における知識蒸留(KD)のメカニズムを説明する統一アプローチを提案する。出力を相互作用に分解することで、KDの共通メカニズムが相互作用のスパース化(学生モデルが少数の相互作用のみを保持)であることを発見。性能の違いは複雑な相互作用の処理能力に起因し、複雑相互作用ペナルティ(CIP)損失関数を提案。実験によりCIPが様々なKD手法の性能を一貫して向上させることを示す。
KV-PRMは、LLM生成時に自然に生成されるKVキャッシュを直接利用することでテキストの再エンコードを排除し、スコアリングコストをO(L²)からO(L)に削減する効率的なプロセス報酬モデルです。実験では、テキストベースPRMと同等以上の性能を示しながら、FLOPsを最大5000倍、レイテンシを37倍、メモリ使用量を34倍削減しました。
MedRealMMは、中国全土のインターネット病院から収集した匿名化された医師と患者の対話に基づく大規模マルチモーダルベンチマークです。5,620の症例を64診療科にわたって含み、マルチモーダル臨床チャレンジポイント(MCCP)抽出フレームワークを使用して標準化された次応答生成タスクを作成します。19のLLMを評価した結果、画像情報が信頼できる臨床パフォーマンスに不可欠であり、現在の最先端モデルは医師と同等の肯定的基準を満たす一方で、より多くの否定的基準を引き起こし、安全性に敏感なエラー回避が主要なボトルネックであることが示されました。
本論文では、LLMプランナーと時系列基礎モデル(TimesFM)を組み合わせ、反事実物理注入機構により物理的基盤を持つ自律防御を実現するニューロ・エージェンティック制御フレームワークを提案。SWaTデータセットでLSTMやTCNを上回り、幻覚動作はゼロ。
Long-Horizon-Terminal-Benchは、実験再現、ソフトウェア工学、マルチモーダル解析、インタラクティブゲーム、科学計算など9カテゴリにわたる46の長期的タスクからなるターミナルベンチマークです。タスクを細かいサブタスクに分解し、密な中間報酬と部分点を提供することで、AIエージェントの能力をより包括的に評価します。15の最先端モデルを評価した結果、最強モデルでも部分報酬閾値0.95で15.2%、完全報酬閾値1.0で10.9%の合格率にとどまり、平均合格率はそれぞれ4.3%と1.7%であり、大きな改善の余地があることが示されました。
GATSは、体系的なUCB1ベースの木探索と階層的世界モデルを組み合わせ、計画中にLLM呼び出しを一切行わずに100%の成功率を達成する新しいエージェント計画フレームワークです。合成タスクおよび12の困難なシナリオにおいて、LATSやReActを上回る性能を示し、計算コストも低く抑えられます。
新しい研究CogniConsoleは、大規模言語モデルの信頼性はモデルの能力だけに依存するのではなく、推論時制御に大きく影響されることを示しています。プログラム調整と制限付きプロンプト推論を組み合わせた構造化インターフェースにより、構造的足場を増やすことで出力のばらつきと失敗率を系統的に低減できることが、489回のプローブ実験で実証されました。多くの障害は能力不足ではなく、制御の不十分さに起因しています。
MITとThornの研究者らは、生成AIモデルが児童性的虐待素材(CSAM)を生成可能かどうかを、出力を生成せずに内部の適応を分析して検出する監査手法を開発した。テストでは100%の精度を達成し、拡張性も高いため、プラットフォームや法執行機関が有害なモデルを特定・除去する実用的なツールとなる。
ミシガン大学の研究チームが開発したNeuroVFMは、524万の臨床MRIおよびCTボリュームで訓練された汎用ニューロイメージング基盤モデルです。Vol-JEPA手法は自己教師あり学習をボリューメトリック医用画像に拡張し、放射線レポートラベルなしで脳解剖学と病理を学習します。156の診断タスクでCT 92.68、MRI 92.49のAUROCを達成し、レポート生成、トリアージ、クロスモーダル転送をサポートします。
「直接責任者(DRI)」の概念はAppleに起源を持ち、プロジェクトの成功または失敗に最終的に責任を負う人物を指します。著者は、LLMを搭載したエージェントは決してDRIと見なされるべきではないと主張します。なぜなら、人間だけが責任を取ることができ、機械にはそれができないからです。これは、IBMの1979年のトレーニングスライド「コンピュータは責任を問われることができないため、経営判断を下してはならない」を引用しています。
最新のベンチマーク結果によると、GPT-5.6 SolがPRセキュリティレビューで最高パフォーマンスを示し、100%の再現率と0.91のF1スコアを達成、1PRあたりのコストはわずか0.70ドル。Anthropicのモデル(Fable 5など)はフロンティアに到達できず、コストも高い。Grok 4.5とGemini 3.1 Flash Liteはコスト効率の良い選択肢を提供する。テストではデータ汚染を防ぐため非公開の合成リポジトリを使用。
GPT-5.6 Sol が Fable/Mythos クラスのモデルと明確に位置づけられたことを受け、Anthropic は Claude Max プランにおける Fable モデルの利用期限を 7 月 19 日まで再延長しました。理由は計算リソースの制約で、OpenAI は GPT-5.6 のアクセス制限に自信を見せています。筆者は Anthropic が Fable を恒久的に利用可能にするべきだと提案しています。
AIのパフォーマンスは、精度、スループット、インタラクティビティの3つの次元で決まります。本稿ではスループットとインタラクティビティに焦点を当て、精度を犠牲にすることなく両方を最適化するモデル設計の選択肢を探り、パレートフロンティアを外側に押し広げることを目指します。
著者はBasecamp Benchベンチマークを用いて、GPT-5.6 Sol、Fable 5、Grok 4.5などのAIモデルがフロントエンドとバックエンドを構築する能力を評価しました。Fable 5が両トラックで勝利し、Grok 4.5は速度とコストのバランスに優れていました。結果は、特に最後の10%の仕上げにおいて、モデル間で完成度に大きな差があることを示しています。
「AIスロップ」という批判の言葉は、批評する側の方がより多くを明かしている。著者はその言葉の曖昧さ、実用的なフィードバックの欠如を探り、作り手は自分の信念と目的を熟考すべきだとアドバイスする。
本稿は、人工知能が執筆と思考のプロセスに与える影響を考察する。著者は自身の経験と文学上の引用を通じて、人間の執筆に不可欠な間、葛藤、ひらめきを強調し、AIが効率化のためにこれらの「空白」を消そうとする傾向を批判し、それが人間の認知の萎縮につながると警告する。
研究によると、ChatGPTのような生成AIがStack Overflowなどのプラットフォームから高品質な専門家の貢献者を追い出している。彼らは自分の専門知識が評価されなくなったと感じている。この傾向は教室やオフィス、研究コミュニティにまで広がり、「知識のリセット」を引き起こす可能性がある。
GenVid2Robotは、生成された動画の動きを実行可能なロボット操作軌道に変換する剛体幾何的一貫性フレームワークを提案する。実RGB-D最初のフレームからタスク関連の意味的アンカーをサンプリングし、生成動画内で追跡、スパースな相対SE(3)モデルで幾何的一貫性を検証し、一貫性のある動きのみをロボットに転送、有界深さ補償モジュールで実行誤差を低減することで、生成動画誘導操作の信頼性を向上させる。
本論文では、深層残差ネットワーク(ResNet)をバックボーンとする物理情報ニューラルネットワーク(PINN)を提案し、ブラシレスDC(BLDC)モータの連続時間六状態ダイナミクスを学習する。ネットワークはシミュレーション時間、三相電圧、励磁パラメータを入力とし、回転子角度、角速度、三相電流、巻線温度を直接予測するとともに、複合物理データ損失を通じて支配的な電気機械および熱ODEを満たす。カリキュラムスケジューリング戦略により物理ペナルティを段階的に活性化し、早期収束を防止する。標準CPUでのトレーニングは2分未満。推論レイテンシは0.1~22μsで、従来のODEソルバーより最大118倍高速であり、リアルタイム観測および制御応用に適している。
本論文では、自己教師あり学習を用いた一対一RNNによる文字セット簡略化の逆変換を提案し、わずか20行のテキストで文字誤り率の半分を回復。同じネットワークをバンド付きRNNとして使用し、中世憲章の略語展開に成功。さらに、任意の文字セット間の意味的類似度を計るヒューリスティック手法を導入し、Pythonライブラリを提供する。
高品質なデータは機械学習を推進するが、データ製品の価格設定は限界費用がほぼゼロであることや収益の予測不可能性から難しい。従来の価格設定手法は機能せず、市場比較アプローチにはベンチマークが欠けている。研究者らは、世界9つの主要データ市場から16,147製品のメタデータを含む、初のデータ製品価格設定データセット「DaDaDa」を発表した。これにより価格モデルの訓練とベンチマークの確立が可能になり、分類や検索タスクにも利用できる。実験により有効性が示された。
フェデレーション連続学習(FCL)は、分散クライアントが変化するデータストリームから学習し、以前に学習した知識を保持する能力を評価する。既存の評価は、データセット、タスク分割、クライアントデータ分割、タスク順序、バックボーン、メモリ仮定、報告ルールを同時に変更するため比較が困難である。本論文では、FCLのための異種性を考慮したベンチマークライブラリHEROを提案する。HEROはタスク分割、クライアントデータ分割、クライアントタスク順序の3つの選択を分離する。HERO-Coreではαがデータの偏り、ρがタスク順序の不一致を制御する。CIFAR-100とTinyImageNetでの評価により、手法の振る舞いが容易な設定と異種設定で変化すること、平均精度が弱いクライアントのパフォーマンスを隠す可能性があること、HEROインターフェースが画像以外のドメインシフトの難しさを明らかにできることを示す。HEROは再現可能で設定を考慮したFCL評価をサポートするベンチマークストリーム、設定、実装、レポートスクリプトを公開する。
本論文では、リー群上のリーマンバッチ正規化フレームワークLieBNを提案。左不変・右不変計量を利用して理論的保証を提供し、対称正定値多様体、回転行列群、フルランク相関行列多様体など9つの幾何学に実装。実験で有効性を確認。
本記事は、AIの真の可能性は生産性向上ではなく、専門知識へのアクセスを民主化することにあると論じる。研究によれば、AIは教育格差を縮小できるが、それは答えを提供する機械ではなく、指導者として設計された場合に限られる。
AI支援開発により生産性は向上したが、常に高レベルの設計判断を迫られることで精神的疲労が生じている。本記事では、AIが認知負荷をどのように変えるか、意思決定疲労、アーキテクチャの平坦さ、レビューの盲点、新しい適応戦略の必要性について探る。
同じ制約のもとでコーディングモデルが楽しいゲームを作るAIアーケードベンチマーク。
Soullessは、Spotify上のAI生成アーティストを暴くコミュニティ主導のプロジェクトです。232人のAIアーティストをリストアップし、月間リスナー数と推定収入を公開しています。また、オープンソースのAI音楽検出ツールと、AI音楽関連のリソースも提供しています。
ラウンドテーブル討論で、作家や文化批評家が人工知能が言語、創造性、社会に与える深遠な影響を探ります。AIは言語能力を研ぎ澄ますと同時に鈍らせ、機械と人間の境界を明確にする可能性があると指摘されています。不安もある一方で、研究、アクセシビリティ、診断における機会も提供します。
Josh FawazによるMadonnaの「Like a Prayer」カバー曲が豪州ラジオ全国チャート1位を獲得したが、音楽専門家やアーティストからAI生成の可能性が疑われ、生成AIの音楽利用とその開示をめぐる議論が巻き起こっている。
筆者はチャットボットはまともな社会にふさわしくないと考え、AI全般に嫌悪感を抱いているが、自分がAIに「誘惑」されるかどうか試してみたくなる。このポッドキャストでは、その個人的な経験が語られる。
ガーディアン紙の中国担当上級特派員エイミー・ホーキンスが、医療アバターからフードデリバリードローン、国家監視に至るまで、中国のAI活用について解説。西洋では懐疑的な見方がある一方、中国はAIを全面的に受け入れ、数百万人がAI医師と対話し、工場ではスマートロボットが活躍、万里の長城ではドローンが食事を配達している。国家も監視強化にAIを積極的に導入している。