จัสติน ซันตั้งรางวัลให้หลักฐานคณิตศาสตร์ที่ผ่านการตรวจสอบโดยเครื่อง

จัสติน ซันเปิดตัว ‘Justin Sun Prize’ สำหรับการพิสูจน์ปัญหาคณิตศาสตร์ โดยจ่ายรางวัลเมื่อเครื่องตรวจสอบหลักฐานที่มนุษย์เสนอได้ครบตั้งแต่ต้นจนจบเท่านั้น เงินรางวัลถูกล็อกไว้บนบล็อกเชน

PANews รายงานว่า จัสติน ซัน(Justin Sun) ผู้ก่อตั้ง TRON เป็นผู้ประกาศรางวัลนี้ รางวัลมุ่งมอบให้ทั้งผู้พิสูจน์ที่แก้ปัญหาคณิตศาสตร์สำคัญ และผู้ที่แปลงหลักฐานดังกล่าวเป็นโค้ดที่เครื่องสามารถตรวจสอบได้

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

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

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

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

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

จัสติน ซันระบุว่าจะไม่เข้าร่วมการพิจารณารายละเอียด แต่จะทำหน้าที่กำหนดรายการปัญหาและจำนวนรางวัลของแต่ละปัญหา ผลการพิจารณาจะอ้างอิงผลการตรวจสอบโดยเครื่องมากกว่าการตัดสินของบุคคล

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

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