OpenAI сообщила, что примерно 10 000 параллельных ИИ-агентов решили задачу Навье—Стокса примерно за 88 часов. Для формализации и верификации в Lean потребовалось еще 17 часов с использованием GPT-6 Astra. Результат может приблизить автоматизированное доказательство теорем к рабочим процессам по безопасности смарт-контрактов.
Посты
Отказ от ответственности. Содержит мнения третьих сторон. Не является рекомендацией. Binance AI не предоставляет гарантий. См. Правила и условия.