ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล ประเด็นสำคัญคือ ความถูกต้องของข้อพิสูจน์ที่ตรวจด้วยเครื่อง ไม่ได้เท่ากับการยืนยันว่าโจทย์และสมมติฐานที่เข้ารหัสตรงตามมาตรฐานของ Millennium Prize ทุกประการ Tristan Buckmas...
เผยแพร่โดยแก้ไขด้วย GPT-5.6 Terraรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย

Create a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI ถูกระบุให้เป็นผู้ได้รับรางวัลสูงสุด 1 ล้านดอลลาร์สหรัฐจากโครงการ Justin Sun Prize สำหรับผลงาน Navier–Stokes แต่บริษัทยังไม่ได้รับเงินรางวัลดังกล่าว รายงานระบุว่าสถานะในคลังข้อมูลของรางวัลคือ “มีสิทธิ์รับ” แต่ยัง “ไม่ได้เคลม” เรื่องนี้จึงไม่ใช่เพียงข่าวว่า AI พบข้อพิสูจน์คณิตศาสตร์ หากยังเป็นบททดสอบว่า การพิสูจน์เชิงรูปนัย การตรวจสอบด้วยซอฟต์แวร์ รางวัลเอกชน การทบทวนโดยนักคณิตศาสตร์อิสระ และการให้เครดิต ควรทำงานร่วมกันอย่างไรในยุคที่ AI มีบทบาทในงานวิจัยแนวหน้า 3
6
8
9
เมื่อวันที่ 8 กันยายน 2026 OpenAI เผยแพร่คำอธิบายข้อพิสูจน์และการทำให้เป็นทางการด้วย Lean สำหรับผลลัพธ์เกี่ยวกับสมการ Navier–Stokes แบบไม่อัดตัวในสามมิติ ซึ่งใช้อธิบายการเคลื่อนที่ของของไหล OpenAI ระบุว่าระบบภายในของตนพบข้อพิสูจน์เชิงวิเคราะห์ว่า ของไหลที่เริ่มต้นอย่างเรียบและอยู่นิ่ง สามารถเกิดภาวะเอกฐานในเวลาจำกัดได้ หากมีแรงภายนอกที่เรียบมากระทำ 6
ตามถ้อยคำในโจทย์ของ Clay Mathematics Institute ผลลัพธ์ที่อ้างถึงอยู่ในเส้นทาง ตัวอย่างโต้แย้งกรณีมีแรงภายนอก หรือกรณี C และ D ไม่ได้พิสูจน์ทางเลือกเรื่องความเรียบทั่วโลกในกรณีไม่มีแรงภายนอก ซึ่งคือกรณี A และ B ความต่างนี้สำคัญมาก เพราะพาดหัวทำนองว่า “แก้ Navier–Stokes ได้แล้ว” อาจทำให้เข้าใจเกินกว่าขอบเขตที่ OpenAI อ้างไว้ 6
18
19
OpenAI ระบุว่าเริ่มทดสอบโมเดลภายในที่ยังอยู่ระหว่างการฝึกกับโจทย์นี้ตั้งแต่ 28 สิงหาคม ก่อนขยายงานหลัง 1 กันยายน บริษัทอธิบายว่าใช้กลุ่มเอเจนต์ที่ประสานงานกัน เข้าถึงโค้ดและข้อมูลเว็บที่แคชไว้ โดยงาน Navier–Stokes มีเอเจนต์ทำงานพร้อมกันราว 10,000 ตัว 6
รายงานข่าวระบุว่าขั้นตอนค้นพบใช้เวลาราว 88 ชั่วโมง ก่อนที่ GPT-6 Astra จะใช้เวลาประมาณ 17 ชั่วโมงในการแปลงและตรวจงานด้วย Lean ทั้งนี้ OpenAI เน้นว่าโมเดลที่ค้นพบผลลัพธ์เป็นระบบภายในที่มีความสามารถสูงกว่า GPT-6 Astra มาก ส่วน Astra มีบทบาทกับการทำข้อพิสูจน์ให้เป็นทางการและการตรวจสอบ ไม่จำเป็นต้องเป็นผู้ค้นพบแนวคิดดั้งเดิม 6
8
Lean เป็นระบบพิสูจน์ทฤษฎีบทเชิงรูปนัย การตรวจผ่าน Lean เป็นหลักฐานหนักแน่นว่า ทฤษฎีบทที่เขียนไว้สามารถอนุมานได้จากสมมติฐานที่เข้ารหัสในระบบนั้น แต่เพียงลำพังยังไม่ตอบว่า สมมติฐานที่เข้ารหัสครอบคลุมเงื่อนไขทั้งหมดตามโจทย์ของ Clay หรือไม่ และยังไม่แทนที่การประเมินจากนักคณิตศาสตร์ภายนอกเรื่องขอบเขตกับความหมายของผลลัพธ์
รางวัลของ Clay Mathematics Institute แยกต่างหากจากรางวัลของ Justin Sun โดยสิ้นเชิง Clay แถลงเมื่อ 11 กันยายนว่ากำลังประเมินประกาศของ OpenAI ภายใต้กติกาที่มีอยู่ และย้ำว่ากระบวนการนี้ตั้งใจให้ดำเนินไปอย่างรอบคอบ ไม่เร่งรีบ 1
กติกา Millennium Prize ของ Clay กำหนดว่า ข้อเสนอคำตอบต้องตีพิมพ์ในแหล่งเผยแพร่ที่เข้าเกณฑ์ ต้องรออย่างน้อย 2 ปีหลังการตีพิมพ์ และต้องได้รับการยอมรับโดยทั่วไปจากชุมชนนักคณิตศาสตร์ทั่วโลก จึงจะเข้าสู่การพิจารณารางวัลได้ ดังนั้น ต่อให้โค้ด Lean ตรวจผ่านตามที่รายงาน ก็ยังไม่อาจกลายเป็นผลรางวัลของ Clay ได้ในทันที
สถานะปัจจุบันจึงตรงไปตรงมา: OpenAI เผยแพร่ข้ออ้างและเอกสารการทำให้เป็นทางการต่อสาธารณะแล้ว แต่ Clay ยังไม่ได้รับรองว่าเป็นคำตอบของ Millennium Prize นักคณิตศาสตร์อิสระยังต้องตรวจทั้งข้อพิสูจน์เชิงวิเคราะห์ การทำให้เป็นทางการ และการสอดคล้องกับเงื่อนไขของโจทย์ 1
6
Justin Sun ประกาศรางวัลนี้เมื่อ 16 กันยายนในฐานะโครงการเงินรางวัลทางวิชาการแบบกระจายศูนย์ สำหรับความก้าวหน้าในงานวิจัยพื้นฐานและการพิสูจน์เชิงรูปนัยที่ตรวจสอบด้วยเครื่องได้ การมอบรางวัลชุดแรกครอบคลุมปัญหาคณิตศาสตร์ 66 ข้อ และผลงาน Navier–Stokes ที่ OpenAI อ้างถูกระบุเป็นรางวัลสูงสุด 1 ล้านดอลลาร์ 3
14
แนวคิดของโครงการมีจังหวะและเกณฑ์ที่ต่างจาก Clay โดยมุ่งยอมรับข้อพิสูจน์ที่ตรวจสอบด้วยเครื่อง และเปิดให้ผู้วิจัยมนุษย์ ระบบ AI หรือทีมมนุษย์–AI เข้าร่วมได้ 4
14
ด้วยเหตุนี้ รางวัลดังกล่าวจึงเป็นรางวัลเอกชนที่ใช้กติกาของตนเอง ไม่ใช่สิ่งทดแทนมาตรฐานที่ชุมชนนักคณิตศาสตร์ใช้ตัดสินความถูกต้อง ลำดับความสำคัญของผลงาน หรือคุณค่าระยะยาว การได้รับเลือกตามเกณฑ์ของ Sun ไม่ได้บังคับให้ Clay หรือนักวิจัยคนอื่นต้องถือว่าเรื่องนี้ยุติแล้ว
รายงานเกี่ยวกับคลังข้อมูลรางวัลระบุว่า OpenAI มีสิทธิ์รับรางวัล แต่ยังไม่ได้เคลม โดยเชื่อมโยงการตัดสินใจนี้กับข้อพิพาทที่ยังไม่คลี่คลายเรื่องต้นกำเนิดของข้อพิสูจน์ และการที่ OpenAI ยังไม่เดินหน้าขอรางวัลของ Clay ในระยะนี้ 8
9
จากข้อมูลที่ตรวจสอบได้ในที่นี้ OpenAI ยังไม่ได้เปิดเผยเหตุผลชัดเจนและเป็นข้อสรุปว่าทำไมจึงปฏิเสธหรือเลื่อนการรับเงิน การตีความที่ระมัดระวังที่สุดคือ การรับรางวัลเอกชนในเวลาที่ขอบเขต ที่มา และเครดิตของผลงานยังเป็นประเด็นถกเถียง อาจถูกมองว่าเป็นการประกาศความเป็นข้อยุติเร็วเกินกว่ากระบวนการรับรองตามปกติของวิชาชีพ
Tristan Buckmaster นักคณิตศาสตร์จากมหาวิทยาลัยนิวยอร์ก กล่าวหาว่างานของ OpenAI อาจอาศัยงานวิจัยที่ยังไม่เผยแพร่ต่อสาธารณะ ขณะที่ OpenAI โต้แย้งข้อกล่าวหานี้ รายงานที่มีอยู่ยังไม่ปรากฏข้อยุติจากการตรวจสอบอิสระ 1
20
Nature เห็นว่าเหตุการณ์นี้สะท้อนความจำเป็นที่บริษัท AI ต้องทำงานร่วมกับชุมชนนักวิจัยมากขึ้นในเรื่องการระบุแหล่งที่มาและเครดิต ในคณิตศาสตร์ที่มี AI ช่วย ระบบสามารถค้นหา ผสมผสาน และทำแนวคิดให้เป็นรูปนัยได้ในขนาดที่ไม่เคยมีมาก่อน แต่ที่มาของ “ไอเดียสำคัญ” แต่ละชิ้นอาจย้อนรอยได้ยาก 17
20
ข้อพิพาทนี้ไม่ได้พิสูจน์ว่าข้อพิสูจน์เชิงรูปนัยผิด แต่ชี้ให้เห็นว่าความถูกต้องของผลลัพธ์กับเครดิตของผู้สร้างผลงานเป็นคนละคำถาม และทั้งคู่มีความหมายต่อการอ้างความก้าวหน้าครั้งใหญ่ในคณิตศาสตร์
ข้ออ้างของ OpenAI มีนัยสำคัญมาก: บริษัทระบุว่าสร้างข้อพิสูจน์การเกิดภาวะเอกฐานในเวลาจำกัดสำหรับกรอบ Navier–Stokes แบบมีแรงภายนอก ผ่านเวิร์กโฟลว์เอเจนต์ขนาดใหญ่ และแนบการทำให้เป็นทางการด้วย Lean 6
18
19
แต่ยังไม่ควรเรียกสิ่งนี้ว่าเป็นคำตอบ Millennium Prize ที่ Clay รับรองแล้ว รางวัล 1 ล้านดอลลาร์ของ Justin Sun มีรายงานว่ายังไม่มีการรับเงิน กระบวนการของ Clay เป็นคนละระบบและใช้เวลานานกว่า อีกทั้งข้อพิพาทเรื่องเครดิตยังไม่ยุติ 1
8
9
20
หมุดหมายต่อไปคือการทบทวนคณิตศาสตร์โดยอิสระ การตรวจว่าข้อความในระบบ Lean ตรงกับเงื่อนไขที่โจทย์ตั้งใจไว้หรือไม่ และคำอธิบายที่น่าเชื่อถือเรื่องลำดับความสำคัญกับผู้มีส่วนสร้างผลงาน จนกว่าจะถึงตอนนั้น คำอธิบายที่แม่นยำที่สุดคือ นี่คือข้ออ้างทางคณิตศาสตร์จาก AI ที่สำคัญอย่างยิ่งและมีองค์ประกอบซึ่งตรวจด้วยเครื่องได้ ไม่ใช่ผลสรุปที่ได้รับฉันทามติแล้ว
Studio Global AI
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล
ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล ประเด็นสำคัญคือ ความถูกต้องของข้อพิสูจน์ที่ตรวจด้วยเครื่อง ไม่ได้เท่ากับการยืนยันว่าโจทย์และสมมติฐานที่เข้ารหัสตรงตามมาตรฐานของ Millennium Prize ทุกประการ
Tristan Buckmaster ตั้งข้อกังวลเรื่องที่มาของแนวคิด ขณะที่ OpenAI โต้แย้งข้อกล่าวหา ทำให้คำถามเรื่องเครดิตยังไม่มีข้อยุติ
ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล ประเด็นสำคัญคือ ความถูกต้องของข้อพิสูจน์ที่ตรวจด้วยเครื่อง ไม่ได้เท่ากับการยืนยันว่าโจทย์และสมมติฐานที่เข้ารหัสตรงตามมาตรฐานของ Millennium Prize ทุกประการ Tristan Buckmas...
เผยแพร่โดยแก้ไขด้วย GPT-5.6 Terraรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย

