OpenAI อ้างเอไอโมเดลใหม่แก้ปัญหา Navier–Stokes ได้

OpenAI ออกมาอ้างว่าโมเดลเอไอตัวหนึ่งที่ยังไม่เปิดเผยต่อสาธารณะสามารถหาคำตอบของปัญหา Navier–Stokes existence and smoothness ได้สำเร็จ ซึ่งเป็นหนึ่งในปัญหา Millennium Prize Problems ที่มีชื่อเสียงที่สุดในคณิตศาสตร์โลก หากได้รับการยืนยันจริง ผลงานนี้จะนับเป็นความก้าวหน้าครั้งใหญ่ทั้งในวงการเอไอและคณิตศาสตร์เชิงทฤษฎี เพราะปัญหานี้ยังคงเป็นโจทย์ที่นักคณิตศาสตร์พยายามไขมานานหลายสิบปี

อย่างไรก็ตาม รายงานดังกล่าวยังเป็นเพียงคำอ้างของบริษัท ไม่ได้หมายความว่ามีการยอมรับอย่างเป็นทางการว่าเป็นบทพิสูจน์แล้ว ความท้าทายสำคัญอยู่ที่การตรวจสอบความถูกต้องโดยนักคณิตศาสตร์อิสระ ซึ่งต้องประเมินว่าคำตอบนั้นเป็นหลักฐานที่สมบูรณ์ ถูกต้อง และสอดคล้องกับนิยามทางคณิตศาสตร์ทั้งหมดหรือไม่

Navier–Stokes เป็นชุดสมการสำคัญที่ใช้อธิบายการไหลของของไหล เช่น อากาศและน้ำ และปัญหา existence and smoothness มุ่งถามว่าคำตอบของสมการเหล่านี้มีอยู่จริงในทุกกรณีหรือไม่ และถ้ามี จะมีความราบรื่นต่อเนื่องเสมอหรือเปล่า โจทย์นี้จึงมีความหมายมากทั้งเชิงทฤษฎีและการประยุกต์ใช้ในวิทยาศาสตร์และวิศวกรรม

กรณีนี้สะท้อนแนวโน้มใหม่ของเอไอที่ไม่ได้จำกัดอยู่แค่การสร้างข้อความหรือภาพ แต่เริ่มเข้าสู่การช่วยค้นพบเชิงวิชาการระดับลึก หากคำกล่าวอ้างได้รับการพิสูจน์ว่าถูกต้อง ก็อาจเป็นสัญญาณว่าโมเดลภาษาและระบบเอไอรุ่นใหม่สามารถมีบทบาทในงานคณิตศาสตร์ขั้นสูงได้มากกว่าที่เคยคาดไว้

ในขณะเดียวกัน ข่าวนี้ควรถูกอ่านด้วยความระมัดระวัง เพราะในวงการคณิตศาสตร์ การประกาศว่า “แก้ได้” ยังไม่เพียงพอจนกว่าจะผ่านการทวนสอบอย่างเข้มงวด และอาจใช้เวลานานก่อนที่จะรู้ว่าผลงานของ OpenAI เป็นการก้าวทะลุข้อจำกัดของเอไอจริง หรือเป็นเพียงข้อเสนอที่ยังต้องแก้ไขเพิ่มเติม