Прорив у математиці OpenAI підвищує безпеку смарт-контрактів

Недавній прорив у математиці OpenAI просунув автоматизоване доведення теорем для безпеки смарт-контрактів. 8 вересня компанія оголосила, що приблизно 10 000 одночасних агентів ШІ вирішили задачу про рух рідини Нав'є-Стокса за приблизно 88 годин, після чого протягом 17 годин відбувалася формалізація та верифікація за допомогою GPT-6 Astra у Lean, програмному помічнику для доведення. Система створила аналітичне доведення, яке демонструє, що гладка рідина може розвинути сингулярність за скінченний час, зберігаючи при цьому скінченну енергію, що стосується випадків C і D формулювання тисячолітньої премії. OpenAI зробила доступними як доведення, так і його формалізацію в Lean для незалежного перегляду. Для розробників криптовалют негайним наслідком є формальна верифікація, яка використовує математичні специфікації для забезпечення того, щоб код смарт-контракту функціонував так, як задумано. ШІ може спростити цей процес, зменшуючи витрати та трудомісткість. Математик Терренс Тао раніше попереджав, що автономні системи ШІ можуть генерувати складні рішення та верифікувати їх без публічного контролю, потенційно втрачаючи цінні проміжні відкриття. Оскільки доведення теорем стає більш автоматизованим, важливість точного визначення того, що повинні охоплювати доведення, зростає. Документація Ethereum стверджує, що формальна верифікація перевіряє, чи відповідає контракт визначеним властивостям, але погано написані специфікації можуть призвести до непомічених вразливостей. Покращені системи ШІ можуть зменшити зусилля, необхідні для доведень, підкреслюючи при цьому необхідність точних специфікацій. Цей зсув може трансформувати економіку формальної верифікації в протоколах DeFi та платформах токенізованих активів, де ручні зусилля обмежили впровадження. Виклик залишається в адаптації систем, здатних до досліджень, для програмного забезпечення виробництва, що дозволяє значущий огляд доведень розробниками та аудиторами.

Цей контент надано лише для загальних інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-акцій або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами. Криптоактиви є дуже волатильними та можуть призвести до збитків. Доступність послуг, продуктів WEEX та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.