Разрешена 31-летняя математическая загадка
Команда Microsoft Research достигла прорыва в области высокой размерной геометрии, решив конъектуру КЛС (KLS conjecture). Эта задача оставалась одной из центральных открытых проблем более трех десятилетий. Решение устраняет теоретическое препятствие для понимания эффективности рандомизированных алгоритмов, используемых в науке и вычислениях.
Результат устанавливает универсальный принцип для лог-выпуклых распределений: простые плоские срезы могут выявлять их самые узкие места с фиксированным коэффициентом, независимо от размерности. Доказательство не только независимо верифицировано, но и формально подтверждено с помощью компьютерных методов.
AI-кодеры стали эффективнее: экономия до 25.4%
Проблема «контекстного сжатия» (context compaction) при работе длинных сессий с AI-агентами для программирования оказалась ресурсоемкой. Исследование 13.5 млн сессий показало, что менее 8% из них требовали сжатия контекста, но на них приходилось 44% всех затрат на обработку.
Для решения этой проблемы исследователи представили:
- CompactionBench — бенчмарк для оценки сжатия контекста в долгосрочных задачах.
- APEC — метод фоновой подготовки суммаризаций, не прерывающий работу агента.
Внедрение APEC улучшило качество кода и снизило затраты на 25.4%, а время выполнения — на 9.6%.
Latent Core Tokenizer: смысл важнее сжатия
Традиционные токенизаторы стремятся к максимальной компрессии текста, но новый подход Latent Core Tokenizer (LCT) предлагает иной путь. Он выявляет переиспользуемые компоненты слов перед формированием общего словаря, сохраняя лингвистическую структуру.
В тестах на 104 языках LCT показал более осмысленные токены по сравнению с ведущими аналогами, сохранив сопоставимую эффективность. Это улучшило производительность моделей в четырех мультиязычных бенчмарках, доказав, что сохранение структуры языка критично для качества AI.
Итоги выпуска Microsoft Research Focus
В выпуске #98 также затронуты темы развития AI-переводчиков, приближающих реальность к «универсальному переводчику» из Star Trek, и опыт стажера из Microsoft Research Asia, перешедшего от компьютерного зрения к физической интеллектуальности роботов.
| Инициатива | Ключевая метрика / Результат | Значение |
|---|---|---|
| Решение конъектуры КЛС | Формально верифицированное доказательство | Прорыв в теории рандомизированных алгоритмов |
| Метод APEC (для кодеров) | Снижение затрат на 25.4%, времени на 9.6% | Оптимизация обработки длинных контекстов |
| 104 языка, улучшение мультиязычных бенчмарков | Баланс между компрессией и лингвистическим смыслом |
Источник: Microsoft Research ↗