🧮 OpenAI опровергла почти 30-летнюю гипотезу
🧮 OpenAI опровергла почти 30-летнюю гипотезу Речь о гипотезе экспоненциального времени (ETH) из теоретической информатики. Она утверждала, что для задачи о выполнимости нет обходных путей, избегающих экспоненциального роста комбинаций. OpenAI заявляет, что такие shortcuts есть. Это шаг к проблеме P vs NP — «задаче тысячелетия». Последствия могут выйти за пределы теории: современное шифрование держится на том, что некоторые задачи решать долго. Anthropic в тот же день нашла почти идентичное доказательство другим путём. Обе проверили результаты через Lean, но люди пока не подтвердили их полностью.
360 просмотров