ซุน หยูเฉิน ยืนยัน เนล โซมานี เป็นผู้ชนะรางวัลล่าสุด! แก้ปัญหาคณิตศาสตร์ JSP-000239 และ JSP-000327 สำเร็จ

วงการเงินดิจิทัล (120btc.CoM): ตามเวลาปักกิ่งในคืนวันที่ 28 ตุลาคม บัญชีโซเชียลมีเดียอย่างเป็นทางการของรางวัลซุน หยูเฉิน ได้ประกาศผู้ชนะในรอบล่าสุด ยืนยันว่า เนล โซมานี นักวิจัยเชิงปริมาณที่มีชื่อเสียง ได้รับรางวัลนี้สำเร็จ และเป็นผู้ที่ได้รับการรับรองอย่างเป็นทางการในการแก้ปัญหาที่ยากในฐานข้อมูล JSP-000239 และ JSP-000327 รายชื่อเกียรติยศอย่างเป็นทางการได้บันทึกชื่อเขาเป็นนักแก้ปัญหาคณิตศาสตร์ประจำปี 2026 และบันทึกควบคู่กับผู้ตรวจสอบรูปแบบโค้ดที่เกี่ยวข้อง

ในฐานะที่จบการศึกษาจากมหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ และมีพื้นฐานด้านคณิตศาสตร์ คอมพิวเตอร์ และการจัดการธุรกิจที่หลากหลาย โซมานีเคยทำงานที่กองทุนเฮดจ์ฟันด์ชั้นนำอย่าง Citadel ในตำแหน่งนักวิจัยเชิงปริมาณ ผลงานทางวิชาการของเขาเคยถูกเลือกให้เข้าร่วมการประชุมชั้นนำด้านระบบคอมพิวเตอร์ เช่น USENIX Security และ OOPSLA ก่อนหน้านี้ เขาได้ใช้เครื่องมือการพิสูจน์เชิงรูปแบบ Lean ในการตรวจสอบช่องโหว่ด้านประสิทธิภาพของอัลกอริธึมการจัดเรียงพื้นฐานของ CPython

ในการแก้ปัญหาที่ยากลำบาก JSP-000327 ซึ่งสำรวจว่ามีสมการจำกัดจำนวนระหว่างผลิตภัณฑ์ของสัมประสิทธิ์กลางที่แตกต่างกันภายใต้เงื่อนไขที่กำหนดหรือไม่ เขาได้สร้างสรรค์การผสมผสานระหว่างการอนุมานทางคณิตศาสตร์แบบดั้งเดิมกับอัลกอริธึมล้ำสมัย โดยการป้อนข้อเสนอเข้าสู่โมเดล GPT 5.2 Pro เพื่อรับเบาะแสเชิงรวมเบื้องต้น หลังจากนั้นเขาได้ตรวจสอบความถูกต้องของข้อเสนอด้วยการคำนวณทางพีชคณิตอย่างเข้มงวด วิธีการนี้ได้รับการตรวจสอบอย่างเป็นอิสระจากนักคณิตศาสตร์ แดเนียล ลาร์สัน ในคืนที่ส่งไปยังฟอรัมวิชาการ และตามมาด้วยเครื่องมือทางคณิตศาสตร์ อริสโตเติล ที่พัฒนาโดยทีม Harmonic ซึ่งได้สร้างโค้ดเชิงรูปแบบ Lean ที่เกี่ยวข้อง ทำให้เกิดวงจรปิดที่สมบูรณ์จากการคาดเดาภาษาธรรมชาติไปสู่การพิสูจน์ที่เครื่องอ่านได้

การจัดตั้งทีมมหาวิทยาลัยเพื่อการแก้ปัญหา

หลังจากประสบความสำเร็จในครั้งแรก โซมานีได้ขยายการวิจัยส่วนบุคคลไปสู่โครงการความร่วมมือระหว่างมนุษย์และเครื่องจักรในระดับอุตสาหกรรม เขาได้รวมตัวกับนักศึกษาระดับปริญญาตรีที่ยอดเยี่ยมจากมหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ มหาวิทยาลัยนอร์ธเวสเทิร์น และมหาวิทยาลัยไรซ์ เพื่อจัดตั้งทีมเฉพาะกิจในการแก้ปัญหา โดยเชื่อมต่อกับโมเดลภาษาขนาดใหญ่เพื่อทำการตรวจสอบอย่างเป็นระบบในฐานข้อมูลแบบเปิดของเออร์ดอช (Erdős)

