最新の AI ニュースを、いち早く。

AIの出力に「デジタルフィンガープリント」を付与：AnthropicがFlashProveを開発、モデルのすり替えを許さず Anthropicはオープンソースの検証システムFlashProveを開発中で、ユーザーが受け取ったAIの回答が本当にそのモデルによって生成されたものかどうかを解決することを目的としています。同社は火曜日のブログで、「証明可能な推論」により暗号学的に各出力に数学的保証を提供し、指定されたモデルから出たものであることを確認できると述べています。これは暗号メールの署名による送信者認証のようなものです。このシステムは、モデルAがモデルBになりすますことを防ぎ、コストに関する不正行為の抜け道を塞ぎ、「水増し」された成績表を暴いて、業界の長年の暗黙のルールに正面から対処します。 さっき 0

AnthropicはFlashProveというオープンソースの検証システムを開発しており、暗号技術を用いてAIモデルの出力に数学的証明を付与し、その出所が真正で信頼できるものであることを確保し、モデルのなりすましを防止します。このシステムは公開されたモデルフィンガープリントを通じてローカル検証を実現し、モデルの重みを漏洩させず、クローズドソースモデルの信頼性検証をサポートすることで、コスト不正や虚偽広告の根絶に貢献します。現在、技術仕様と動作可能なコードが公開されています。

機械学習用原子間ポテンシャルにおけるTensor Coreの性能を引き出す

原子論的シミュレーションは、化学反応や相転移から機械的破壊に至るまで、分子や材料がどのように振る舞うかを研究者が理解するのに役立ちます。これらの...

CVE脆弱性の件数がほぼ垂直に急増、AIがセキュリティ研究の「増幅器」に

テクノロジーメディアgigazineは、開発者@0x_Ospreyがウェブ版CVE Trackerを公開し、既にCVE番号を取得した脆弱性の件数変化を可視化したグラフを作成したと報じました。このグラフでは、2026年以降、曲線がほぼ垂直に上昇していることが示されています。CVEは世界共通の脆弱性識別番号体系で、セキュリティ研究者やベンダー、企業が欠陥を追跡・報告・修復する際に利用しています。同ツールは公開された記録を整理してトレンドグラフにまとめるとともに、主要なAIモデルの公開時期も重ねて表示しており、脆弱性の増加とAIのリリースとの関連性を直感的に比較できるようになっています。

OpenAIが3つの重要な科学的発見と、学術関係者との新たな協働方法を発表

長年にわたる数学の未解決問題の解法を含む数百件の原稿を一斉に公開してからわずか1か月も経たないうちに、OpenAIは数学、計算機科学、物理学におけるさらに3つの「重要な」発見を発表しました。今回異なっているのは、結果を指導するため、OpenAIが「羊飼い」と表現する外部の専門家を起用した点です[…]

投研Agentの開発者である陳万氏は、自作コードを削減し、テンセント元宝の検索APIを導入することで、財経情報の検索効率を向上させました。

2026年10月26日、新エネルギー産業チェーンの有料投研レポート作成者である陳万は、2年間にわたり維持管理してきたcleaner.py（ウェブページクリーニングスクリプト）およびsites.yaml（387件の情報源URLリスト）を削除し、テンセントクラウドがアップグレードした元宝検索API（SearchPro）へ正式に接続しました。テスト結果によれば、同APIは構造化要約、時効性の識別、権威ある情報源の区分（VRカード）、ならびに多次元検索パラメータのサポートにおいて、従来のソリューションを大きく上回り、人手による情報源の保守作業時間を深い研究へと振り向けることを支援しています。

注目する理由本資料は、2026年10月26日にInfoQが公開した実地の技術実践レポートに基づいており、開発者の実際のワークフローの進化を包括的に示しています。具体的には、ウェブページの解析ルールや情報源のホワイトリストを手動で維持管理する段階から、専用のネットワーク検索APIを活用して自動化・検証可能かつ時効保証のある情報取得へと移行する過程を追跡しています。イベントの日時は明確に記載されており（publishedAt: 2026-10-26T14:57:35Z）、主体も明確で（陳万）、実施されたアクションも具体的です（2つのファイルの削除＋SearchProへの接続）。さらに、その効果も検証可能であり（カバレッジ率の目標達成、追加質問の減少、681msでの自動呼び出し）、技術的な詳細（パラメータ、課金体系、MCPプロトコルのバージョンなど）はすべて原文に厳密に由来しており、外部からの推測や虚構は一切含まれていません。

