ข่าว 
ข้อมูลเหรียญ 
แนะนำสื่อ 
จัสติน ซันจัดตั้งรางวัลคณิตศาสตร์แบบกระจายศูนย์ มูลค่าสูงสุด 1 ล้านดอลลาร์ (ประมาณ 1.4 พันล้านวอน) และเลือกทีมวิจัย OpenAI เป็นผู้รับรางวัลรายแรก โดย OpenAI ระบุว่าได้เปิดเผยคำตอบและบทพิสูจน์แบบ Lean สำหรับปัญหา 'การมีอยู่และความเรียบ' ของสมการนาเวียร์-สโตกส์สามมิติแล้ว
Zombit รายงานเมื่อวันที่ 17 ว่า จัสติน ซัน (Justin Sun) ผู้ก่อตั้งทรอน กล่าวว่า "ความมั่งคั่งของผมมีรากฐานมาจากคณิตศาสตร์ และผมจะคืนกลับสู่คณิตศาสตร์" โดยมีเป้าหมายนำทรัพย์สินส่วนตัวกลับมาสนับสนุนการวิจัยวิทยาศาสตร์พื้นฐาน
ก่อนหน้านี้มีรายงานว่า จัสติน ซันจัดตั้งรางวัลสำหรับบทพิสูจน์ทางคณิตศาสตร์ที่ผ่านการตรวจสอบด้วยเครื่องจักร ครั้งนี้จึงมีการเปิดเผยรายชื่อผู้รับรางวัลรายแรกและรายการปัญหาโดยละเอียด
รางวัลจัสติน ซันไม่ได้ใช้การเสนอชื่อผู้เข้าชิง สังกัดสถาบัน หรือสัญชาติเป็นเกณฑ์แบบรางวัลวิชาการทั่วไป ผู้เข้าร่วมต้องแก้ปัญหาที่เผยแพร่ไว้ก่อน จากนั้นส่งบทพิสูจน์ที่จัดรูปแบบให้เครื่องจักรตรวจสอบได้โดยใช้เครื่องมืออย่าง Lean
รายการรางวัลชุดแรกประกอบด้วยปัญหาคณิตศาสตร์ 66 ข้อ โดยเงินรางวัลสูงสุด 1 ล้านดอลลาร์จัดสรรให้กับคำตอบปัญหานาเวียร์-สโตกส์และบทพิสูจน์แบบจัดรูปแบบของทีมวิจัย OpenAI
สมการนาเวียร์-สโตกส์เป็นเครื่องมือทางคณิตศาสตร์ที่ใช้อธิบายการเคลื่อนที่ของของไหล ปัญหาการพิสูจน์ว่าเฉลยของสมการดังกล่าวมีอยู่จริงและมีความเรียบนั้น เป็นหนึ่งใน 7 ปัญหาสหัสวรรษที่สถาบันคณิตศาสตร์เคลย์คัดเลือกในปี 2000
OpenAI ประกาศเมื่อวันที่ 8 กันยายนว่า ระบบภายในได้นำเสนอคำตอบสำหรับปัญหานาเวียร์-สโตกส์ ตามคำอธิบายอย่างเป็นทางการของ OpenAI คำตอบดังกล่าวสร้างโดยโมเดลภายในที่มีประสิทธิภาพสูงกว่า GPT-6 Astra ขณะที่ GPT-6 Astra ถูกใช้ในการจัดรูปแบบและตรวจสอบด้วย Lean
คำตอบอย่างเป็นทางการและบทพิสูจน์ Lean ที่ OpenAI เปิดเผยจัดทำขึ้นในรูปแบบที่เครื่องจักรสามารถตรวจสอบกระบวนการพิสูจน์ได้ทีละขั้นตอน หัวใจสำคัญคือการแปลงคำอธิบายที่เขียนด้วยภาษาธรรมชาติให้เป็นโค้ดที่ตรวจสอบได้ตามกฎที่กำหนด
รางวัลนี้นำทั้งผลงานทางคณิตศาสตร์และขั้นตอนการมอบรางวัลเข้าสู่โครงสร้างการตรวจสอบแบบเปิด ปัญหาคณิตศาสตร์ บทพิสูจน์ และโปรแกรมตรวจสอบจะเผยแพร่บน GitHub ส่วนบันทึกการจ่ายเงินรางวัลจะจัดเก็บไว้บนบล็อกเชน
ปัญหาที่ลงทะเบียนแล้วจะไม่ถูกลบออกจากรายการและสามารถเพิ่มได้เท่านั้น เงินรางวัลจะจ่ายตามการแก้ปัญหาแต่ละข้อและผลการตรวจสอบ แทนการจ่ายตามรอบพิธีมอบรางวัลที่กำหนดไว้
ผู้แก้ปัญหาอาจเป็นมนุษย์หรือปัญญาประดิษฐ์ก็ได้ ผู้รับรางวัลไม่ได้จำกัดอยู่ที่สถาบันหรือสัญชาติใด โดยคำแนะนำอย่างเป็นทางการระบุว่าผลงานทั้งหมดต้องผ่านการตรวจสอบด้วยเครื่องจักรก่อนเข้าสู่การประเมินทางวิชาการ
รายการแรกยังมีปัญหาที่เกี่ยวข้องกับการตรวจสอบแบบจัดรูปแบบของสมมติฐานรีมันน์ ข้อคาดการณ์โกลด์บาค และข้อคาดการณ์ปวงกาเร โดยผู้ดำเนินงานรางวัลจัสติน ซันตั้งเป้าพัฒนารางวัลนี้ให้เป็น 'รางวัลโนเบลแห่งยุค AI'
อย่างไรก็ตาม คำตอบและบทพิสูจน์แบบจัดรูปแบบของ OpenAI ไม่ได้ทำให้ผลงานดังกล่าวได้รับการยืนยันเป็นผลงานวิชาการขั้นสุดท้ายของวงการคณิตศาสตร์โดยอัตโนมัติ สถานะทางคณิตศาสตร์ของผลลัพธ์จะต้องพิจารณาแยกต่างหากผ่านการตรวจสอบในลำดับต่อไป
ผู้รับรางวัลสามารถเลือกรับเงินเป็น USDT บนเครือข่ายทรอน(TRX) หรือ USDC บนเครือข่ายอีเธอเรียม(ETH) การเปิดเผยปัญหาคณิตศาสตร์ บทพิสูจน์ และบันทึกการจ่ายเงินไว้ทั้งในรายการสาธารณะและบนบล็อกเชน ทำให้รูปแบบการดำเนินงานแตกต่างจากวิธีมอบรางวัลทางวิชาการแบบเดิม
รางวัลจัสติน ซันจะกำหนดผู้รับรางวัลต่อไปโดยอิงจากปัญหาที่เปิดเผยต่อสาธารณะและผลการตรวจสอบด้วยเครื่องจักร ขณะที่ความคืบหน้าของคำตอบ OpenAI และการประเมินทางวิชาการในขั้นต่อไปยังเป็นประเด็นที่ต้องติดตาม
ความคิดเห็น 0