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