スタンフォード大学とカリフォルニア大学バークレー校の研究者らがTokenGateを発表：トークンゲート型アテンションにより、長文コンテキストのプリフィル処理が最大11.3倍高速化

スタンフォード大学とカリフォルニア大学バークレー校の研究者らは、既存の大規模言語モデル（LLM）に適用可能なプラグアンドプレイ型の学習ベースのトークン剪枝モジュール「TokenGate」を提案しました。この手法は、精度を損なうことなく、長文コンテキストに対する初期文字生成時間（TTFT）を1.4倍から11.3倍に加速し、ピークメモリ使用量を1.5倍から3.4倍削減します。関連コードおよびチェックポイントはオープンソースとして公開されています。

グーグルのAI検索機能がオンライン出版業界に打撃：トラフィックの急減、訴訟の多発、補償メカニズムの初期探求

2024年にGoogleはAIオーバービューを導入し、2025年5月にはAIモードを開始したことで、複数の主要メディアにおけるGoogleからの検索トラフィックが顕著に減少した——『ニューヨーク・タイムズ』では、3年間で検索トラフィックの割合が44％から35.5％へ低下し、DCN加盟の19社のうち2025年5～6月には1％～25％のトラフィック減を経験した。DMG Mediaによれば、クリック率は最大で89％も低下したという。出版社らは複数の訴訟を提起したが、いずれも米国の裁判官によって却下された。その後、Googleは退会オプションの提供や情報源表示の強化に加え、400社のメディアを対象としたニュースAIパイロットおよびコンテンツ有料化のテストプログラムを開始した。

注目する理由同報道は、GoogleのAI検索機能が出版エコシステムに与える構造的な衝撃を体系的に整理しており、タイムライン（2024年～2025年）、実証データ（第三者機関による統計）、多方面からの反応（出版社、規制当局、裁判所、非営利団体）および最新の対応策（撤退メカニズム、情報源の最適化、ライセンスおよび有料化のパイロットプロジェクト）を網羅しています。情報は密度が高く、時事性と政策的関連性も備えています。

MetaがMuseの共有機能を復活させた。これまではDNSによる対話リンクの露出が原因で一時停止されていた。

Metaは、セキュリティ研究者が、Museの共有リンクが命名規則とDNSの公開により機密コンテンツを容易に発見可能であることを指摘したことを受け、当該機能を一時停止していましたが、現在は調整を経て再び有効化されています。

Flint-interactive：AIエージェント向けの対話型データ可視化プログラミング言語

マイクロソフト研究院は、表現力が高くセマンティックな対話型データ可視化を構築するための専用言語「Flint-interactive」を発表しました。この言語はコンパイラを通じて、ユーザーの操作（クリックやスワイプなど）を自動的にセマンティックなイベントにマッピングし、高レベルな演算子によってグラフ、テーブル、テキストなどの複数要素間の連動更新を駆動します。これにより、AIエージェントが信頼性の高い対話型可視化を生成する際に必要なコストと開発の複雑さを大幅に削減できます。

アルミン・ロナッハーの引用

AIは確かに楽しいものですが、過去30年間にわたってあまりにも多くの質の低いソフトウェアが作られ、今や宇宙が私たちの過ちを罰しているのです。— アルミン・ロナッハー タグ：セキュリティ、生成型AI、アルミン・ロナッハー、AI、AIセキュリティ研究、大規模言語モデル

OlmoEarth v1.3リリース：世界中の地表を対象とした高性能なオープンソースの衛星埋め込みモデル

アレン人工知能研究所は、OlmoEarth v1.3をリリースし、惑星全体で10メートルの解像度を持つ64次元および128次元の事前計算済み衛星埋め込みベクトルを提供するとともに、対話型探索ツール「Embeddings Explorer」も搭載しています。これにより、コード不要の変更検出、類似領域の検索、軽量な分類モデリングが可能になります。

Uber、OpenAIによるChatGPT Workを全社員に導入