ภายใต้ระบบการแก้ปัญหาที่เป็นสายการผลิตนี้ ทีมงานได้แก้ปัญหาที่สอง JSP-000239 ซึ่งตรวจสอบว่าการครอบคลุมของคลาสที่เหลืออนันต์สามารถทำได้โดยกลุ่มย่อยที่จำกัดในด้านความหนาแน่นของการวัดหรือไม่ สำหรับเส้นทางตรรกะที่ทำงานได้ ทีมงานได้ส่งต่อให้เครื่องมืออริสโตเติลทำการแปลโค้ดเชิงรูปแบบที่พื้นฐาน ค่าที่มีคุณค่าทางระเบียบวิธีคือ โซมานีได้สรุปและเปิดเผยชุด "ออนโทโลยีกรณีล้มเหลว" ที่มุ่งเน้นไปที่การเบี่ยงเบนที่เกิดขึ้นบ่อยครั้งของโมเดล AI ในการแก้ปัญหาคณิตศาสตร์ที่ซับซ้อนในบล็อกเทคนิคส่วนตัวของเขา โดยมีจุดมุ่งหมายเพื่อช่วยให้ชุมชนวิชาการสามารถระบุขอบเขตของอุปสรรคในการอนุมานเชิงรูปแบบของ AI ได้อย่างแม่นยำ โซมานีได้แสดงความขอบคุณต่อทีมซุน หยูเฉินสำหรับการสนับสนุนในคำกล่าวขอบคุณของเขา และเน้นว่าการพัฒนา AI ในด้านการอนุมานทางคณิตศาสตร์ในปีที่ผ่านมาเป็นที่น่าจับตามอง และการทำให้โค้ดเป็นรูปแบบเชิงรูปแบบไม่เพียงแต่สามารถใช้ในการตรวจสอบทฤษฎีทางคณิตศาสตร์บริสุทธิ์ แต่ยังสามารถเป็นเครื่องมืออุตสาหกรรมที่สำคัญในการรับประกันความถูกต้องของระบบซอฟต์แวร์ทั่วไป

กลไกการแจกจ่ายเงินทุนที่เป็นระบบบนบล็อกเชน

จากการเสนอชื่อผู้สมัครจนถึงการเข้าสู่หอเกียรติยศอย่างเป็นทางการ ระบบการประเมินทั้งหมดได้ปฏิบัติตามมาตรฐานการตรวจสอบที่เข้มงวดของบล็อกเชนและชุมชนแบบเปิด ตามบันทึกข้อเสนอในที่เก็บโค้ดรางวัลอย่างเป็นทางการของ GitHub หมายเลข 5051 แสดงให้เห็นว่า:

• จุดที่หนึ่ง: แผนการแก้ปัญหาสำหรับสองปัญหาได้ถูกส่งอย่างเป็นทางการในวันที่ 30 กันยายนและเข้าสู่ระยะการพิจารณาสาธารณะ;

• จุดที่สอง: หลังจากการตรวจสอบโดยเพื่อนในชุมชนแบบเปิดเป็นเวลา 14 วัน โดยไม่มีข้อโต้แย้ง ในวันที่ 14 ตุลาคมได้ถูกย้ายเข้าสู่รายชื่อผู้ชนะสุดท้าย และผู้ริเริ่มโครงการซุน หยูเฉินได้ยืนยันต่อสาธารณะในวันเดียวกันว่าทั้งสองปัญหาได้ผ่านการตรวจสอบเชิงรูปแบบอย่างราบรื่น;

• จุดที่สาม: ตามเวลาปักกิ่งในคืนวันที่ 28 ตุลาคม ทางการได้ประกาศการสัมภาษณ์เชิงลึกกับผู้ชนะอย่างเป็นทางการ โดยเปิดเผยรายละเอียดการแก้ปัญหาอย่างครบถ้วน

ในด้านการเงินและกลไกการจ่ายรางวัล รางวัลนี้ได้กำหนดกฎเกณฑ์การแบ่งหน้าที่และความรับผิดชอบอย่างชัดเจน ตามรายละเอียดอย่างเป็นทางการ เงินรางวัลสำหรับแต่ละปัญหาจะถูกแบ่งตามสัดส่วน 70% สำหรับผู้แก้ปัญหาและ 30% สำหรับผู้แปลโค้ดเชิงรูปแบบ Lean; หากนักวิจัยคนเดียวกันทำหน้าที่ทั้งสองอย่าง เขาจะได้รับรางวัลทั้งหมด รางวัล Pinnacle ระดับสูงสุดมีมูลค่าสูงถึง 1 ล้านดอลลาร์ ขณะที่ระดับอื่น ๆ จะดำเนินการตามการจัดอันดับความยาก โดยเงินรางวัลทั้งหมดจะถูกจ่ายผ่าน USDT และ USDC สองสกุลเงินเสถียรที่ได้รับการรับรองหลัก ในการป้องกันความเสี่ยงจากการฉ้อโกงทางออนไลน์และการรั่วไหลของข้อมูลส่วนบุคคล หลังจากช่วงเวลาการประกาศสิ้นสุดลง ผู้ชนะจะต้องส่งข้อมูลประจำตัวและที่อยู่การชำระเงินผ่านช่องทางอีเมลเข้ารหัสอย่างเป็นทางการเพื่อทำการตรวจสอบออฟไลน์ โดยห้ามโพสต์คีย์ส่วนตัวหรือที่อยู่บล็อกเชนในพื้นที่อภิปรายสาธารณะของ GitHub.

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