OpenAI заявила об опровержении ETH-гипотезы: угрозы для биткоина нет

• —Опровержение касается задачи 3-SAT, а не криптографии secp256k1
• —Проверка в Lean покрывает более слабую границу, чем в рукописи
• —Организаторы независимой проверки отказались сертифицировать результат
• —Майнинг и подписи BTC опираются на дискретные логарифмы и хеши