Anthropic заявила о решении внутренней модели, опровергающем ETH
D@data_secretsAI-инженер
16 чСтартап утверждает, что внутренняя модель Claude нашла субэкспоненциальный алгоритм для 3-SAT и решила более сложную задачу #3-SAT.
Если результат подтвердится, он поставит под сомнение фундаментальную оценку сложности задач, используемую в информатике.
- Заявленный алгоритм решает 3-SAT быстрее, чем допускает ETH.
- Результат также затрагивает задачу подсчёта решений #3-SAT.
- Пост утверждает, что модель работала без участия человека в самом решении.
Модель Anthropic тоже опровергла ETH, независимо от OpenAI
https://hexagonmath.org/2610.00577v1
В стартапе утверждают, что внутренняя модель Claude обнаружила решение 16 октября. Та же дата указана в отчете OpenAI 🤔🤔🤔
Claude потратил на решение 14 млн выходных токенов, и участия человека не было (сотрудники Anthropic только помогали довести изложение до статьи).
Модель нашла детерминированный алгоритм для 3-SAT за время 2^o(n). ETH утверждает, что есть фиксированная константа δ > 0, при которой быстрее чем за 2^(δn) эту задачу решить нельзя, так что такой алгоритм ее опровергает. Более того, модель решила и более сложную задачу #3-SAT, то есть посчитала число выполняющих наборов.
https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth
Кратко (AI)
В посте сообщается, что внутренняя модель Claude якобы нашла детерминированный алгоритм для 3-SAT за субэкспоненциальное время, опровергающий ETH. Утверждается, что на решение ушло 14 млн выходных токенов, а модель также решила задачу подсчёта #3-SAT; сотрудники Anthropic помогали оформить результат в статью.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