https://x.com/OpenAI/status/2097374640582668336



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






