В статье, размещенной Anthropic, утверждается, что внутренняя модель Claude также опровергла гипотезу экспоненциального времени

В препринте на hexagonmath.org, указанном как размещенный Anthropic 27 октября 2026 года, заявляется о детерминированном алгоритме для 3-SAT с n переменными, работающем за время 2^o(n), что опровергло бы гипотезу экспоненциального времени (ETH). В статье говорится, что алгоритм также решает более сложную задачу #3-SAT, которая подсчитывает удовлетворяющие присваивания, а результат формализован в Lean 4.

Согласно заявлению о происхождении работы, внутренняя исследовательская модель Claude нашла основной алгоритм 16 октября, используя 14 миллионов выходных токенов и не получая участия человека; затем исследователи Anthropic работали с Claude над улучшением изложения. В статье добавляется, что внутренняя модель OpenAI утверждает, что независимо и одновременно доказала аналогичный результат; в подтверждение приводится собственный препринт OpenAI от 26 октября. Всё это утверждения авторов, которые не прошли независимую проверку.

Статья была опубликована на Hacker News (22 балла, 6 комментариев по состоянию на 27 октября); один из комментаторов отметил, что заявленная дата открытия совпадает с датой открытия OpenAI.