OpenAI said roughly 10,000 concurrent AI agents solved a Navier-Stokes problem after about 88 hours. Formalization and verification in Lean required another 17 hours using GPT-6 Astra. The result could bring automated theorem proving closer to smart-contract security workflows.
Publier
Avertissement : ce contenu inclut des opinions de tiers. Il ne constitue pas un conseil. Binance Ai peut être utilisée, sans garantie de résultat. Consultez les CG.