Create a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI ถูกระบุให้เป็นผู้ได้รับรางวัลสูงสุด 1 ล้านดอลลาร์สหรัฐจากโครงการ Justin Sun Prize สำหรับผลงาน Navier–Stokes แต่บริษัทยังไม่ได้รับเงินรางวัลดังกล่าว รายงานระบุว่าสถานะในคลังข้อมูลของรางวัลคือ “มีสิทธิ์รับ” แต่ยัง “ไม่ได้เคลม” เรื่องนี้จึงไม่ใช่เพียงข่าวว่า AI พบข้อพิสูจน์คณิตศาสตร์ หากยังเป็นบททดสอบว่า การพิสูจน์เชิงรูปนัย การตรวจสอบด้วยซอฟต์แวร์ รางวัลเอกชน การทบทวนโดยนักคณิตศาสตร์อิสระ และการให้เครดิต ควรทำงานร่วมกันอย่างไรในยุคที่ AI มีบทบาทในงานวิจัยแนวหน้า 3
6
8
9
เมื่อวันที่ 8 กันยายน 2026 OpenAI เผยแพร่คำอธิบายข้อพิสูจน์และการทำให้เป็นทางการด้วย Lean สำหรับผลลัพธ์เกี่ยวกับสมการ Navier–Stokes แบบไม่อัดตัวในสามมิติ ซึ่งใช้อธิบายการเคลื่อนที่ของของไหล OpenAI ระบุว่าระบบภายในของตนพบข้อพิสูจน์เชิงวิเคราะห์ว่า ของไหลที่เริ่มต้นอย่างเรียบและอยู่นิ่ง สามารถเกิดภาวะเอกฐานในเวลาจำกัดได้ หากมีแรงภายนอกที่เรียบมากระทำ 6
ตามถ้อยคำในโจทย์ของ Clay Mathematics Institute ผลลัพธ์ที่อ้างถึงอยู่ในเส้นทาง ตัวอย่างโต้แย้งกรณีมีแรงภายนอก หรือกรณี C และ D ไม่ได้พิสูจน์ทางเลือกเรื่องความเรียบทั่วโลกในกรณีไม่มีแรงภายนอก ซึ่งคือกรณี A และ B ความต่างนี้สำคัญมาก เพราะพาดหัวทำนองว่า “แก้ Navier–Stokes ได้แล้ว” อาจทำให้เข้าใจเกินกว่าขอบเขตที่ OpenAI อ้างไว้ 6
18
19
OpenAI ระบุว่าเริ่มทดสอบโมเดลภายในที่ยังอยู่ระหว่างการฝึกกับโจทย์นี้ตั้งแต่ 28 สิงหาคม ก่อนขยายงานหลัง 1 กันยายน บริษัทอธิบายว่าใช้กลุ่มเอเจนต์ที่ประสานงานกัน เข้าถึงโค้ดและข้อมูลเว็บที่แคชไว้ โดยงาน Navier–Stokes มีเอเจนต์ทำงานพร้อมกันราว 10,000 ตัว 6
รายงานข่าวระบุว่าขั้นตอนค้นพบใช้เวลาราว 88 ชั่วโมง ก่อนที่ GPT-6 Astra จะใช้เวลาประมาณ 17 ชั่วโมงในการแปลงและตรวจงานด้วย Lean ทั้งนี้ OpenAI เน้นว่าโมเดลที่ค้นพบผลลัพธ์เป็นระบบภายในที่มีความสามารถสูงกว่า GPT-6 Astra มาก ส่วน Astra มีบทบาทกับการทำข้อพิสูจน์ให้เป็นทางการและการตรวจสอบ ไม่จำเป็นต้องเป็นผู้ค้นพบแนวคิดดั้งเดิม 6
8
Lean เป็นระบบพิสูจน์ทฤษฎีบทเชิงรูปนัย การตรวจผ่าน Lean เป็นหลักฐานหนักแน่นว่า ทฤษฎีบทที่เขียนไว้สามารถอนุมานได้จากสมมติฐานที่เข้ารหัสในระบบนั้น แต่เพียงลำพังยังไม่ตอบว่า สมมติฐานที่เข้ารหัสครอบคลุมเงื่อนไขทั้งหมดตามโจทย์ของ Clay หรือไม่ และยังไม่แทนที่การประเมินจากนักคณิตศาสตร์ภายนอกเรื่องขอบเขตกับความหมายของผลลัพธ์
รางวัลของ Clay Mathematics Institute แยกต่างหากจากรางวัลของ Justin Sun โดยสิ้นเชิง Clay แถลงเมื่อ 11 กันยายนว่ากำลังประเมินประกาศของ OpenAI ภายใต้กติกาที่มีอยู่ และย้ำว่ากระบวนการนี้ตั้งใจให้ดำเนินไปอย่างรอบคอบ ไม่เร่งรีบ 1
กติกา Millennium Prize ของ Clay กำหนดว่า ข้อเสนอคำตอบต้องตีพิมพ์ในแหล่งเผยแพร่ที่เข้าเกณฑ์ ต้องรออย่างน้อย 2 ปีหลังการตีพิมพ์ และต้องได้รับการยอมรับโดยทั่วไปจากชุมชนนักคณิตศาสตร์ทั่วโลก จึงจะเข้าสู่การพิจารณารางวัลได้ ดังนั้น ต่อให้โค้ด Lean ตรวจผ่านตามที่รายงาน ก็ยังไม่อาจกลายเป็นผลรางวัลของ Clay ได้ในทันที
สถานะปัจจุบันจึงตรงไปตรงมา: OpenAI เผยแพร่ข้ออ้างและเอกสารการทำให้เป็นทางการต่อสาธารณะแล้ว แต่ Clay ยังไม่ได้รับรองว่าเป็นคำตอบของ Millennium Prize นักคณิตศาสตร์อิสระยังต้องตรวจทั้งข้อพิสูจน์เชิงวิเคราะห์ การทำให้เป็นทางการ และการสอดคล้องกับเงื่อนไขของโจทย์ 1
6
Justin Sun ประกาศรางวัลนี้เมื่อ 16 กันยายนในฐานะโครงการเงินรางวัลทางวิชาการแบบกระจายศูนย์ สำหรับความก้าวหน้าในงานวิจัยพื้นฐานและการพิสูจน์เชิงรูปนัยที่ตรวจสอบด้วยเครื่องได้ การมอบรางวัลชุดแรกครอบคลุมปัญหาคณิตศาสตร์ 66 ข้อ และผลงาน Navier–Stokes ที่ OpenAI อ้างถูกระบุเป็นรางวัลสูงสุด 1 ล้านดอลลาร์ 3
14
แนวคิดของโครงการมีจังหวะและเกณฑ์ที่ต่างจาก Clay โดยมุ่งยอมรับข้อพิสูจน์ที่ตรวจสอบด้วยเครื่อง และเปิดให้ผู้วิจัยมนุษย์ ระบบ AI หรือทีมมนุษย์–AI เข้าร่วมได้ 4
14
ด้วยเหตุนี้ รางวัลดังกล่าวจึงเป็นรางวัลเอกชนที่ใช้กติกาของตนเอง ไม่ใช่สิ่งทดแทนมาตรฐานที่ชุมชนนักคณิตศาสตร์ใช้ตัดสินความถูกต้อง ลำดับความสำคัญของผลงาน หรือคุณค่าระยะยาว การได้รับเลือกตามเกณฑ์ของ Sun ไม่ได้บังคับให้ Clay หรือนักวิจัยคนอื่นต้องถือว่าเรื่องนี้ยุติแล้ว
รายงานเกี่ยวกับคลังข้อมูลรางวัลระบุว่า OpenAI มีสิทธิ์รับรางวัล แต่ยังไม่ได้เคลม โดยเชื่อมโยงการตัดสินใจนี้กับข้อพิพาทที่ยังไม่คลี่คลายเรื่องต้นกำเนิดของข้อพิสูจน์ และการที่ OpenAI ยังไม่เดินหน้าขอรางวัลของ Clay ในระยะนี้ 8
9
จากข้อมูลที่ตรวจสอบได้ในที่นี้ OpenAI ยังไม่ได้เปิดเผยเหตุผลชัดเจนและเป็นข้อสรุปว่าทำไมจึงปฏิเสธหรือเลื่อนการรับเงิน การตีความที่ระมัดระวังที่สุดคือ การรับรางวัลเอกชนในเวลาที่ขอบเขต ที่มา และเครดิตของผลงานยังเป็นประเด็นถกเถียง อาจถูกมองว่าเป็นการประกาศความเป็นข้อยุติเร็วเกินกว่ากระบวนการรับรองตามปกติของวิชาชีพ
Tristan Buckmaster นักคณิตศาสตร์จากมหาวิทยาลัยนิวยอร์ก กล่าวหาว่างานของ OpenAI อาจอาศัยงานวิจัยที่ยังไม่เผยแพร่ต่อสาธารณะ ขณะที่ OpenAI โต้แย้งข้อกล่าวหานี้ รายงานที่มีอยู่ยังไม่ปรากฏข้อยุติจากการตรวจสอบอิสระ 1
20
Nature เห็นว่าเหตุการณ์นี้สะท้อนความจำเป็นที่บริษัท AI ต้องทำงานร่วมกับชุมชนนักวิจัยมากขึ้นในเรื่องการระบุแหล่งที่มาและเครดิต ในคณิตศาสตร์ที่มี AI ช่วย ระบบสามารถค้นหา ผสมผสาน และทำแนวคิดให้เป็นรูปนัยได้ในขนาดที่ไม่เคยมีมาก่อน แต่ที่มาของ “ไอเดียสำคัญ” แต่ละชิ้นอาจย้อนรอยได้ยาก 17
20
ข้อพิพาทนี้ไม่ได้พิสูจน์ว่าข้อพิสูจน์เชิงรูปนัยผิด แต่ชี้ให้เห็นว่าความถูกต้องของผลลัพธ์กับเครดิตของผู้สร้างผลงานเป็นคนละคำถาม และทั้งคู่มีความหมายต่อการอ้างความก้าวหน้าครั้งใหญ่ในคณิตศาสตร์
ข้ออ้างของ OpenAI มีนัยสำคัญมาก: บริษัทระบุว่าสร้างข้อพิสูจน์การเกิดภาวะเอกฐานในเวลาจำกัดสำหรับกรอบ Navier–Stokes แบบมีแรงภายนอก ผ่านเวิร์กโฟลว์เอเจนต์ขนาดใหญ่ และแนบการทำให้เป็นทางการด้วย Lean 6
18
19
แต่ยังไม่ควรเรียกสิ่งนี้ว่าเป็นคำตอบ Millennium Prize ที่ Clay รับรองแล้ว รางวัล 1 ล้านดอลลาร์ของ Justin Sun มีรายงานว่ายังไม่มีการรับเงิน กระบวนการของ Clay เป็นคนละระบบและใช้เวลานานกว่า อีกทั้งข้อพิพาทเรื่องเครดิตยังไม่ยุติ 1
8
9
20
หมุดหมายต่อไปคือการทบทวนคณิตศาสตร์โดยอิสระ การตรวจว่าข้อความในระบบ Lean ตรงกับเงื่อนไขที่โจทย์ตั้งใจไว้หรือไม่ และคำอธิบายที่น่าเชื่อถือเรื่องลำดับความสำคัญกับผู้มีส่วนสร้างผลงาน จนกว่าจะถึงตอนนั้น คำอธิบายที่แม่นยำที่สุดคือ นี่คือข้ออ้างทางคณิตศาสตร์จาก AI ที่สำคัญอย่างยิ่งและมีองค์ประกอบซึ่งตรวจด้วยเครื่องได้ ไม่ใช่ผลสรุปที่ได้รับฉันทามติแล้ว
Studio Global AI
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล
ณ วันที่ 17 กันยายน 2026 OpenAI มีสถานะรับสิทธิ์รางวัล Navier–Stokes มูลค่า 1 ล้านดอลลาร์ของ Justin Sun ได้ แต่รายงานระบุว่ายังไม่ได้รับเงินรางวัล ประเด็นสำคัญคือ ความถูกต้องของข้อพิสูจน์ที่ตรวจด้วยเครื่อง ไม่ได้เท่ากับการยืนยันว่าโจทย์และสมมติฐานที่เข้ารหัสตรงตามมาตรฐานของ Millennium Prize ทุกประการ
Tristan Buckmaster ตั้งข้อกังวลเรื่องที่มาของแนวคิด ขณะที่ OpenAI โต้แย้งข้อกล่าวหา ทำให้คำถามเรื่องเครดิตยังไม่มีข้อยุติ