OpenAI สร้าง AI แก้ปัญหา Navier–Stokes Millennium Prize พร้อมพิสูจน์ใน Lean

OpenAI เปิดเผยว่า AI สามารถสร้างโซลูชันสำหรับปัญหา Navier–Stokes Millennium Prize Problem ได้สำเร็จ ซึ่งรวมถึงบทเขียนอธิบายและการพิสูจน์ทางคณิตศาสตร์อย่างเป็นทางการใน Lean

ที่มา: OpenAI News