AI เพิ่งแก้ปัญหา Navier-Stokes มูลค่า 1 ล้านดอลลาร์สหรัฐได้แล้วหรือ? หลักฐานของ OpenAI หมายความว่าอย่างไร
เมื่อวันที่ 8 กันยายน 2026 ห้องปฏิบัติการปัญญาประดิษฐ์ OpenAI ได้ส่งคลื่นสะเทือนไปทั่วโลกวิทยาศาสตร์ โดยประกาศว่าระบบปัญญาประดิษฐ์แบบหลายตัวแทนภายในได้สร้างหลักฐานที่ตรวจสอบด้วย Lean จำนวน 166 หน้า ซึ่งแก้ปัญหาการมีอยู่และความเรียบลื่นของ Navier-Stokes สามมิติ—ปัญหาที่มีอายุกว่าหนึ่งศตวรรษและได้รับการกำหนดให้เป็นหนึ่งในเจ็ดปัญหา Millennium Prize มูลค่า 1 ล้านดอลลาร์สหรัฐที่สถาบันคณิตศาสตร์เคลย์กำหนดขึ้น
การประกาศดังกล่าวสร้างความขัดแย้งทันที ทำให้เกิดการอภิปรายอย่างเข้มข้นเกี่ยวกับความเป็นส่วนตัวของข้อมูล ความสำคัญทางวิชาการ และบทบาทที่แท้จริงของปัญญาประดิษฐ์ในการวิจัยพื้นฐาน
-
ความสำเร็จหลัก: OpenAI สร้างหลักฐานทางคณิตศาสตร์อย่างเป็นทางการขนาด 166 หน้าโดยใช้ฝูงตัวแทนหลายตัวจำนวน 10,000 ตัวภายในเวลา 88 ชั่วโมง แสดงให้เห็นถึงการระเบิดในเวลาจำกัด (จุดเอกฐาน) ในสมการของของไหลไม่สามารถบีบอัดได้ในมิติที่สามภายใต้แรงขับภายนอกที่เรียบง่าย
-
การยืนยัน: การพิสูจน์ได้รับการตรวจสอบทางคณิตศาสตร์โดยใช้ตัวตรวจสอบทฤษฎี Lean เป็นเวลา 17 ชั่วโมง ทำให้ข้อผิดพลาดทางตรรกะหรือการหลอกลวงของ AI หายไป
-
สถานะรางวัล: รางวัล Millennium มูลค่า 1 ล้านดอลลาร์สหรัฐยังไม่ได้รับการประกาศอย่างเป็นทางการ; สถาบันคณิตศาสตร์เคลย์ (CMI) กำหนดให้มีการตีพิมพ์ผ่านการทบทวนโดยผู้เชี่ยวชาญและช่วงเวลาตรวจสอบสองปี OpenAI ปฏิเสธที่จะรับเงินรางวัล
-
ข้อถกเถียงด้านศีลธรรม: นักคณิตศาสตร์ Tristan Buckmaster และ Levent Alpöge กล่าวหาว่า OpenAI ใช้บันทึกการแชทส่วนตัวและร่างที่อัปโหลดเพื่อชี้นำตัวแทนของตน ซึ่งก่อให้เกิดการถกเถียงทั่วโลกเกี่ยวกับความเป็นส่วนตัวของข้อมูลและลำดับความสำคัญทางวิชาการ
-
ความเข้าใจสำหรับมนุษย์: แม้ตรรกะเชิงรูปแบบจะได้รับการตรวจสอบแล้ว แต่หลักฐานที่สร้างโดย AI ทำหน้าที่เป็น “กล่องดำ” ที่ขาดแนวคิดทางคณิตศาสตร์เชิงอินทิวิทีฟเพื่อช่วยให้มนุษย์เข้าใจว่าทำไมการระเบิดจึงเกิดขึ้น
กลุ่มตัวแทนปัญญาประดิษฐ์หลายตัวได้พิสูจน์การระเบิดในเวลาจำกัดสำหรับสมการของของไหลไม่สามารถบีบอัดได้ในมิติที่สามภายใต้แรงภายนอกที่เรียบง่าย ซึ่งแสดงให้เห็นว่าความเร็วของของไหลสามารถเพิ่มขึ้นอย่างไม่จำกัดภายในช่วงเวลาที่จำกัด ในขณะที่พลังงานทางกายภาพโดยรวมยังคงมีค่าจำกัด
สมการนาวีเยอร์-สต็อกส์ ซึ่งถูกกำหนดขึ้นในศตวรรษที่ 19 โดยคลอด-หลุยส์ นาวีเยอร์ และจอร์จ แกเบรียล สต็อกส์ ควบคุมการเคลื่อนที่ของของเหลวและก๊าซ ตลอดหลายทศวรรษที่ผ่านมา นักคณิตศาสตร์ได้ตั้งคำถามว่า เงื่อนไขเริ่มต้นที่เรียบง่ายและสมเหตุสมผลทางกายภาพสามารถนำไปสู่ “จุดเอกลักษณ์” หรือ “การระเบิด” — จุดที่ความเร็วของของไหลมีค่าเป็นอนันต์ได้หรือไม่
OpenAI ได้เปิดใช้งานตัวแทน AI อัตโนมัติประมาณ 10,000 ตัวที่ทำงานพร้อมกันเป็นเวลา 88 ชั่วโมง ตัวแทนเหล่านี้แลกเปลี่ยนข้อความมากกว่า 2.7 ล้านข้อความและสร้างโทเค็นเอาต์พุต 130 พันล้านโทเค็น เพื่อสร้างแบบจำลองทางคณิตศาสตร์ของกระแสหรือพายุของของเหลวที่หมุนวนและยืดออก เพื่อป้องกันการหลอกลวงของ AI ที่อาจเกิดขึ้น ตรรกะที่สร้างขึ้นได้ถูกแปลงเป็น Lean ซึ่งเป็นโปรแกรมพิสูจน์ทฤษฎีแบบโต้ตอบอัตโนมัติ ซึ่งตรวจสอบข้อโต้แย้งทีละขั้นตอนเป็นเวลาประมาณ 17 ชั่วโมง
ตามข้อกำหนดทางเทคนิคที่เผยแพร่โดยทีมวิจัยที่ประเมินผล หลักฐานนี้ตอบสนองเงื่อนไขเฉพาะที่ระบุไว้ในคำชี้แจงปัญหาอย่างเป็นทางการของชาร์ลส์ เฟฟเฟอร์แมน สำหรับสถาบันคณิตศาสตร์เคลย์ (โดยเฉพาะทางเลือก C และ D)
| มาตรวัด / พารามิเตอร์ | ข้อกำหนดการพิสูจน์แบบหลายตัวแทนของ OpenAI |
| เวลาในการดำเนินการ | 88 ชั่วโมงข้ามคลัสเตอร์ตัวแทนหลายตัว |
| ขนาดตัวแทน | เอเจนต์ปัญญาประดิษฐ์อัตโนมัติพร้อมกันประมาณ 10,000 ตัว |
| ปริมาณข้อความ | ข้อความภายใน 2.7 ล้านข้อความ; โทเค็น 130 พันล้าน |
| การตรวจสอบอย่างเป็นทางการ | 17 ชั่วโมงผ่าน Lean Interactive Theorem Prover |
| ผลลัพธ์หลัก | แสดงลักษณะจุดเอกฐานในช่วงเวลาจำกัดภายใต้แรงภายนอกที่เรียบ |
รางวัล Millennium มูลค่า 1 ล้านดอลลาร์สหรัฐยังไม่ได้รับการมอบอย่างเป็นทางการ เนื่องจากสถาบันคณิตศาสตร์คลย์กำหนดให้มีกระบวนการทบทวนโดยสถาบันอย่างเข้มงวดเป็นเวลาหลายปี ก่อนการยอมรับคำแก้ปัญหาใดๆ
สถาบันคณิตศาสตร์คลей (CMI) ต้องการให้คำอธิบายใดๆ ที่เสนอให้ตีพิมพ์ในวารสารคณิตศาสตร์ที่ผ่านการทบทวนโดยผู้เชี่ยวชาญและมีชื่อเสียงในระดับสากล ตามด้วยช่วงเวลารอคอยสาธารณะอย่างน้อยสองปี ภายในช่วงเวลานี้ ชุมชนวิทยาศาสตร์โดยรวมต้องพิจารณาและรับรองหลักฐานอย่างละเอียด จนถึงปัจจุบัน CMI ยังคงระบุปัญหาการมีอยู่และความเรียบเนียนของนาวิเยร์-สโตกส์ว่ายังไม่ได้รับการแก้ไข
นอกจากนี้ OpenAI ได้ประกาศอย่างเปิดเผยว่าไม่มีเจตนาจะเรียกร้องเงินรางวัล 1 ล้านดอลลาร์สหรัฐ โดยระบุว่าเป้าหมายหลักของพวกเขาคือการแสดงศักยภาพของการให้เหตุผลแบบเอเจนต์ขนาดใหญ่ มากกว่าการแสวงหาผลตอบแทนทางการเงิน ปัญหา Millennium Prize Problem เดียวที่ได้รับการยอมรับอย่างเป็นทางการว่าได้รับการแก้ไขแล้วคือ Poincaré Conjecture ซึ่งถูกแก้ไขโดยนักคณิตศาสตร์ชาวรัสเซีย Grigori Perelman ในปี 2003 (ซึ่งเช่นเดียวกันก็ปฏิเสธรางวัลนี้)
การค้นพบครั้งนี้ก่อให้เกิดการต่อต้านอย่างรุนแรง เนื่องจากมีข้อกล่าวหาว่าระบบของ OpenAI ใช้การวิจัยจากมนุษย์ที่ไม่ได้รับการยอมรับ ซึ่งถูกอัปโหลดโดยนักคณิตศาสตร์ที่เลือกไม่เข้าร่วมการฝึกอบรมข้อมูล
ประมาณ 12 ชั่วโมงก่อนการประกาศของ OpenAI นักคณิตศาสตร์จาก NYU ชื่อ Tristan Buckmaster ได้เผยแพร่คำแถลงที่อธิบายงานของเขาพร้อมกับ Levent Alpöge นักคณิตศาสตร์ที่สังกัด Anthropic ทั้งคู่ใช้เวลาเกินหนึ่งปีในการพัฒนาเทคนิคใหม่เพื่อพิสูจน์การระเบิดในสมการของของไหล—โดยเฉพาะสมการ Euler ซึ่งเป็นกลุ่มแบบจำลองพลศาสตร์ของไหลที่เกี่ยวข้องอย่างใกล้ชิด
| มิติของข้อถกเถียง | อ้างอิงหลักและหลักฐาน | ท่าทีอย่างเป็นทางการของ OpenAI |
| แหล่งที่มาของข้อมูล | นักวิจัยมนุษย์อัปโหลดร่างส่วนตัวและคำสั่งไปยัง ChatGPT/Codex ในขณะที่สำรวจความไม่ต่อเนื่องแบบไหล | อ้างว่าไม่มีพนักงานหรือตัวแทนใดอ่านร่างของผู้ใช้โดยตรงหรือละเมิดการควบคุมการเข้าถึง |
| การเลือกไม่เข้าร่วมการฝึกอบรม | นักวิจัยเลือกที่จะไม่เข้าร่วมการฝึกอบรม แต่แนวคิดบางอย่างถูกกล่าวว่ารั่วไหลเข้าสู่การอัปเดตเบื้องหลัง | ยอมรับว่า "ไม่สามารถตัดโอกาสที่ข้อมูลที่ถูกลบข้อมูลระบุตัวตนที่ได้จากการใช้งานผลิตภัณฑ์ช่วยปรับปรุงโมเดลได้" |
| ลำดับความสำคัญทางวิทยาศาสตร์ | OpenAI เปิดตัวเอเจนต์ 10,000 ตัวเพื่อใช้วิธีการลองผิดลองถูกหาหลักฐานขนานหลังจากเรียนรู้ถึงความคืบหน้าของมนุษย์ | ถือเป็นความสำเร็จที่เป็นอิสระของเหตุผลแบบหลายตัวแทนอัตโนมัติ |
บัคแมสเตอร์และอัลพีเกได้ใช้เครื่องมือของ OpenAI รวมถึง Codex และ ChatGPT เพื่อทดสอบสมมติฐานระดับกลางเฉพาะบางข้อ และเขียนชุดคำสั่งโปรแกรม แม้ OpenAI จะปฏิเสธว่าพนักงานหรือตัวแทน AI ของบริษัทไม่ได้เข้าถึงไฟล์บัญชีส่วนตัวโดยตรง แต่ผู้แทนของบริษัทได้ยอมรับในคำแถลงตามมาว่า พวกเขาไม่สามารถปฏิเสธความเป็นไปได้ที่ข้อมูลที่ถูกลบข้อมูลระบุตัวตนซึ่งดึงมาจากปฏิ tươngของผู้ใช้ จะมีอิทธิพลต่อการอัปเดตโมเดลด้านหลัง
การรับรองนี้ได้ก่อให้เกิดเสียงประท้วงอย่างกว้างขวางในชุมชนวิชาการ บุคคลสำคัญหลายราย รวมถึงผู้ได้รับรางวัลฟีลด์ส เทเรนซ์ เทโอ ได้ชี้ให้เห็นว่าเหตุการณ์นี้สะท้อนถึงความตึงเครียดที่เพิ่มขึ้น: นักวิจัยแต่ละคนที่นำแนวคิดล้ำสมัยเข้าสู่แพลตฟอร์มปัญญาประดิษฐ์เชิงพาณิชย์อาจโดยไม่ตั้งใจทำให้บริษัทเทคโนโลยีที่มีทรัพยากรการคำนวณมหาศาลสามารถปรับรูปแบบและตีพิมพ์ผลลัพธ์ที่ขนานกันได้อย่างรวดเร็ว
หลักฐานทางรูปแบบที่ตรวจสอบโดยคอมพิวเตอร์รับประกันความถูกต้องทางตรรกะผ่านซอฟต์แวร์เช่น Lean แต่มักขาดกรอบแนวคิดเชิงอินทิวิตีฟที่นักคณิตศาสตร์มนุษย์ใช้เพื่อขับเคลื่อนสาขานี้
หลักฐานทางคณิตศาสตร์แบบดั้งเดิมที่มนุษย์เขียนขึ้นมีจุดประสงค์สองประการ: ยืนยันว่าข้อความนั้นถูกต้องทางคณิตศาสตร์และอธิบายว่าทำไมมันจึงถูกต้อง หลักฐานที่มนุษย์เขียนจะนำเสนอสะพานแนวคิดโดยรวม โครงร่างที่งดงาม และเทคนิคที่สามารถนำกลับมาใช้ใหม่ได้ ซึ่งเป็นแรงบันดาลใจให้เกิดการค้นพบใหม่ๆ ในสาขาที่เกี่ยวข้อง
ในทางตรงกันข้าม ระบบปัญญาประดิษฐ์ที่ดำเนินการรันหลายตัวแทนเป็นเวลา 88 ชั่วโมง พึ่งพาการสำรวจแบบแรงดิบผ่านล้านๆ สาขา เอกสารขนาด 166 หน้าที่ได้มา—ซึ่งได้รับการตรวจสอบขั้นตอนต่อขั้นตอนอย่างเป็นทางการโดยเครื่องยนต์หลักของ Lean—ทำหน้าที่เป็น “กล่องดำ” มันยืนยันว่าเงื่อนไขทางคณิตศาสตร์เป็นจริง แต่สร้างความยากลำบากอย่างมากสำหรับนักคณิตศาสตร์มนุษย์ที่พยายามดึงหลักการทั่วไปหรือข้อคิดเชิงการศึกษาออกมา
-
การตรวจสอบอย่างเป็นทางการ: รับประกันว่าไม่มีช่องว่างทางตรรกะ ข้อผิดพลาดในการพิมพ์ หรือข้อผิดพลาดเชิงโครงสร้างที่ซ่อนอยู่ในขั้นตอนที่อิงจากโค้ด
-
ความเข้าใจสำหรับมนุษย์: ขาดเรื่องเล่าเชิงการสอนที่ชัดเจน ทำให้การวิเคราะห์เชิงโครงสร้างโดยรวมของมนุษย์ช้าอย่างมาก
-
ความสามารถในการทั่วไป: อาจแก้ไขเงื่อนไขขอบที่แยกจากกันอย่างเฉพาะเจาะจงโดยไม่ให้เทคนิคที่ใช้ได้โดยตรงกับระบบ Navier-Stokes ที่ไม่มีแรงขับ
หลักฐานเชิงทฤษฎีที่แสดงให้เห็นถึงการระเบิดทางคณิตศาสตร์ไม่ได้เปลี่ยนแปลงแบบจำลองวิศวกรรมเชิงปฏิบัติทันที เนื่องจากค่าประมาณเชิงตัวเลขได้จัดการกับความปั่นป่วนของของไหลอยู่แล้วในฟิสิกส์ประยุกต์
สมการนาวิเยร์-สโตกส์ได้รับการใช้งานอย่างกว้างขวางในอุตสาหกรรมทั่วโลกเพื่อจำลองรูปแบบสภาพอากาศ ปรับปรุงรูปทรงเรือในทะเล ออกแบบเครื่องบินความเร็วเหนือเสียง และจำลองการไหลเวียนของเลือดในระบบหัวใจและหลอดเลือด ในแอปพลิเคชันจริง วิศวกรใช้การจำลองด้วยคอมพิวเตอร์แบบแยกส่วนที่ทำงานภายในขอบเขตทางกายภาพที่ปลอดภัย
การพิสูจน์ว่าสมการคณิตศาสตร์ให้ค่าความเร็วที่เพิ่มขึ้นอย่างไม่สิ้นสุดภายใต้แรงภายนอกที่เรียบง่ายบางประการ ชี้ให้เห็นจุดที่แบบจำลองกลศาสตร์ของของไหลแบบต่อเนื่องล้มเหลวที่สเกลอะตอมสุดขั้ว มันให้ขอบเขตที่ชัดเจนแก่นักฟิสิกส์ทฤษฎีเกี่ยวกับช่วงเวลาที่สมมติฐานแบบต่อเนื่องของของไหลคลาสสิกหยุดใช้งานได้ ซึ่งเปิดทางสู่การพัฒนาแบบจำลองแบบผสมผสานที่ดีขึ้นโดยรวมกลศาสตร์แบบต่อเนื่องเข้ากับพลศาสตร์โมเลกุล
การซื้อขายโทเค็นคริปโตที่เชื่อมโยงกับวัฏจักรของเรื่องราวปัญญาประดิษฐ์บน KuCoin ให้การเข้าถึงตลาดที่มีสภาพคล่องต่อแรงผลักดันทางเทคโนโลยีที่มีความเสี่ยงสูง แต่ต้องมีการจัดการความเสี่ยงอย่างเข้มงวดเนื่องจากความผันผวนของตลาด
ทุกครั้งที่บรรลุเป้าหมายสำคัญด้านปัญญาประดิษฐ์ได้รับการรายงานข่าวระดับโลก สินทรัพย์คริปโตที่เกี่ยวข้องกับปัญญาประดิษฐ์และเครือข่ายการคำนวณแบบกระจายศูนย์จะมีปริมาณการเทรดเพิ่มสูงขึ้น บนแพลตฟอร์มเช่น KuCoin นักเทรดมักประเมินโทเค็นปัญญาประดิษฐ์ เครือข่าย GPU แบบกระจายศูนย์ และโปรโตคอลด้านอธิปไตยของข้อมูลที่เชื่อมโยงกับโครงสร้างพื้นฐานการเรียนรู้ของเครื่อง
-
สภาพคล่องและการเข้าถึงตลาด: KuCoin ให้การเข้าถึงโทเค็นที่เกี่ยวข้องกับแนวคิด AI อย่างหลากหลาย ช่วยให้ผู้ใช้สามารถสร้างผลกำไรจากแนวโน้มตลาดที่กำลังเกิดขึ้น
-
โปรโตคอลความเป็นส่วนตัวของข้อมูล: การอภิปรายที่กำลังดำเนินอยู่เกี่ยวกับความเป็นส่วนตัวของคำสั่งผู้ใช้ แสดงให้เห็นถึงความสนใจที่เพิ่มขึ้นในโครงการปัญญาประดิษฐ์แบบกระจายศูนย์ที่เน้นการคำนวณที่รักษาความเป็นส่วนตัวและการตรวจสอบข้อมูลแบบศูนย์ความรู้
-
การจัดการความผันผวน: การซื้อขายเชิงสเปกคิวเลทที่เกี่ยวข้องกับวัฏจักรข่าวเทคโนโลยีขนาดใหญ่เกี่ยวข้องกับการเปลี่ยนแปลงราคาอย่างรวดเร็ว; การใช้ Trading Bot แบบอัลกอริทึม รวมถึงสินทรัพย์สปอตและฟิวเจอร์สของ KuCoin สามารถช่วยจัดการความเสี่ยงในการดำเนินการ
เพื่อเริ่มสำรวจสินทรัพย์ดิจิทัลที่มีธีมปัญญาประดิษฐ์และจัดการการสัมผัสพอร์ตการลงทุน ผู้ใช้สามารถลงทะเบียนบัญชีได้โดยตรงบนแพลตฟอร์มการซื้อขาย KuCoin อย่างเป็นทางการ
ข่าวตลาดเคลื่อนตัวเร็ว — แต่สถานที่ที่คุณดำเนินการก็สำคัญไม่แพ้กัน ในเดือนตุลาคมนี้ KuCoin จะเปิดตัว KuCoin 5.0 ซึ่งเปลี่ยนแปลง KuCoin ให้เป็นแพลตฟอร์มที่สร้างใหม่ทั้งหมด นี่คือสิ่งที่เปลี่ยนแปลงสำหรับคุณ:
-
บัญชีเดียวสำหรับทุกอย่าง แพลตฟอร์มรุ่นเก่าแบ่งเงินของคุณออกเป็นบัญชี “สปอต” “หลักประกัน” และ “ฟิวเจอร์ส” แยกจากกัน และคาดหวังให้คุณเข้าใจเหตุผล บัญชีแบบครบวงจร Unified Account ของ KuCoin 5.0 ลบการแบ่งแยกนี้ออกไปอย่างสมบูรณ์ — ฝากเพียงครั้งเดียว และทุกอย่างจะอยู่ที่นั่นทันที
-
หุ้น ดัชนี และสินค้าโภคภัณฑ์ KuCoin 5.0 ขยายขอบเขตออกไปนอกเหนือจากสกุลเงินดิจิทัลสู่ตลาดโลก เมื่อสกุลเงินดิจิทัลเคลื่อนไหวแบบทรงตัว ในขณะที่ตลาดหุ้นฟื้นตัว (หรือในทางกลับกัน) คุณสามารถสลับการลงทุนภายในไม่กี่นาที โดยไม่ต้องเปิดบัญชีนายหน้าซื้อขายหลักทรัพย์และรอเป็นวันๆ เพื่อให้ระบบเงิน Fiat ทำงาน
-
สินทรัพย์ในโลกจริง (RWA) การเข้าถึงสินทรัพย์ดั้งเดิม เช่น สินค้าโภคภัณฑ์ ผ่านการแปลงเป็นโทเค็น ภายในบัญชีคริปโตของคุณเอง หนึ่งใน segement ที่เติบโตเร็วที่สุดในระบบการเงินทั่วโลก ไม่ได้ถูกจำกัดไว้สำหรับองค์กรอีกต่อไป — คุณสามารถเข้าถึงมันได้จากยอดเงินเดียวกันที่คุณใช้เทรด
-
หารายได้ขณะเรียนรู้ ยังไม่พร้อมเทรด? KCUSD ช่วยให้ Stablecoin ของคุณสร้างรายได้ทุกวันด้วยดอกเบี้ยทบต้นอัตโนมัติ วิธีที่ผ่อนคลายที่สุดในการทำให้เงินฝากที่ไม่ได้ใช้งานทำงานให้คุณด้วยผลตอบแทน 4%
-
ผู้ช่วย AI ที่ใช้ภาษาธรรมดา ถามคำถาม รับบริบทตลาด เข้าใจสิ่งที่คุณกำลังดู — ติดตั้งไว้ในแพลตฟอร์ม ไม่ต้องใช้ศัพท์เทคนิค
-
แอปที่ไม่ทำให้รู้สึกหนักใจ รวดเร็ว สะอาด และสอดคล้องกัน — ใช้งานง่ายตั้งแต่แตะครั้งแรก ไม่ต้องรอเรียนรู้ผ่านคำแนะนำ
-
ความปลอดภัยที่คุณสามารถตรวจสอบได้ ไม่ใช่แค่เชื่อใจเท่านั้น บริษัทในสหภาพยุโรปที่ได้รับใบอนุญาตตาม MiCAR, Proof of Reserves ที่คุณสามารถตรวจสอบด้วยตัวเอง และมีการรับรองความปลอดภัยระดับสากล (SOC 2 Type II, ISO 27001:2022)
สร้างบัญชีของคุณในไม่กี่นาที — และเริ่มต้นบนแพลตฟอร์มที่ถูกออกแบบมาสำหรับอนาคตของคริปโต ไม่ใช่อดีต
ระบบหลายตัวแทนของ OpenAI แสดงให้เห็นว่าสมการของของไหลสามมิติสามารถแสดงพฤติกรรมแบบเอกลักษณ์ในช่วงเวลาจำกัดภายใต้แรงขับภายนอกที่เรียบง่าย ซึ่งได้รับการยืนยันอย่างอิสระผ่านซอฟต์แวร์ Lean แม้ว่านี่จะเป็นความสำเร็จทางเทคนิคที่มีความสำคัญทางประวัติศาสตร์ในด้านการให้เหตุผลอัตโนมัติ แต่คำอธิบายยังไม่ได้รับการยืนยันจากสถาบันคณิตศาสตร์เคลย์ และยังเผชิญกับการถกเถียงอย่างมากเกี่ยวกับแหล่งที่มาทางปัญญาและการใช้ข้อมูล ในขณะที่ระบบปัญญาประดิษฐ์ยังคงเผชิญกับความท้าทายใหญ่ๆ ในวงการวิทยาศาสตร์และคณิตศาสตร์ ขอบเขตระหว่างการคำนวณด้วยเครื่องจักรกับความโปร่งใสในการวิจัยของมนุษย์ยังคงเป็นจุดศูนย์กลางสำคัญสำหรับอุตสาหกรรมเทคโนโลยีทั่วโลก
สมการนาวิเยร์-สโตกส์ใช้เพื่ออะไร
สมการนาวิเยร์-สโตกส์อธิบายการไหลของของไหลโดยการประยุกต์ใช้กฎข้อที่สองของนิวตันกับสารของไหล สมการเหล่านี้มีความสำคัญอย่างยิ่งในการจำลองระบบอากาศ การออกแบบปีกเครื่องบิน การวิเคราะห์กระแสน้ำในมหาสมุทร และการจำลองการไหลของเลือดผ่านหลอดเลือด
ทำไมถึงมีรางวัล 1 ล้านดอลลาร์สหรัฐสำหรับการแก้ปัญหา Navier-Stokes?
สถาบันคณิตศาสตร์เคลย์ได้กำหนดปัญหาการมีอยู่และความเรียบเนียนของนาวีเยอร์-สต็อกส์เป็นหนึ่งในเจ็ดปัญหารางวัลพันปีในปี 2000 เพื่อส่งเสริมการหาคำตอบสำหรับคำถามทางคณิตศาสตร์พื้นฐานที่เป็นรากฐานของฟิสิกส์สมัยใหม่และสมการเชิงอนุพันธ์
OpenAI ชนะรางวัล Millennium Prize มูลค่า 1 ล้านดอลลาร์สหรัฐหรือไม่?
ไม่ โอเพนเอไอไม่ได้รับรางวัลนี้ สถาบันคณิตศาสตร์เคลย์ต้องการกระบวนการตรวจสอบโดยเพื่อนร่วมงานและยืนยันต่อสาธารณะเป็นเวลาหลายปี ก่อนที่จะรับรองโซลูชันใดๆ อย่างเป็นทางการ และโอเพนเอไอได้ระบุอย่างชัดเจนว่าจะไม่เรียกร้องรางวัลเงินสด
การตรวจสอบแบบ Lean ในคณิตศาสตร์คืออะไร
Lean เป็นโปรแกรมพิสูจน์ทฤษฎีแบบโต้ตอบและภาษาโปรแกรมแบบเปิดแหล่งที่มา มันตรวจสอบพิสูจน์ทางคณิตศาสตร์โดยการยืนยันว่าขั้นตอนตรรกะทุกขั้นตอน tuân thủอย่างเคร่งครัดตามกฎเชิงสัจพจน์อย่างเป็นทางการ ซึ่งช่วยขจัดข้อผิดพลาดของมนุษย์ในการตรวจสอบพิสูจน์
AI สามารถใช้การสนทนาส่วนตัวกับ ChatGPT เพื่อแก้ปัญหาการวิจัยได้หรือไม่
บริษัทปัญญาประดิษฐ์ระบุนโยบายการใช้ข้อมูลในข้อกำหนดการให้บริการ ซึ่งอนุญาตให้ผู้ใช้เลือกไม่เข้าร่วมในการฝึกโมเดล อย่างไรก็ตาม บริษัทเทคโนโลยียอมรับว่าข้อมูลการใช้งานผลิตภัณฑ์ที่ถูกลบข้อมูลระบุตัวตนหรือรวมกลุ่มอาจส่งผลต่อการปรับปรุงโมเดลพื้นฐานโดยทั่วไปในระยะยาว
คำปฏิเสธความรับผิดชอบ: หน้านี้แปลโดยใช้เทคโนโลยี AI เพื่อความสะดวกของคุณ สำหรับข้อมูลที่ถูกต้องที่สุด โปรดดูต้นฉบับภาษาอังกฤษ