รอบใหม่ของรางวัล Justin Sun Prize ให้เกียรติความร่วมมือระหว่างมนุษย์และ AI ในการแก้ปัญหา Erdős

Wouter van Doorn เป็นนักทฤษฎีจำนวนอิสระที่เริ่มวิจัยคณิตศาสตร์ตั้งแต่ระดับปริญญาตรีในปี 2010 และยังคงร่วมมือกับนักวิจัยอื่น ๆ และเผยแพร่ผลงานต่อไปแม้จะออกจากวงการวิชาการหลังสำเร็จการศึกษาระดับปริญญาโท Quanyu Tang (汤泉宇) เป็นนักศึกษาระดับปริญญาเอกสาขาคณิตศาสตร์ที่มหาวิทยาลัยวิทยาศาสตร์และเทคโนโลยีจีน (University of Science and Technology of China) ซึ่งงานวิจัยของเขาครอบคลุมทฤษฎีจำนวน ทฤษฎีการจัดเรียง และการค้นพบทางคณิตศาสตร์ด้วยระบบปัญญาประดิษฐ์ (AI)

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

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

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

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

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

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

รางวัลจะจ่ายเป็น USDT บน TRON (TRC-20) หรือ USDC บน Ethereum (ERC-20) ตามการเลือกของผู้รับรางวัล สำหรับข้อมูลเพิ่มเติม โปรดเยี่ยมชม www.hejustinsun.com/prize.

เกี่ยวกับสำนักงานของจัสติน ซัน (The Office of Justin Sun)

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

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

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

สำนักงานติดต่อของจัสติน ซัน:

info@hejustinsun.com

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

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

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

เยี่ยมชม https://www.hejustinsun.com/prize เพื่อรับข้อมูลเพิ่มเติม

ติดต่อ:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

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