Uberは、3万人を超える従業員に向けてChatGPT Workの展開を進めており、チームが調査やデータ分析、プレゼンテーション作成、複雑なワークフローの完了を支援しています。

数学界で31年間未解決だったKLS予想が証明された：高次元幾何学とランダムアルゴリズム理論に根本的な進展

マイクロソフト研究院の研究員である張鑫志氏と共同研究者らは、2026年10月4日にKannan–Lovász–Simonovits（KLS）予想の厳密な証明を完成させ、1995年に提唱されて以来長らく未解決だった核心的な問題を解決した。この成果は、高次元の対数凹分布における「平面切断のボトルネック」に関する次元依存性のない定数評価を確立し、ランダムサンプリング、凸最適化、ならびに理論計算機科学に対して無条件の理論的基盤を提供した。

TorchNeuronのプロファイリング（第1部）：AWS Trainiumにおけるシステムレベルのプロファイリング。

TorchNeuronのプロファイリング（第1部）：AWS Trainiumにおけるシステムレベルのプロファイリング。

パッチ・ザ・プラネット：エージェントが重大な脆弱性を発見する中で、世界的な対応の調整を実現

パッチ・ザ・プラネットは、セキュリティ研究者、メンテナー、インシデント対応者をつなぎ、オープンソースにおける重大な脆弱性への対処を支援します。

奉仕の使命：テクノロジー、研究、そしてポジティブなインパクト

ラボディレクターのクリス・ホワイト氏は、戦時中のデータ分析に関する新たなアプローチから人身売買対策のためのツールに至るまで、現実世界に影響を及ぼす研究課題に取り組んできました。彼はプログラムマネージャーのウェイシュン・リウ氏と、その研究に至った背景やさらなる詳細について語っています。記事「奉仕の使命：テクノロジー、研究、そしてポジティブなインパクト」は、Microsoft Researchにて最初に公開されました。

PyTorch 2.15 は MPS を正式にサポート：FP8、MoE の高速化、および Metal カーネルが全面的にアップグレードされました

PyTorch 2.15 は、Apple Silicon Mac に重大な MPS バックエンドのアップグレードをもたらし、macOS 上で初めて FP8 テンソル演算をネイティブにサポートします。また、MoE モデルのデコード速度が 5～6.5 倍に向上し、ビデオ VAE のデコードにおけるピークメモリ使用量は 270 GiB から 8 GiB へと大幅に削減され、さらに多数のオペレーターが MPSGraph から専用の Metal カーネルへ移行されました。

グーグルの研究がAIエージェントの実世界における実験室への定着を推進：自律的なバイオロジー発見を支える三大技術的基盤の構築

グーグル・リサーチは、VERIDデジタルツインフレームワーク、閉ループアプタ発見システム、標的エピトープ除去タンパク質の設計プロセスという3つの重要な技術進展を発表し、AIエージェントが実際の湿式実験室において、追跡可能で検証可能、かつ自己反復可能な分子発見の閉ループを実現する道を開きました。

マイクロソフトがMagnetarを発表：Rust／Go／Cをサポートする汎用ゼロ知識仮想マシンで、標準ハッシュ関数に基づいて量子安全性の証明を実現

マイクロソフト研究院は、ゼロ知識証明における長年の三大課題——生成効率の低さ、開発ハードルの高さ、ポスト量子安全性の不足——を単一のシステムで同時に解決する初のゼロ知識仮想マシン「Magnetar」を発表しました。同システムは、RustやGo、Cなどの主流言語で記述されたプログラムを直接コンパイルして実行し、検証可能な証明を自動生成します。その性能は、現行で最も高速なzkVMに比べて平均で10～39倍速く、証明の検証にはわずか約12ミリ秒しか要しません。さらに、セキュリティ基盤はSHA-256やSHA-3といったNISTによって標準化され、数十年にわたり暗号学的検証を経てきた標準ハッシュ関数のみで構成されており、信頼できる初期設定や楕円曲線、あるいは十分に検証されていない斬新な数学的仮定を一切必要としません。

GPT-Rosalindを学術研究ラボへ

Rosalindアカデミックプランをご紹介します。対象の学術研究ラボには、GPT-Rosalindおよび生命科学分野の研究を推進するためのツールへのスポンサー提供アクセスをご提供いたします。