Модели OpenAI и Anthropic независимо заявили об опровержении ETH
Обе лаборатории сообщили, что их внутренние модели нашли результаты 16 октября независимо друг от друга.
Claude предложил детерминированный алгоритм для 3-SAT со временем 2^o(n), что противоречит ETH.
Anthropic и OpenAI опубликовали формализации доказательств в Lean для внешней проверки.
OpenAI называет свои рукописи сырыми исследовательскими данными и передала их независимым экспертным группам.
Почему важно
Если доказательства устоят, сотни условных нижних оценок сложности придется пересмотреть, а проверка AI-исследований станет отдельным научным процессом.