OpenAI ประกาศความสำเร็จใช้ AI แก้โจทย์ Millennium Prize สมการ Navier–Stokes ได้สำเร็จtag: GPT-6 Astra, Lean, Mathematics, Millennium Prize, Navier–Stokes, OpenAISep 9, 2026 · By: AttapolKOpenAI เผยแพร่ผลงานการพิสูจน์ปัญหาทางคณิตศาสตร์ระดับโลก Navier–Stokes โดยใช้ระบบ AI ขั้นสูงรุ่นภายใน สร้างทั้งรายงานการวิเคราะห์และการตรวจสอบความถูกต้องในภาษา Lean
