
Microsoft Research Focus 第98号:万能翻訳、KLS予想の解決、コーディングエージェントの効率化
Microsoft Research Focus – Edition #98

Microsoft Research Focus 第98号:万能翻訳、KLS予想の解決、コーディングエージェントの効率化
Microsoft Research Podcast
要約
Microsoft Research の最新動向を紹介する短いニュース回。東京ラボのインターン体験、AIによる万能翻訳の可能性、31年来の数学上の難問であるKLS予想の解決を取り上げた。さらにコーディングエージェントのコンテキスト圧縮を効率化するAPECと、多言語トークナイザーLCTの研究も紹介された。
この回のポイント
- ●東京ラボのインターンLilia Magabeは、コンピュータビジョンの経験を土台にロボティクスやフィジカルインテリジェンスの研究者と協働し、研究コミュニティの形成にも関わった。
- ●Jin Yu Lee氏が、AIによる言語の壁を越えるコミュニケーションの進展と残る課題をポッドキャスト「Our Digital Life」で語っている。
- ●KLS予想が解決され、対数凹分布では単純な平坦な切断により、次元に関係なく一定の係数内で最も狭いボトルネックを特定できるという普遍的原理が示された。結果は独立に検証され、計算機による形式検証もされたという。
- ●1350万件のコーディングセッションの調査で、コンテキスト圧縮が必要なのは8%未満だが、AI処理コスト全体の44%を占めていた。
- ●APECは要約をバックグラウンドで準備する手法で、コストを最大25.4%、実行時間を9.6%削減しつつ性能も向上させた。
- ●Latent Core Tokenizer(LCT)は104言語で言語学的により意味のあるトークンを生成し、4つの多言語ベンチマークで性能を改善した。
章立て
オープニングと東京ラボのインターン
今号の予告と、東京ラボで研究インターンを経験したLilia Magabeの紹介。フィジカルインテリジェンスの研究者と協働した体験が語られる。
AIによる万能翻訳の可能性
SFのユニバーサル翻訳機を引き合いに、Jin Yu Lee氏がAI翻訳の進展と課題を論じるポッドキャストを紹介。
KLS予想の解決
高次元幾何学の31年来の未解決問題が解決された。対数凹分布の最も狭いボトルネックを平坦な切断で特定できるという普遍原理が示された。
コンテキスト圧縮とAPEC
長時間のコーディングセッションで生じるコンテキスト圧縮のコストを調べ、ベンチマークCompaction BenchとAPECを提案した研究。
多言語トークナイザーLCT
単語の再利用可能な構成要素を特定してから共有語彙を作るLCTにより、言語構造を保ったトークン化を実現した。
クロージング
各研究の総括と、最新情報の追い方の案内。
解説記事
Microsoft Research Podcast の「Research Focus」第98号では、ホストのAnson Ho氏が、同社の研究に関する最新ニュースを約5分で紹介した。AI翻訳、数学の難問の解決、コーディングエージェントの効率化、トークナイザー改良など、幅広い話題が詰まっている。
東京ラボのインターンとAI翻訳の展望
冒頭では、Microsoft Research の東京ラボで研究インターンをしたLilia Magabeが紹介された。コンピュータビジョンの背景を持つ彼女は、ロボティクスやフィジカルインテリジェンス(物理世界で情報を解釈し行動するAI)を研究する研究者と協働したという。番組は、インターンが技術的訓練にとどまらず、分野横断の協働や日常の対話を通じて研究の視野を広げる機会になると述べている。
また、1967年の『スタートレック』に登場した万能翻訳機になぞらえ、AIが言語の壁を越えるコミュニケーションを現実に近づけているとも紹介された。Applied Science ManagerのJin Yu Lee氏が、これまでの進展と残る課題を、別番組「Our Digital Life」で語っているという。
KLS予想の解決
数学分野では、高次元幾何学の中心的な未解決問題だったKLS予想が31年ぶりに解決されたと紹介された。番組によれば、この成果は科学や計算の分野で使われるランダム化アルゴリズムの効率を理解するうえでの大きな理論的障害を取り除く。
具体的には、対数凹分布について、単純な平坦な切断によって最も狭いボトルネックを、次元に依存しない一定の係数の範囲内で特定できるという普遍的原理が確立された。結果は独立に検証され、証明は計算機を用いて形式的にも検証されたとのことだ。
コーディングエージェントのコンテキスト圧縮
コーディングエージェントは長いセッションになると、AIモデルが一度に処理できる情報量の上限に達する。その場合、過去のやり取りを要約する「コンテキスト圧縮」を行うが、これは負荷の高い処理である。
1350万件のコーディングセッションを調べた研究では、圧縮が必要だったのは8%未満にすぎないのに、その部分が全体のAI処理コストの44%を占めていた。研究者らは、長時間タスクでの圧縮を評価するベンチマークCompaction Benchと、エージェントの作業を中断せずバックグラウンドで要約を準備する手法APECを提案した。評価ではAPECにより、コーディング性能を改善しながらコストを最大25.4%、実行時間を9.6%削減できたという。
言語構造を保つトークナイザー
モデルが処理する前にテキストを分割する単位がトークンである。多くのトークナイザーは圧縮効率の最大化を目指すが、新しい研究は圧縮だけでは不十分だと示唆する。提案されたLatent Core Tokenizer(LCT)は、単語の再利用可能な構成要素を特定してから、言語間で共有する語彙を構築する。
104言語での評価では、主要な代替手法より言語学的に意味のあるトークンを生成しつつ、言語間で同程度の効率を維持した。4つの多言語ベンチマークでモデル性能も向上したという。
まとめ
今回の内容は、基礎数学から実用的なエージェント基盤まで、研究の幅の広さを示している。日本の読者にとって注目したいのは、コーディングエージェントのコストの偏りだ。全セッションの一部に過ぎない圧縮処理が総コストの4割超を占めるという指摘は、エージェント運用のコスト設計に直結する。また、LCTのように言語構造を考慮するトークン化は、日本語を含む多言語対応の品質向上を考えるうえでも興味深い。詳細は各研究のブログや論文で確認したい。
文字起こし(英語・自動生成)
This is Microsoft Research Focus, your quick look at news and cutting-edge research from across Microsoft. I'm Anson Ho, and these are some of the latest advances we're tracking. Coming up in this edition, how AI is bringing the possibility of a universal translator closer to reality. A breakthrough that solves a 31-year-old mathematical challenge. A new approach to make AI coding agents faster and more efficient. And more. Here's what's new. At the Microsoft Research Lab in Tokyo, research intern Lilia Magabe found opportunities to grow her expertise while helping to shape a new research community. Magabe joined the lab with a background in computer vision and worked alongside researchers exploring robotics and physical intelligence, AI systems that can interpret information and act in the physical world.
Her experience highlights how research internships can offer more than technical training. Through hands-on experimentation, interdisciplinary collaboration, and everyday conversations with colleagues from different backgrounds, Magabe expanded her research perspective while contributing to the lab growing community You can read about her experience on the Microsoft Research blog For decades science fiction has imagined a world where language barriers no longer stand in the way of communication. For example, in 1967, Star Trek introduced the fictional universal translator. Now, advances in AI are bringing that possibility closer to reality. In a new conversation, Microsoft's Applied Science Manager, Jin Yu Lee, explores how AI is advancing the prospect of communication across languages, the progress researchers have made, and the challenges that remain. To learn more, catch the full episode of the podcast, Our Digital Life, available to listen or watch on YouTube and podcast platforms.
For the last 31 years, the KLS conjecture has been one of the central open problems in high-dimensional geometry. But not anymore. New research has resolved the conjecture. This removes a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The breakthrough establishes a universal principle for log-concave distributions. Simple flat cuts can identify their narrowest bottlenecks within a fixed factor, regardless of dimension. The result has been independently validated and the proof has also been formally verified using computer methods Learn more about this breakthrough on the Microsoft Research Blog Coding agents can help when writing and modifying code, but long sessions can max out the amount of information an AI model can process at once. As a result, coding agents will summarize earlier interactions into a resource-intensive process known as context compaction.
A new study looked at 13.5 million coding sessions and found fewer than 8% required context compaction. Yet, those sections accounted for 44% of the total AI processing costs. To address this challenge, researchers developed Compaction Bench. Compaction Bench is a benchmark for evaluating context compaction during long-running coding tasks. They also introduced APEC, a method that prepares summaries in the background instead of interrupting an agent's work. In evaluations, APEC improved coding performance while reducing cost by up to 25.4% and execution time by 9.6%. Before AI models can process text, they break it into smaller units called tokens. How that text is divided can affect both efficiency and performance, especially across different languages. Most tokenizers are designed to compress text as efficiently as possible but a new study suggests that compression alone isn enough Researchers introduced the Latent Core Tokenizer or LCT
which identifies reusable components of words before building a shared vocabulary across languages. In evaluations spanning 104 languages, LCT produced more linguistically meaningful tokens than leading alternatives while maintaining comparable efficiency across languages. It also improves model performance across four multilingual benchmarks. The findings suggest that better tokenization depends not just on how much text can be compressed, but on how well the underlying structure of language is preserved. And that's your Microsoft Research Focus. From the research culture and the collaborations driving discovery to producing more linguistically meaningful tokens, These are just a few of the developments researchers are exploring across Microsoft. Want to learn more and stay connected? Explore the latest research, discover the people behind it, and keep tabs on the ideas of shaping what's next by visiting aka.ms.
And follow Microsoft Research on all major social platforms. I'm Anson Ho, and thanks for tuning in. We'll see you at the next Microsoft Research Focus. Thank you.
番組の概要欄(原文)
What's new in research at Microsoft? Host Anson Ho explores the latest, including AI-powered universal translation, a breakthrough in a 31-year-old mathematics challenge, and advances making AI coding agents faster and more efficient. Show notes Research Focus newsletter on LinkedIn Microsoft Research Podcast
出典・この記事について
- 番組
- Microsoft Research Podcast(Researchers across the Microsoft research community)
- 元の回
- Microsoft Research Focus – Edition #98
- 配信日
- 要約作成日
- 公式サイト
- podcast.show/microsoftresearch
この要約・解説記事は、元の音声を文字起こしした内容をもとに AI(Claude)が日本語で作成したものです。 固有名詞や数値に誤りを含む場合があるため、正確な内容は元の音声でご確認ください。制作方法について
関連エピソード

AIエージェントの台頭:TIME COO マーク・ハワード氏に聞く「エージェント向け広告」とAEO
AI Today Podcast

ニューロン基底:Goodfire の Curt Tigges が語るエージェント型解釈性、単義性、リバースエンジニアリング
"The Cognitive Revolution"

AIモデル投資の前に決めるべきこと:「仕事」を定義してからモデルを選ぶ - Salesforce Melissa Ramey氏
The AI in Business Podcast

フェイスブックの極右ネットワーク――ラファエル・エルナンデスが語るガーディアン調査
The Good Robot

デイビッド・イーグルマン:脳は「神経の議会」、AIの幻覚は仮説、そしてAIで民主主義を考え直す
AI and the Future of Work: Artificial Intelligence in the Workplace, Business, Ethics, HR, and IT for AI Enthusiasts, Leaders and Academics

AIエージェントに私たちの情報を預けるべきか?Open to Debate:Signalのメレディス・ウィテカー vs. Abundance Instituteのニール・チルソン
Pioneers of AI