Модель 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