ผลงานเผยแพร่ผ่าน Lean repository

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

สมการนาเวียร์-สโตกส์เป็นสมการพื้นฐานที่อธิบายการเคลื่อนที่ของของไหล และการพิสูจน์การมีอยู่และความเรียบของเงื่อนไขเฉลยในสามมิติยังคงเป็นปัญหาเปิดที่ Clay Mathematics Institute เสนอรางวัล Millennium Prize มูลค่าหนึ่งล้านดอลลาร์สหรัฐ

ยังรอการตรวจสอบอิสระและการรับรองจาก CMI

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

กรณีนี้สะท้อนแนวปฏิบัติที่แพร่หลายขึ้นในอุตสาหกรรม AI ซึ่งบริษัทพัฒนาโมเดลภาษาขนาดใหญ่ (LLM) นำเสนอผลงานวิจัยเชิงคณิตศาสตร์สู่สาธารณะก่อนการประเมินจากกระบวนการวิชาการแบบดั้งเดิม โดยการเผยแพร่หลักฐานผ่านระบบ Lean ช่วยให้กระบวนการตรวจสอบโดยชุมชนสามารถดำเนินไปได้ในเวลาต่อมา

สรุปได้ว่าข้อประกาศของ OpenAI ตรงกับข้อเท็จจริงในระดับหนึ่ง แต่สถานะทางคณิตศาสตร์ของแนวทางแก้ยังอยู่ระหว่างรอการยืนยัน Verdict: เป็นจริงส่วนใหญ่