ИИ-модели OpenAI и Anthropic опровергли гипотезу ETH

🤖 ИИ-модели OpenAI и Anthropic опровергли гипотезу ETH

26 октября обе компании опубликовали препринты с машинно-проверяемыми в Lean доказательствами: их алгоритмы решают #3-SAT за 2^{o(n)} против прежних 1.328^n. Peer review ещё впереди, P = NP это не доказывает.

🌍 На ETH построены сотни работ о жёсткости (Clique, Vertex Cover, Independent Set) — при подтверждении их придётся пересматривать. Формулировки с Импальяццо и Патури проверяет группа Райана Уильямса из MIT; OpenAI: «разумная уверенность», что текущая криптография не сломается.

👤 Впервые две frontier-лаборатории независимо нашли одно опровержение с Lean-доказательствами: корректность проверяет машина, а узкое место — фидельность формулировки к ETH. Следите за проверкой «странных» частей и редукциями к другим NP-задачам.

Источник 1: https://raw.githubusercontent.com/openai/math/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf