قالت OpenAI إن حوالي 10,000 عميل ذكاء اصطناعي يعملون بشكل متزامن حلّوا مشكلة في معادلات نافييه-ستوكس بعد حوالي 88 ساعة. استلزم الشكلية والتحقق في Lean 17 ساعة إضافية باستخدام GPT-6 Astra. وقد تساعد هذه النتيجة على تقريب البرهنة الآلية على التكاليف إلى سير عمل أمني لعقود الذكية.