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