ME News รายงานว่า เมื่อวันที่ 9 กันยายน (UTC+8) OpenAI ประกาศแก้ไขปัญหาหนึ่งในปัญหา Millennium Prize คือ ปัญหาการมีอยู่และความเรียบลื่นของนาวิเยร์-สโตกส์ ซึ่งยังไม่มีผู้แก้ไขมานานประมาณ 90 ปี
การพิสูจน์ครั้งนี้ดำเนินการโดยชุดตัวแทนที่ใช้โมเดลรุ่นใหม่ของ OpenAI ซึ่งมีความสามารถเหนือกว่า GPT-6 Astra อย่างมาก โดย OpenAI ระบุว่าใช้ตัวแทนประมาณ 10,000 ตัวทำงานแบบขนานกันเป็นเวลาประมาณ 88 ชั่วโมงเพื่อสร้างการพิสูจน์ จากนั้น GPT-6 Astra ใช้เวลา 17 ชั่วโมงในการตรวจสอบรูปแบบใน Lean Theorem Prover การพิสูจน์แสดงให้เห็นว่าการเคลื่อนที่ของของไหลสามมิติสามารถเกิดจุดพิเศษภายในช่วงเวลาจำกัด: การหมุนวนหดเข้าด้านใน แกนถูกยืดและเร่งความเร็วจนถึงค่าที่ไม่มีขอบเขต ขณะที่พลังงานรวมของระบบยังคงมีค่าจำกัด OpenAI ได้เปิดเผยเอกสารการพิสูจน์ 165 หน้าและรหัสรูปแบบ Lean และระบุว่าไม่ตั้งใจจะขอรับรางวัล 1 ล้านดอลลาร์สหรัฐ ปัจจุบัน Clay Mathematics Institute ยังคงจัดให้ปัญหานี้อยู่ในหมวดหมู่ที่ยังไม่ได้รับการแก้ไข เนื่องจากตามกฎแล้ว วิธีแก้ปัญหาต้องได้รับการตีพิมพ์ในวารสารที่ได้รับการยอมรับและคงอยู่อย่างน้อยสองปี และได้รับการยอมรับอย่างกว้างขวางจากชุมชนคณิตศาสตร์ก่อนจึงจะพิจารณาให้รางวัล (แหล่งที่มา: X)
