研究者らは、ビザンチン故障耐性の考え方を応用したConsiliumプロトコルを提案した。モデル間の不一致を誤りではなく認識論的信号として扱う構造化されたマルチモデル熟議の枠組みである。1,478回の熟議セッションを通じて、認識論的行動を決めるのは基盤モデルではなく認知ペルソナであること、RLHFアラインメントが領域固有の盲点を生むこと、そして完全な実験バッテリーのコストが217米ドルにとどまったことが示された。
AI ニュース速報
リアルタイム監視
最新ニュース
信頼できる情報源、出典、権限、サイト内閲覧を保ちながら、AI の変化を読める情報に圧縮します。
最新ニュース
2026-06-02
本ポジションペーパーは、混合整数線形計画(MILP)決定エンジンにおける「求解後ロバスト性ギャップ」を指摘する。コストや需要、資源可用性の小さな摂動が、名目上最適な計画を実行不可能にしたり、質的に異なる解への不連続な遷移を引き起こしたりする。著者は、解の信頼性に関するソルバー裏付けの証拠を返す求解後監査レイヤーの追加を主張し、ε近傍最適実行可能近傍と解の平滑性を形式化する。さらに、認証付き内側近似、キャリブレーションされた不確実性を伴う確率的ロバスト性推定、敵対的ロバスト性マージン、ソルバー検証と整合する学習ベースの予測・説明を組み合わせた研究課題と、報告テンプレートおよび評価プロトコルを提示する。
この法案は、人工知能に特化したアメリカ初のソブリン・ウェルス・ファンドを設立し、AI技術の発展と国家競争力を強化することを目的としています。
NVIDIA は、統合マルチモーダル世界モデル Cosmos 3、効率的な LLM Nemotron 3 Ultra、パーソナル AI スーパーチップ RTX Spark を発表。さらに、MiniMax M3、Qwen3.7-Plus、JetBrains Mellum2 などのオープンモデルがエージェント分野を推進。
この記事では、Amazon Bedrock AgentCore GatewayでホストされるMCPサーバーのインバウンド認証メカニズムとしてOAuth認可コードフローを実装する方法を示します。このガイドを完了すると、各AIアシスタントリクエストが組織のアイデンティティプロバイダから発行された有効なユーザーアイデンティティトークンで認証される、本番環境対応のセットアップが完了します。
MetaのAIサポートシステムの完全なシステムプロンプトが漏洩し、言語ルール、問題処理フロー、ドメインエージェント選択メカニズムなどの内部指示が明らかになった。
Novusは、ソフトウェアデプロイ中にユーザビリティ問題を自動的に識別し修正するAIツールです。
Jan はオープンソースのローカル AI アシスタントで、デバイス上で動作し、プライバシーとカスタマイズを提供します。
Brandaは、名前とアイデアを戦略、ロゴ、パレット、タイポグラフィ、完全なブランドキットに数分で変えるAI搭載のブランドアイデンティティ生成ツールです。ガイド付きフローとビジュアルプロンプトを提供し、使用可能なアセットをエクスポートします。
X.Org ServerとXWaylandで9つの新たなセキュリティ脆弱性が発見され、そのうち8つはトレンドマイクロのTrendAI、1つはRed HatのPeter Hutterer氏によるもの。脆弱性はバッファオーバーフローや解放後使用など。パッチはxorg-server 21.1.23とxwayland 24.1.12でリリース。
NVIDIAはCOMPUTEXでJetPack 7.2とJetsonでのNemoClawサポートを発表し、エージェンティックAIをエッジデバイスにもたらしました。これらのアップデートには、Yoctoサポート、CUDA 13、パフォーマンス向上、MIGサポート、そしてロボティクス、検査、産業オートメーションでのAIエージェント展開のためのNemoClawフレームワークが含まれます。
「知識ワークの次の時代」レポートは、Codex が AI によるリサーチ、データ分析、ワークフロー自動化、コンテンツ作成を通じて生産性をどのように変革しているかを探っています。
マイクロソフトのGitHub Copilotにおける新しい使用量ベースの課金ポリシーに開発者が激怒。月間クレジットが数時間で消費され、OpenRouterなどの代替サービスへの移行を検討する声が相次いでいる。
NVIDIA Apex をソースからビルドし、融合カーネルを検出し、FusedAdam、FusedLayerNorm、torch.amp を Transformer トレーニングでベンチマークします。
GitHub Copilot は新しい使用量ベースの価格設定を導入し、クレジットで課金します。コストはモデルとトークン数に依存し、高度なモデルは高額です。簡単なクエリでも多くのクレジットを消費する可能性があり、Autoモードには注意が必要です。
Normal ComputingのエンジニアがAIエージェントを使ってCIRCT上に実用的な検証スタック(シミュレーション、形式検証、ミューテーションテストなど)を構築した方法。
aweskillは、AIコーディングエージェントが自律的に操作できるように設計されたCLIファーストのスキルパッケージマネージャーです。一度のブートストラップ後、エージェントは自然言語でスキルのインストール、更新、バンドル、管理を行えます。日常管理と修復のための組み込みメタスキルも用意されています。
AI Gatewayのクレジットが枯渇(残高ゼロ)すると、BYOK(自前のキー)を使用すべきリクエストも含め、すべてのリクエストがブロックされます。これはダッシュボード統合またはプログラム上のproviderOptions.byokでBYOKが設定されているかどうかに関わらず発生します。
Together AIは、KVブロックメジャースパースアテンション、ページ化MSAデコード、最適化されたインデックススコアリングカーネル、およびRustベースのマルチモーダル前処理ゲートウェイにより、MiniMax M3の効率的なサービスを実現し、同時実行レベル全体で81~125%のスループット向上を達成しました。
AIはコーディング、画像、テキスト生成で大きな進歩を遂げているが、ゲーム開発は依然として長期間を要する。記事では、AI企業がなぜ一般的なユースケースを優先するのかを説明し、巨大な市場とほとんど解決された技術的課題により、近いうちにゲーム開発に注力すると予測している。
Databricksは、AIコーディングアシスタントGenie Codeに、カスタムインストラクション、スキル、MCPサーバーなどのパーソナライズ機能を導入しました。これにより、AIがチームのコーディング標準、内部ワークフロー、外部ツールにさらに適合できるようになります。インストラクションはグローバルな設定、スキルは反復可能なワークフローのキャプチャ、MCPサーバーはJiraやGitHubなどの外部システムとの接続を提供します。
社内AIアプリのフロントエンドを引き継いだ開発者が、コード品質の問題に直面しながらも、段階的な改善を進める物語。
バークシャー・ハサウェイは私募を通じてアルファベットに100億ドルを追加投資し、AI分野の主要企業への自信を示した。この取引はアルファベットの800億ドルの株式売却計画の一部で、資金はAIインフラ拡張に充てられる。
トークンマキシングとは、明確なROIなしにAI予算をトークンに費やす慣行を指します。この記事では、トークン支出を研究開発、売上原価、販売・マーケティング(顧客獲得コスト)、リテンション(純収益維持)の4つの損益勘定カテゴリーに分割し、それぞれ適切な指標で評価すべきだと主張し、Mintlifyの製品スイートを例に挙げています。
AIの自動化は仕事を脅かすように見えるが、実際には人間の仕事を増やしている。記事では、AIエージェントが人間の監督、保守、協力を必要とし、結果として作業量が増加することを説明。AIが明示的な専門知識をコモディティ化し、人間の専門家への需要を高めている。
仕事の未来は、AIエージェントが低リスクのタスクを自律的に実行し、同時に人間が協力する役割によって特徴づけられる。
ChatGPT、Perplexity、Google AI OverviewsなどのAI検索エンジンにおけるサイトの可視性を評価し、GEO Rankスコアと改善提案を提供する無料のAIウェブサイト監査ツール。
米国防総省は軍事AIの導入を加速するが、特殊作戦司令官など高层はリスクを警告。Anthropic社との契約紛争が安全性の問題を浮き彫りに。
アルファベットは、バークシャー・ハサウェイによる100億ドルの投資を含む、株式売却を通じて800億ドルを調達し、AIコンピュートインフラに投資する計画を発表した。同社はまた、年間設備投資予測を最大1900億ドルに引き上げた。
Metaは、ハッカーが同社のAI搭載サポートチャットボットを悪用して著名人のInstagramアカウントに侵入したことを確認。オバマ大統領のホワイトハウスアカウントも標的となり、AIの安全性への懸念が高まっている。