GPT-6 Astra→ 미공개 차세대 Internal Model→ 10,000-agent system→ Euler 문제 해결→ 그 결과를 Navier–Stokes 에이전트에 전달→ Navier–Stokes 증명 발견→ GPT-6 Astra로 Lean 검증
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf