ผู้แก้ปัญหาแอร์ดึชชนะรางวัลจัสติน ซัน สำหรับการพิสูจน์ร่วมมนุษย์และ AI

นักวิจัยสามคนได้รับการประกาศชื่อเป็นผู้ชนะรางวัลจัสติน ซัน ล่าสุด: Wouter van Doorn นักวิจัยอิสระ; Quanyu Tang นักศึกษาปริญญาเอกสาขาคณิตศาสตร์; และ Yanyang Li นักวิจัยคณิตศาสตร์ที่มหาวิทยาลัยเซาท์อีสต์ในหนานจิง ผลงานของพวกเขาครอบคลุมปัญหาแอร์ดึชหกข้อ

Van Doorn นักทฤษฎีจำนวนที่เรียนรู้ด้วยตนเอง เริ่มงานวิจัยของเขาในระดับปริญญาตรีปี 2010 และรักษาความร่วมมือและสิ่งพิมพ์ไว้หลังจากออกจากวงการวิชาการด้วยปริญญาโท Tang (汤泉宇) ผู้สมัครปริญญาเอกที่มหาวิทยาลัยวิทยาศาสตร์และเทคโนโลยีแห่งประเทศจีน ทำงานในทฤษฎีจำนวน คณิตศาสตร์เชิงคอมบินาทอริก และการค้นพบทางคณิตศาสตร์ที่ใช้ AI ช่วย

นักคณิตศาสตร์ชาวฮังการี Paul Erdős ตั้งหรือทำให้เป็นที่นิยมในคำถามทางคณิตศาสตร์ที่รู้จักกันในชื่อปัญหาแอร์ดึช ซึ่งเกี่ยวข้องกับตัวเลข รูปแบบ และโครงสร้างอื่น ๆ แม้ว่าจะง่ายต่อการอธิบาย แต่ยากที่จะแก้ และมีอิทธิพลต่อทฤษฎีจำนวนและคณิตศาสตร์เชิงคอมบินาทอริก บางปัญหายังไม่ได้รับการแก้ไขมานานหลายทศวรรษ แคตตาล็อกของปัญหาดังกล่าว จัดทำโดย Thomas Bloom แห่งมหาวิทยาลัยแมนเชสเตอร์ มีปัญหามากกว่า 1200 ข้อ

ร่วมกับ Li, van Doorn และ Tang แก้ปัญหาแอร์ดึช #650 ซึ่งถามว่าจำนวนเต็มเท่าใดที่สามารถจับคู่กับผลคูณที่แตกต่างกันภายในช่วงที่กำหนดได้เสมอ Van Doorn แยกสร้างการพิสูจน์ที่ตรวจสอบได้ด้วยคอมพิวเตอร์ใน Lean เครื่องมือสำหรับตรวจสอบเหตุผลทางคณิตศาสตร์ สำหรับปัญหาอื่นอีกสามข้อ: #369 (เกี่ยวกับจำนวนเต็มติดต่อกันที่มีตัวประกอบเฉพาะที่จำกัด), #457 (ว่าช่วงสั้นของจำนวนเต็มติดต่อกันสามารถรวมทุกจำนวนเฉพาะในช่วงเฉพาะได้หรือไม่) และ #469 (ว่าส่วนกลับของตัวเลขบางประเภท—ที่แสดงเป็นผลรวมของตัวหาร—รวมเป็นผลรวมจำกัดหรือไม่)

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

ผลลัพธ์ #650 แสดงให้เห็นว่าความเข้าใจของมนุษย์และปัญญาประดิษฐ์สามารถทำงานร่วมกันได้ ChatGPT ช่วยในการสร้างแนวทางการพิสูจน์ และ Aristotle ระบบการให้เหตุผลด้วย AI แก้ไขช่องว่างในระหว่างการจัดรูปแบบด้วย Lean หลังจากนั้น นักวิจัยได้ทำให้เหตุผลง่ายขึ้นและเขียนการพิสูจน์และคำอธิบายสุดท้าย

“ประสบการณ์นี้สอนฉันว่าความคิดเห็นสาธารณะสามารถทำให้คำถามการวิจัยคมชัดขึ้นได้อย่างไร และการค้นพบที่ใช้ AI ช่วยสามารถรวมการตัดสินทางคณิตศาสตร์ การทำงานร่วมกัน และการตรวจสอบอย่างเข้มงวด” Tang กล่าว

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

รางวัลจะจ่ายเป็น USDT บน TRON (TRC-20) หรือ USDC บน Ethereum (ERC-20) ตามที่ผู้รับเลือก

เกี่ยวกับสำนักงานของจัสติน ซัน

สำนักงานของจัสติน ซันจัดการโครงการธุรกิจ การกุศล และสาธารณะทั่วโลกของซันในด้านเทคโนโลยี บล็อกเชน AI การวิจัยทางวิทยาศาสตร์ การลงทุน ศิลปะ และการสำรวจอวกาศ

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

อดีตลูกทีมของ Jack Ma แห่ง Alibaba ซันได้รับการยอมรับทั่วโลกสำหรับงานสินทรัพย์ดิจิทัลของเขา รวมถึงเรื่องปก Forbes ในเดือนเมษายน 2025 และการจัดอันดับ Forbes 30 Under 30 หลายครั้ง เขาบินในภารกิจ NS-34 ของ Blue Origin ในเดือนสิงหาคม 2025 กลายเป็นบุคคลที่ 712 ที่ไปถึงอวกาศ ความสนใจของเขายังขยายไปถึงเทคโนโลยี การลงทุน การกุศล ศิลปะ เกม และอวกาศ

เกี่ยวกับรางวัลจัสติน ซัน

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

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