SURL AI News
繁中English日本語

Archive

全ニュース

技術ニュース 1540 件

AI 科學研究

OpenAI、Astraが生成した10件の数学的成果を発表、Lean 4証明書を独立再構築可能な形で公開

OpenAIは、未公開モデルAstraが数学および理論計算機科学の10の問題を解決、または前進させたと発表し、249ページの原稿を公開した。各成果にはビルド可能なLean 4形式証明書が付属するが、数学的価値と原稿の論証については、今後も各分野の専門家による検証が必要だ。
最新模型

MiniMax H3、動画・音声生成モデルの重みを公開。ComfyUIも実行可能なワークフローを同時提供

MiniMaxはH3動画モデルの重みを公開し、開発者が同期音声を含むImage-to-Video生成をローカルで実行できるようにした。ComfyUIには公式ワークフローが追加されたが、コンシューマー向けGPUでの検証は枝刈りやINT8派生ファイルに大きく依存しており、元の重みの品質を完全に再現したものとは見なせない。
最新模型

Qwen3.8-Max、2.4Tの疎なMoEへ拡大——27Bおよびフラッグシップモデルの重みを来週公開予定

AlibabaはQwen3.8-Maxを正式APIとして提供し、ソフトウェア開発と長時間にわたる知識作業を主な用途に据えるとともに、フラッグシップ版と27Bモデルの重みを同時公開すると予告した。同モデルはコミュニティのコーディングArenaで上位に入ったが、アーキテクチャ、活性化パラメータ数、セルフホスティングのコストについては、依然として完全な技術文書が不足している。
AI 安全

CAGE、エージェントのツール応答に結合認可証明を導入し、フィールドの誤バインディングと数値ドリフトによるゲート回避を防止

CAGEは、エージェントがその時点で参照しているツール応答だけでなく、正しくバインドされた可能性のある結果の集合すべてが同じアクションを許可するかを検証する。研究では、カテゴリフィールドと数値誤差を個別に検査しても、両者が同時に変化した際の安全性は保証できないことが示された。
代理工具

GitHub Copilot 使用量 API、旧エージェントフィールドの保証を終了――ダッシュボードは cloud agent 指標への移行が必要

GitHub Copilot 使用量レポートの `used_copilot_coding_agent` に対する互換期間は8月1日に終了した。統合側は `used_copilot_cloud_agent` へ移行する必要がある。移行期間中、両フィールドは同じブール値を返していたが、期限後は旧フィールドの維持が保証されず、企業の導入率レポートで気付かないまま集計漏れが生じる可能性がある。
GitHub Repo

Open Secure AI Allianceが発足、NVIDIAはNOOAでエージェントのテスト、トレーシング、監査ツールを推進

NVIDIA、Linux Foundation、Hugging Face、Microsoftなどの組織がOpen Secure AI Allianceを設立し、オープンなモデルとツールを用いてエージェントおよびAIソフトウェアの脆弱性に対処する。初期の具体的な取り組みにはNVIDIAのNOOAフレームワークが含まれるが、共通仕様、ガバナンスプロセス、提供スケジュールはまだ発表されていない。
推論系統

Fast Gemma検証版が毎秒510トークンを突破、単一A10Gでスライディングウィンドウ注意機構とMTPを組み合わせ高速化

VIDRAFTは、Fast Gemma Challengeで検証済みの最高性能構成を公開した。Gemma 4 E4Bは単一のNVIDIA A10G上で510.58 tokens/sを達成し、perplexityを2.3930に維持した。複数の推論最適化を組み合わせた成果だが、テスト条件は単一ストリーム、固定ハードウェア、非公開プロンプトセットであり、そのまま本番環境のスループットと同一視することはできない。
硬體

NERCの「Computational Load」Level 3報告期限が到来、AIデータセンターに動的モデルと故障波形記録を要求

North American Electric Reliability Corporation（NERC）は、送電計画・系統運用部門に対し、8月3日までにモデル、安定度解析、試運転、動的波形記録を含む7項目のComputational Load対策について報告するよう求めている。これは一般的なエネルギー政策の表明ではなく、AIデータセンターで発生する秒単位の負荷遮断や電力振動を電力系統のエンジニアリングモデルに組み込むことを求めるものだ。
AI 安全

SafeKeep、ツールschemaがモデルの拒否シグナルを弱めることを発見—プロンプトインジェクション成功率を2.5%に低減

新たな研究によると、エージェントが使用するJSON形式のツール仕様は単なる中立的なインターフェースではなく、モデル内部の拒否表現を弱める可能性がある。SafeKeepは実行前に、平文化したテキスト仕様を用いて安全性を別途判定し、有害な要求に対する平均拒否率を23.8%から70.6%へ引き上げた。
AI 基礎設施

Etched、低電圧演算とクラスター共有メモリでGPUに挑むラックスケール推論アーキテクチャを公開

Etchedの初期N4P推論チップがラック検証段階に入り、低電圧演算アレイとクラスター規模のメモリによって、それぞれスループットとレイテンシのボトルネックに対処する。同社は、疎なMoEでピークFLOPsの80％超を維持できるとしているが、再現可能なモデル、消費電力、エンドツーエンド性能のデータはまだ公開していない。
代理工具

Echoverse、進化可能なアプリでコンピューターエージェントを訓練――9Bモデルのテスト横断成功率が67.1%に向上

Microsoft Researchのチームは、静的なWebページを増やし続けるのではなく、エージェントの失敗軌跡に基づいて合成アプリケーション、タスク、評価器を連動して修正する。9Bモデルは14の評価セットにおける平均成功率を36.5%から67.1%へ伸ばしたが、現時点でベンチマークとして公開されている環境は4つのみだ。