Прорыв в теоретической информатике
Лаборатория Anthropic объявила о фундаментальном результате: внутренняя исследовательская модель Claude нашла алгоритм, решающий задачу выполнимости булевых формул (3-SAT) за время 2^{o(n)}. Это означает, что сложность решения растет медленнее, чем любая экспонента вида 2^{cn} для константы c > 0. Данный результат напрямую опровергает Exponential Time Hypothesis (ETH) — краеугольный камень теории вычислительной сложности, который гласил, что 3-SAT не может быть решен быстрее, чем за время 2^{δn} для некоторой константы δ > 0.
Детали открытия и роль ИИ
Ключевой алгоритм был обнаружен 16 октября моделью Claude без какого-либо вмешательства человека. Процесс генерации решения потребовал 14 миллионов выходных токенов. После обнаружения алгоритма исследователи Anthropic collaborated с моделью для улучшения презентации и формализации доказательства в системе доказательств Lean 4. Это первый случай, когда ИИ-система не просто предлагает эвристику, а находит строгое математическое решение для одной из самых сложных открытых проблем в компьютерных науках.
Сравнение с конкурентами
Интересно, что аналогичный результат был получен независимо и параллельно внутренней моделью OpenAI. Оба прома подтверждают, что прорыв связан с архитектурными особенностями современных LLM, а не с конкретной реализацией одной компании. Ниже приведена сводка ключевых параметров открытия:
| Параметр | Значение / Описание |
|---|---|
| Задача | 3-SAT и #3-SAT (подсчет удовлетворяющих присваиваний) |
| Сложность алгоритма | 2^{o(n)} (субэкспоненциальная) |
| Дата обнаружения | 16 октября (внутренний тест) |
| Объем генерации | 14 млн токенов (без участия человека) |
| Формат верификации | Lean 4 (машинно-проверяемое доказательство) |
| Статус ETH | Опровергнута |
Почему это важно для индустрии
Опровержение ETH имеет далеко идущие последствия. Многие криптографические протоколы и алгоритмы оптимизации базируются на предположении, что определенные задачи (включая вариации SAT) требуют экспоненциального времени. Если 3-SAT решается за 2^{o(n)}, это может потребовать пересмотра оценок безопасности некоторых криптосистем и эффективности алгоритмов в области искусственного интеллекта, логического программирования и комбинаторной оптимизации. Открытие демонстрирует, что ИИ-модели способны к абстрактному математическому мышлению, сопоставимому с человеческим, а в некоторых аспектах — и превосходящему его в поиске неочевидных структур.
Источник: Hexagonmath ↗