見出し・要約・本文から、情報のつながりを探します。
マイクロソフト研究院は、表現力が高くセマンティックな対話型データ可視化を構築するための専用言語「Flint-interactive」を発表しました。この言語はコンパイラを通じて、ユーザーの操作（クリックやスワイプなど）を自動的にセマンティックなイベントにマッピングし、高レベルな演算子によってグラフ、テーブル、テキストなどの複数要素間の連動更新を駆動します。これにより、AIエージェントが信頼性の高い対話型可視化を生成する際に必要なコストと開発の複雑さを大幅に削減できます。
マイクロソフト研究院の研究員である張鑫志氏と共同研究者らは、2026年10月4日にKannan–Lovász–Simonovits（KLS）予想の厳密な証明を完成させ、1995年に提唱されて以来長らく未解決だった核心的な問題を解決した。この成果は、高次元の対数凹分布における「平面切断のボトルネック」に関する次元依存性のない定数評価を確立し、ランダムサンプリング、凸最適化、ならびに理論計算機科学に対して無条件の理論的基盤を提供した。
Googleの研究チームは、革新的な単一ラウンドの格子暗号集約プロトコルと信頼できる実行環境（TEE）を連携して検証することで、特定の単一主体を信頼することなくデータを集約し、ユーザーのデータが常に端末に留まる状態を確保しつつ、集団レベルの匿名性を保った洞察を得られる新たなプライベート分析手法を発表しました。
