OpenAI dijo que aproximadamente 10,000 agentes de IA concurrentes resolvieron un problema de Navier-Stokes después de unas 88 horas. La formalización y la verificación en Lean requirieron otras 17 horas usando GPT-6 Astra. El resultado podría acercar la demostración automática de teoremas a los flujos de trabajo de seguridad de contratos inteligentes.