ผู้เข้าชิง 6 รายเข้าสู่การตรวจสอบสาธารณะ 14 วัน รางวัลจัสติน ซันเริ่มกระบวนการแล้ว

ผู้เข้าชิงรางวัลจัสติน ซัน (Justin Sun) จำนวน 6 รายเข้าสู่กระบวนการตรวจสอบสาธารณะเป็นเวลา 14 วัน ตั้งแต่วันที่ 19 กันยายน โดยการขึ้นทะเบียนยังไม่ใช่การยืนยันรางวัลขั้นสุดท้าย แต่เป็นจุดเริ่มต้นของกระบวนการคัดค้านเกี่ยวกับคำตอบทางคณิตศาสตร์และบทพิสูจน์แบบเป็นทางการ

ทะเบียนผู้เข้าชิงอย่างเป็นทางการบน GitHub เปิดเผยโจทย์หมายเลข 305, 371, 381, 526, 866 และ 1001 โดยหมายเลข 305, 371 และ 381 ขึ้นทะเบียนผู้เข้าชิงในหมวดผู้ตรวจสอบการทำให้เป็นแบบแผน ส่วนหมายเลข 866 และ 1001 อยู่ในหมวดผู้แก้โจทย์คณิตศาสตร์ ขณะที่หมายเลข 526 มีผู้เข้าชิงทั้งสองบทบาท

ทะเบียนระบุว่าการเผยแพร่รายชื่อไม่ได้หมายความว่าได้รับรางวัลหรือยืนยันตัวตนของผู้ชนะ บุคคลที่สามสามารถคัดค้านความถูกต้องของผลลัพธ์ การระบุผู้มีส่วนร่วม ลำดับความสำคัญ หรือการตรวจสอบบทพิสูจน์แบบเป็นทางการได้

หลังสิ้นสุดการตรวจสอบสาธารณะ หากไม่มีข้อคัดค้านที่ยังไม่ได้รับการแก้ไข และผู้ชนะยืนยันเป็นลายลักษณ์อักษรพร้อมผ่านการยืนยันตัวตนแล้ว จึงจะเข้าสู่ขั้นตอนการจ่ายเงินรางวัล โดยกฎการดำเนินงานกำหนดระยะเวลาคัดค้านสาธารณะไว้ 14 วัน

จัสติน ซัน (Justin Sun) ผู้ก่อตั้งทรอน (TRX) กล่าวว่า “ผมไม่ใช่นักคณิตศาสตร์ แต่เป็นผู้สังเกตการณ์และเป็นผู้จ่ายเงิน ส่วนที่เหลือให้บทพิสูจน์เป็นผู้ตัดสิน”

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

คลังข้อมูลอย่างเป็นทางการมีโจทย์คณิตศาสตร์ลงทะเบียนอยู่ 1,022 ข้อในปัจจุบัน รายการดังกล่าวรวมถึงข้อคาดการณ์ปวงกาเร ข้อคาดการณ์รีมันน์ ข้อคาดการณ์โกลด์บาค และโจทย์ที่ยังไม่มีคำตอบซึ่งเสนอโดยนักคณิตศาสตร์พอล แอร์ดิช

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

รางวัลสูงสุดต่อโจทย์อยู่ที่ 1 ล้านดอลลาร์ (ประมาณ 1.365 พันล้านวอน) โดยฝ่ายดำเนินงานระบุว่าได้ฝากเงิน 10 ล้านดอลลาร์ (ประมาณ 13.65 พันล้านวอน) ไว้ในที่อยู่กองทุนรางวัลแล้ว

รางวัลจะจ่ายเป็น Tether (USDT) บนเครือข่าย TRC20 หรือ USD Coin (USDC) บนเครือข่าย ERC20 โครงสร้างการดำเนินงานยังรวมถึงการจ่ายรางวัลด้วยสินทรัพย์ดิจิทัลและการบันทึกข้อมูลการจ่ายเงินไว้บนบล็อกเชน

รางวัลจัสติน ซันเปิดตัวเมื่อวันที่ 16 กันยายน ฝ่ายดำเนินงานเปิดเผยผลงานการแก้โจทย์คณิตศาสตร์ 66 ข้อและบทพิสูจน์แบบเป็นทางการเป็นกลุ่มแรกที่จะได้รับการยกย่อง พร้อมระบุให้โอเพนซอร์สและการตรวจสอบสาธารณะเป็นหลักการดำเนินงาน

ฝ่ายดำเนินงานระบุว่าไม่มีข้อจำกัดด้านสัญชาติหรือสังกัดในการเข้าร่วม และจะไม่แยกแยะว่าผลงานเกิดจากความร่วมมือระหว่างมนุษย์กับปัญญาประดิษฐ์หรือไม่ รายการโจทย์ เกณฑ์การยืนยัน เอกสารบทพิสูจน์ และข้อมูลการตรวจสอบจะเผยแพร่ผ่าน GitHub

ผลงานที่มีสิทธิรับรางวัลคือคำตอบทางคณิตศาสตร์ที่สมบูรณ์ของโจทย์ต้นฉบับและบทพิสูจน์ Lean ที่สมบูรณ์ หากมีหลายคนร่วมกันทำจนเสร็จ ผู้แก้โจทย์คณิตศาสตร์จะได้รับ 70% ของเงินรางวัลทั้งหมด และผู้ตรวจสอบการทำให้เป็นแบบแผนจะได้รับ 30% หากคนเดียวทำทั้งสองบทบาท ก็มีสิทธิได้รับเงินรางวัลทั้งหมด

ฝ่ายดำเนินงานระบุว่าจะพิจารณาความก้าวหน้าทางคณิตศาสตร์ที่เกิดขึ้นตั้งแต่วันที่ 1 มกราคม 2026 เป็นต้นไป แม้จะมีคำตอบก่อนหน้านั้น แต่หากมีการตรวจสอบด้วยรูปแบบเป็นทางการเสร็จสิ้นภายหลัง ผู้มีส่วนร่วมในขั้นตอนดังกล่าวก็อาจมีสิทธิได้รับรางวัล

ผู้เข้าชิงทั้ง 6 รายที่เปิดเผยในปัจจุบันยังอยู่ในขั้นตอนขึ้นทะเบียน โดยยังเหลือกระบวนการยื่นคัดค้านสาธารณะ การยืนยันเป็นลายลักษณ์อักษร และการยืนยันตัวตน หลังเสร็จสิ้นการตรวจสอบแล้ว จะมีการยืนยันผู้ชนะขั้นสุดท้ายและดำเนินการจ่ายเงินรางวัลต่อไป