Компания OpenAI утверждает, что её система искусственного интеллекта опровергла гипотезу об экспоненциальном времени, давнюю теорию о том, насколько сложно решать определённые логические задачи. После объявления 26 октября исследователи приступили к организации независимой проверки. Опубликованный результат не свидетельствует о возможности практической атаки на Биткойн.

В данном контексте $ETH означает «гипотезу об экспоненциальном времени», а не криптовалюту Ether. Речь идёт о задаче 3-SAT, головоломке, в которой компьютер должен найти значения «истина» или «ложь», удовлетворяющие набору логических правил. Гипотеза утверждает, что решение этих задач требует экспоненциального времени в зависимости от количества переменных в худшем случае.

Компания OpenAI заявляет, что результат был проверен в системе Lean, инструменте для проверки доказательств, хотя в сопроводительной документации указано, что полученные оценки времени решения задачи менее строгие, чем самые смелые утверждения, содержащиеся в оригинальной публикации. Исследователи, организовавшие проверку со стороны научного сообщества, прямо отказались подтвердить эти результаты. В их письме говорится: «Наше участие не следует рассматривать как подтверждение этих утверждений».