Прорыв в математике OpenAI усиливает безопасность смарт-контрактов

Недавний прорыв в математике OpenAI продвигает автоматизированное доказательство теорем для безопасности смарт-контрактов. 8 сентября компания объявила, что около 10 000 одновременно работающих ИИ-агентов решили задачу о движении жидкости Навье-Стокса за примерно 88 часов, после чего последовали 17 часов формализации и верификации с использованием GPT-6 Astra в Lean, программном помощнике для доказательства. Система произвела аналитическое доказательство, демонстрирующее, что гладкая жидкость может развить сингулярность за конечное время, сохраняя при этом конечную энергию, что касается случаев C и D формулировки Миллениумской премии. OpenAI сделала доступными как доказательство, так и его формализацию в Lean для независимого анализа. Для разработчиков криптовалюты непосредственное значение имеет формальная верификация, которая использует математические спецификации для обеспечения того, чтобы код смарт-контракта работал так, как задумано. ИИ может упростить этот процесс, снизив затраты и трудоемкость. Математик Терренс Тао ранее предупреждал, что автономные ИИ-системы могут генерировать сложные решения и проверять их без общественного контроля, потенциально теряя ценные промежуточные открытия. Поскольку доказательство теорем становится более автоматизированным, возрастает важность точного определения того, что должно быть охвачено доказательствами. Документация Ethereum утверждает, что формальная верификация проверяет, соответствует ли контракт заданным свойствам, но плохо написанные спецификации могут привести к невыявленным уязвимостям. Улучшенные ИИ-системы могут снизить усилия, необходимые для доказательств, подчеркивая необходимость точных спецификаций. Этот сдвиг может изменить экономику формальной верификации в протоколах DeFi и платформах токенизированных активов, где ручные усилия ограничили развертывание. Задача остается в адаптации систем, способных к исследованиям, для производственного программного обеспечения, позволяя разработчикам и аудиторам проводить значимую проверку доказательств.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.