ТехнологіїМатематичний прорив OpenAI виявив наступну слабку ланку безпеки криптосистем

За даними OpenAI, близько 10 000 одночасно запущених ШІ-агентів приблизно за 88 годин розв’язали задачу Нав’є—Стокса, а GPT-6 Astra ще за 17 годин формалізувала й перевірила доказ у Lean. Це може посилити безпеку смартконтрактів, але водночас підвищує вимоги до точності специфікацій, які визначають, що саме перевіряти.

OpenAIматематичний доказбезпека смартконтрактівформальна верифікація

CCryptoSlate★★★☆☆2026-09-10 22:30Оригінал