OpenAI表示，約10,000個併發的AI代理在大約88小時後解決了一個Navier-Stokes問題。使用GPT-6 Astra在Lean中進行形式化和驗證又花費了17小時。該結果可能使自動定理證明更接近智能合約安全工作流。