本文へ移動
AI NEWS JOURNAL
AI, IN PERSPECTIVE

AI の全ニュース

出典・テーマ・日時から、気になるニュースを見つけられます。

公開日時順

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

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

経緯と関連報道

Called to serve: Tech, research, and positive impact

Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manager Weishung Liu about the influences that led to the work and more. The post Called to serve: Tech, research, and positive impact appeared first on Microsoft Research.

翻訳待ち・原文を表示中 · en
経緯と関連報道

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によって標準化され、数十年にわたり暗号学的検証を経てきた標準ハッシュ関数のみで構成されており、信頼できる初期設定や楕円曲線、あるいは十分に検証されていない斬新な数学的仮定を一切必要としません。

経緯と関連報道

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

翻訳待ち・原文を表示中 · en
経緯と関連報道