คำตอบเผยแพร่แล้ว25 แหล่งที่มา
OpenAI อ้างว่า AI แก้ปัญหาคณิตศาสตร์เปิดได้กว่า 100 ข้อ แต่ชุมชนวิชาการยังต้องตรวจสอบ
เมื่อวันที่ 21 กันยายน 2026 OpenAI ระบุว่าโมเดลภายในซึ่งเริ่มฝึกเมื่อ 28 สิงหาคม ได้แก้ปัญหาคณิตศาสตร์เปิดที่ค้างมานานกว่า 100 ข้อ OpenAI เผยแพร่คำอธิบายการพิสูจน์เชิงวิเคราะห์และการทำให้เป็นทางการด้วย Lean สำหรับ Navier–Stokes แต่ยังไม่มีการตีพิมพ์ในวารสารที่เข้าเกณฑ์หรือการยอมรับจากชุมชนคณิตศาสตร์โดยทั่วไป กระแสข่...
เผยแพร่โดยแก้ไขด้วย GPT-5.6 Terraรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย
ประเด็นสำคัญ
- เมื่อวันที่ 21 กันยายน 2026 OpenAI ระบุว่าโมเดลภายในซึ่งเริ่มฝึกเมื่อ 28 สิงหาคม ได้แก้ปัญหาคณิตศาสตร์เปิดที่ค้างมานานกว่า 100 ข้อ
- OpenAI เผยแพร่คำอธิบายการพิสูจน์เชิงวิเคราะห์และการทำให้เป็นทางการด้วย Lean สำหรับ Navier–Stokes แต่ยังไม่มีการตีพิมพ์ในวารสารที่เข้าเกณฑ์หรือการยอมรับจากชุมชนคณิตศาสตร์โดยทั่วไป
- กระแสข่าวที่โยงเรื่องนี้กับ Hodge conjecture ยังไม่ได้รับการยืนยัน: OpenAI เพียงยอมรับว่ามีความคืบหน้ามากในปัญหา Millennium Prize อีกข้อหนึ่งซึ่งไม่ระบุชื่อ ไม่ได้เผยแพร่บทพิสูจน์ Hodge ที่ผ่านการตรวจสอบ [14]
AI พรอมต์
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. 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, cha
คำประกาศของ OpenAI เมื่อวันที่ 21 กันยายนเป็น ข้ออ้างด้านงานวิจัยที่สำคัญมาก ไม่ใช่ข้อสรุปทางคณิตศาสตร์ที่ได้รับการยอมรับแล้ว บริษัทระบุว่าโมเดลภายในที่ไม่เปิดเผยชื่อ ซึ่งเริ่มฝึกเมื่อ 28 สิงหาคม สามารถ “แก้” ปัญหาคณิตศาสตร์เปิดที่ค้างมานานกว่า 100 ข้อ ครอบคลุมแทบทุกสาขาของคณิตศาสตร์ พร้อมประกาศตั้งคณะที่ปรึกษาอิสระด้านคณิตศาสตร์และ AI ซึ่งมี Institute for Advanced Study (IAS) ที่พรินซ์ตันเป็นเจ้าภาพ 5
15
ประเด็นสำคัญคือ ต้องแยกระหว่าง บริษัทอ้างว่าแก้โจทย์ได้ กับ บทพิสูจน์ที่นักคณิตศาสตร์อิสระตรวจสอบและยอมรับแล้ว ข้อมูลสาธารณะที่มีในขณะนี้สนับสนุนอย่างแรก แต่ยังไม่เพียงพอจะยืนยันอย่างหลังสำหรับรายการปัญหากว่า 100 ข้อทั้งหมด
OpenAI อ้างว่าทำอะไรได้บ้าง
ก่อนประกาศครั้งนี้ OpenAI กล่าวเมื่อ 8 กันยายนว่า AI agent ราว 10,000 ตัว ซึ่งใช้โมเดลภายในที่ยังไม่เผยแพร่ พบภาวะเอกฐานในเวลาจำกัด (finite-time singularity) ของสมการ Navier–Stokes สามมิติแบบมีแรงบังคับ ภายใน 88 ชั่วโมง บริษัทอธิบายว่านี่คือคำตอบของปัญหา existence-and-smoothness ของ Navier–Stokes และระบุว่ามีทั้งบทพิสูจน์เชิงวิเคราะห์และการทำให้พิสูจน์ได้ใน Lean ซึ่งเป็นภาษาสำหรับผู้ช่วยพิสูจน์เชิงคณิตศาสตร์ 1
13
จากนั้นในวันที่ 21 กันยายน บริษัทขยายคำกล่าวอ้างว่า นอกเหนือจาก Navier–Stokes โมเดลภายในดังกล่าวยังแก้ปัญหาเปิดที่ค้างมานานได้มากกว่า 100 ข้อ 5
15
ถ้อยคำว่า “แก้” หรือ “ทำให้ยุติได้” เป็นการนิยามของ OpenAI เอง ไม่ได้หมายความว่าโจทย์แต่ละข้อได้รับการตีพิมพ์ ตรวจโดยผู้เชี่ยวชาญอิสระ หรือได้รับการยอมรับจากวงการคณิตศาสตร์แล้ว
เปิดเผยหลักฐานอะไร และยังไม่เปิดเผยอะไร
สำหรับ Navier–Stokes นั้น OpenAI เปิดเผยว่ามีบทพิสูจน์เชิงวิเคราะห์และการ formalize ใน Lean การที่ Lean ตรวจสอบได้มีความหมายอย่างยิ่ง เพราะแสดงว่าทฤษฎีบทที่เข้ารหัสไว้ตามนิยาม สัจพจน์ และคลังทฤษฎีบทเดิมที่กำหนดไว้ สามารถอนุมานได้อย่างไม่มีช่องโหว่เชิงตรรกะ 13
แต่สำหรับคำกล่าวอ้าง “100+ ข้อ” หลักฐานสาธารณะที่อธิบายไว้มีน้อยกว่ามาก ประกาศวันที่ 21 กันยายนไม่ได้ให้บัญชีรายชื่อปัญหาอย่างละเอียด พร้อมโจทย์ในรูปถ้อยคำคณิตศาสตร์ที่แน่ชัด บทพิสูจน์ สถานะการ formalize ที่มา หรือสถานะการตรวจทานโดยอิสระ ดังนั้นบุคคลภายนอกยังตรวจสอบตัวเลขพาดหัวนี้แยกเป็นรายโจทย์ไม่ได้ 7
11
รายงานที่มีอยู่ยังไม่ได้ยืนยันว่าบทพิสูจน์ Navier–Stokes ผ่านการทบทวนโดยมนุษย์อย่างอิสระครบถ้วน หรือได้รับการยอมรับทั่วไปในแวดวงคณิตศาสตร์แล้ว ซึ่งเป็นมาตรฐานคนละระดับกับการมีไฟล์บทพิสูจน์เผยแพร่หรือการคอมไพล์โค้ดผ่าน 1
46
Hodge conjecture ถูกแก้แล้วหรือไม่
ยังไม่มีหลักฐานสาธารณะในข้อมูลที่ให้มาซึ่งเพียงพอให้ถือว่า Hodge conjecture ได้รับการแก้แล้ว
Hodge conjecture เป็นหนึ่งใน Millennium Prize Problems ของ Clay Mathematics Institute 37 มีรายงานว่า OpenAI ยอมรับว่าคืบหน้าอย่างมากในปัญหา Millennium อีกข้อหนึ่งที่ไม่เปิดเผยชื่อ แต่บริษัทยังไม่ได้ระบุต่อสาธารณะว่าปัญหานั้นคือ Hodge conjecture และไม่ได้เผยแพร่บทพิสูจน์ของมัน
14
ข่าวลือ รายงานข่าว หรือคำกล่าวอ้างเรื่อง “ความคืบหน้า” ไม่อาจแทนบทพิสูจน์ที่เผยแพร่ให้นักวิจัยตรวจสอบได้ จนกว่าจะมีโจทย์ที่ระบุชัดและงานสนับสนุนเปิดเผยต่อสาธารณะ พร้อมการประเมินโดยอิสระ ข้อสรุปที่รอบคอบคือ การที่ OpenAI แก้ Hodge conjecture ยังไม่ได้รับการยืนยัน
เหตุใดบทพิสูจน์ Lean อาจถูกต้อง แต่ยังประเมินยาก
การตรวจสอบเชิงรูปนัย (formal verification) กับความเข้าใจคณิตศาสตร์ของมนุษย์ตอบโจทย์ที่เกี่ยวข้องกัน แต่ไม่ใช่โจทย์เดียวกัน
การ formalize ด้วย Lean ช่วยยืนยันได้อย่างเข้มแข็งว่าทฤษฎีบทที่เข้ารหัสไม่มีรอยรั่วเชิงตรรกะ ภายใต้กรอบทางการที่ระบุไว้ อย่างไรก็ตาม สคริปต์พิสูจน์แบบนี้มักต้องเขียนเหตุผลที่นักคณิตศาสตร์เห็นว่าเป็นขั้นตอนปกติให้ละเอียดครบทุกส่วน ทั้งนิยาม บทตั้งย่อย การพึ่งพาคลังทฤษฎีบท การแปลงรูป และขั้นตอนเทคนิคจำนวนมาก จึงอาจอ่านยากแม้สำหรับผู้เชี่ยวชาญที่ต้องการเห็นแนวคิดหลัก
ไม่ได้หมายความว่า “คอมไพล์ผ่าน” ไม่มีค่า แต่การคอมไพล์เพียงอย่างเดียวไม่ได้ตอบคำถามสำคัญทั้งหมด เช่น
- ประพจน์ที่ formalize ตรงกับโจทย์ Millennium Prize ที่ตั้งใจแก้จริงหรือไม่
- กลไกหรือแนวคิดหลักที่สร้างภาวะเอกฐานคืออะไร
- ค่าประมาณหรือข้อโต้แย้งใดเป็นหัวใจของผลงาน
- ผลลัพธ์มีความใหม่ ความแข็งแรง และนำไปต่อยอดได้เพียงใด
- ควรให้เครดิตแก่แนวคิดก่อนหน้าที่เกี่ยวข้องอย่างไร
การตรวจสอบเชิงรูปนัยอาจเป็นองค์ประกอบสำคัญของการยืนยันผล แต่ไม่ได้สร้างคำอธิบายที่กระชับและมนุษย์อ่านเข้าใจได้โดยอัตโนมัติ ไม่ได้ชี้ขาดเรื่องที่มาของแนวคิด และไม่ได้ทำให้เกิดฉันทามติในชุมชนวิชาการเอง
แรงต้านจากนักคณิตศาสตร์: เครดิต ลำดับความสำคัญ และบรรทัดฐานงานวิจัย
ประกาศดังกล่าวถูกวิจารณ์ในประเด็นที่กว้างกว่าคุณภาพทางเทคนิคของบทพิสูจน์ ผู้ได้รับเหรียญ Fields 25 คนลงนามในจดหมายเปิดผนึกชื่อ A Severe Misalignment of AI in Mathematics โดยคัดค้านการแข่งขันของห้องปฏิบัติการ AI ที่ใช้ปัญหาคณิตศาสตร์ชื่อดังเป็นการสาธิตความสามารถของโมเดล รายงานเกี่ยวกับจดหมายระบุว่าผู้ลงนามกังวลว่าแรงจูงใจเช่นนี้อาจกระทบวัฒนธรรมการวิจัยและการฝึกนักคณิตศาสตร์รุ่นใหม่ 19
21
อีกข้อพิพาทเกี่ยวกับลำดับความสำคัญของผลงานเกี่ยวข้องกับนักคณิตศาสตร์ Tristan Buckmaster และ Levent Alpöge ในแถลงการณ์ช่วงเวลาเดียวกัน Buckmaster ระบุว่าเขาได้รับแจ้งว่าระบบภายในของ OpenAI มีบทพิสูจน์การเกิด blow-up ในเวลาจำกัดสำหรับสมการ Navier–Stokes แบบมีแรงบังคับ เขายังกล่าวว่าเขาและ Alpöge รู้สึกกดดันให้เผยแพร่งานที่เกี่ยวข้องก่อนตรวจสอบและอธิบายงานให้สมบูรณ์ โดยแถลงการณ์ระบุว่างานอีกชิ้นเกี่ยวกับ Navier–Stokes แบบ hypo-dissipative ยังไม่เผยแพร่ เพราะการตรวจสอบด้วย Lean ยังไม่เสร็จ 17
คำบอกเล่าของ Buckmaster เป็นหลักฐานสำคัญว่ามีข้อพิพาทเรื่องจังหวะการเผยแพร่ เครดิต และแรงกดดันในการตีพิมพ์ แต่เพียงลำพังยังไม่ใช่หลักฐานว่า OpenAI คัดลอกผลงานของใคร OpenAI ระบุว่าตนเริ่มงานหลังได้ยินข่าวลือว่าทั้งสองนักคณิตศาสตร์มีความก้าวหน้าครั้งสำคัญ และได้เสนอให้เผยแพร่ผลงานพร้อมกันโดยยอมรับลำดับความสำคัญของทั้งคู่ 32
ข้อถกเถียงที่ยังค้างอยู่จึงไม่ใช่แค่ว่า AI สร้างบทพิสูจน์ได้หรือไม่ แต่รวมถึงการเผยแพร่การค้นพบที่มี AI ช่วยให้ตรวจสอบเครดิต ทบทวนโดยอิสระ และแลกเปลี่ยนตามบรรทัดฐานวิชาการได้อย่างเหมาะสมหรือไม่
คณะที่ปรึกษาซึ่ง IAS เป็นเจ้าภาพ ทำอะไรได้และทำอะไรไม่ได้
OpenAI ประกาศตั้ง Advisory Group on Mathematics and Artificial Intelligence ซึ่งเป็นคณะที่ปรึกษาอิสระ 9 คน ไม่ได้รับค่าตอบแทน และมี IAS ในเมืองพรินซ์ตันเป็นเจ้าภาพ รายงานระบุว่ามีสมาชิก เช่น Timothy Gowers และ Martin Hairer 4
5
เป้าหมายที่ระบุไว้คือเปิดทางให้นักคณิตศาสตร์มีบทบาทในการประเมินและสื่อสารผลงานคณิตศาสตร์ที่ AI สร้างขึ้น รวมถึงให้คำแนะนำเรื่องการทบทวนและแนวทางเผยแพร่ผล 5
15
อย่างไรก็ดี คณะนี้มีสถานะเป็นที่ปรึกษา ไม่ใช่หน่วยงานกำกับดูแล รายงานที่มีอยู่ชี้ว่า คณะไม่สามารถบังคับให้ OpenAI เผยแพร่บทพิสูจน์ กำหนดตารางวิจัยของบริษัท ยับยั้งการประกาศ หรือวินิจฉัยเรื่องผู้มีสิทธิ์ได้รับเครดิตอย่างเด็ดขาดได้ 7
นี่คือข้อจำกัดสำคัญ: คำแนะนำจากผู้เชี่ยวชาญอาจช่วยเพิ่มความโปร่งใสและปรับปรุงการสื่อสารได้ แต่ไม่สามารถเปลี่ยนคำกล่าวอ้างภายในบริษัทให้กลายเป็นทฤษฎีบทที่ชุมชนคณิตศาสตร์ยอมรับได้ด้วยตัวเอง
เหตุใดยังไม่มีสิทธิ์รับ Millennium Prize
กติกาของ Clay Mathematics Institute ระบุชัดว่า ก่อนสถาบันจะพิจารณาคำตอบของ Millennium Prize Problems ผลงานต้องได้รับการตีพิมพ์ในช่องทางที่เข้าเกณฑ์ ต้องผ่านไปอย่างน้อย 2 ปีหลังตีพิมพ์ และต้องได้รับการยอมรับทั่วไปจากชุมชนคณิตศาสตร์ทั่วโลก 46
บล็อกโพสต์ของบริษัท preprint คลังโค้ด หรือการประเมินจากคณะที่ปรึกษา ไม่ได้ทำให้ผ่านเงื่อนไขเหล่านี้โดยอัตโนมัติ Clay ยังระบุภายหลังประกาศ Navier–Stokes ว่ากติกาของรางวัลครอบคลุมทั้งกระบวนการประเมินความสำเร็จและการจัดสรรเครดิต 42
ดังนั้น แม้ท้ายที่สุดผลงาน Navier–Stokes หรือผลงานอื่นของ OpenAI จะพิสูจน์ได้ว่าถูกต้อง ประกาศในเดือนกันยายนก็ไม่ได้ทำให้ผลงานนั้นมีสิทธิ์รับรางวัลทันที งานยังต้องเข้าสู่กระบวนการตีพิมพ์และการยอมรับตามมาตรฐานวิชาการที่มีอยู่
สรุป
OpenAI อ้างว่าโมเดล AI ภายในแก้ปัญหาคณิตศาสตร์เปิดได้มากกว่า 100 ข้อ หลังจากก่อนหน้านั้นอ้างว่ามีคำตอบ Navier–Stokes ที่ formalize ด้วย Lean งาน Navier–Stokes มีหลักฐานสาธารณะให้ตรวจสอบอยู่บ้าง แต่ผลงานชุดใหญ่กว่า 100 ข้อยังไม่มีบันทึกหลักฐานเปิดเผยแยกเป็นรายปัญหา 13
11
ในตอนนี้ ท่าทีที่เหมาะสมจึงไม่ใช่การปัดทิ้งหรือยอมรับทันที แต่คือการมองว่านี่เป็นข้ออ้างที่อาจส่งผลอย่างมาก และต้องการบทพิสูจน์ที่โปร่งใส การตรวจสอบจากผู้เชี่ยวชาญ การให้เครดิตอย่างรอบคอบ และเวลา โดยเฉพาะอย่างยิ่งหากมีนัยว่า Millennium Problem อื่น เช่น Hodge conjecture อาจได้รับการแก้แล้ว
Studio Global AI
ทำการวิจัยต่อ
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
คนยังถาม
คำตอบสั้น ๆ สำหรับ "OpenAI อ้างว่า AI แก้ปัญหาคณิตศาสตร์เปิดได้กว่า 100 ข้อ แต่ชุมชนวิชาการยังต้องตรวจสอบ" คืออะไร
เมื่อวันที่ 21 กันยายน 2026 OpenAI ระบุว่าโมเดลภายในซึ่งเริ่มฝึกเมื่อ 28 สิงหาคม ได้แก้ปัญหาคณิตศาสตร์เปิดที่ค้างมานานกว่า 100 ข้อ
ประเด็นสำคัญที่ต้องตรวจสอบก่อนคืออะไร?
เมื่อวันที่ 21 กันยายน 2026 OpenAI ระบุว่าโมเดลภายในซึ่งเริ่มฝึกเมื่อ 28 สิงหาคม ได้แก้ปัญหาคณิตศาสตร์เปิดที่ค้างมานานกว่า 100 ข้อ OpenAI เผยแพร่คำอธิบายการพิสูจน์เชิงวิเคราะห์และการทำให้เป็นทางการด้วย Lean สำหรับ Navier–Stokes แต่ยังไม่มีการตีพิมพ์ในวารสารที่เข้าเกณฑ์หรือการยอมรับจากชุมชนคณิตศาสตร์โดยทั่วไป
ฉันควรทำอย่างไรต่อไปในทางปฏิบัติ?
กระแสข่าวที่โยงเรื่องนี้กับ Hodge conjecture ยังไม่ได้รับการยืนยัน: OpenAI เพียงยอมรับว่ามีความคืบหน้ามากในปัญหา Millennium Prize อีกข้อหนึ่งซึ่งไม่ระบุชื่อ ไม่ได้เผยแพร่บทพิสูจน์ Hodge ที่ผ่านการตรวจสอบ [14]