孙宇晨设立「孙宇晨奖」：我的财富从数学中来，将回到数学中去
- 核心观点：孙宇晨设立全球首个基于题目清单的零信任、去中心化学术悬赏机制“孙宇晨奖”，以机器形式化验证为唯一发奖标准，最高单题奖金100万美元，旨在AI时代重塑科学激励范式。
- 关键要素：
- 首批获奖名单涵盖66个数学问题，最高奖授予OpenAI团队，表彰其解决“三维纳维–斯托克斯方程存在性与光滑性”问题，证明由GPT-6 Astra完成形式化并通过Lean验证。
- 奖励规则：首个完成者获总奖金70%，形式化验证者获30%；AI系统亦可获奖，但须由自然人、法人或授权代表作为申报主体与法定收款人。
- 奖项覆盖2026年1月1日起的数学进展，题单永久锁定、只增不减，奖金只兑不退；当前已纳入庞加莱猜想形式化验证、黎曼猜想、哥德巴赫猜想及埃尔德什未解问题。
- 坚持开放、公益、开源原则：无国籍、机构、身份限制，不区分人类与AI；问题清单、证明与核验材料通过GitHub公开，奖金发放记录上链存证。
- 孙宇晨表示其公益重心将全面转向该奖，此前已在科技、环保、灾害救援等领域累计捐赠近4500万美元。
เมื่อวันที่ 16 กันยายน Justin Sun ผู้ก่อตั้ง TRON ได้ประกาศอย่างเป็นทางการถึงการจัดตั้ง "รางวัล Justin Sun" นี่คือกลไกการให้รางวัลทางวิชาการแบบ zero-trust และไร้ศูนย์กลางรายการแรกของโลกที่อิงตาม "รายการโจทย์" โดยมีเกณฑ์การมอบรางวัลเดียวคือความก้าวหน้าครั้งสำคัญในสาขาวิทยาศาสตร์พื้นฐานและการพิสูจน์ยืนยันเชิงรูปแบบด้วยเครื่องจักร โดยรางวัลสูงสุดต่อข้อสูงถึง 1 ล้านดอลลาร์สหรัฐ การจัดตั้งรางวัลนี้ไม่เพียงแต่อุดช่องว่างทางประวัติศาสตร์ที่รางวัลโนเบลไม่มีการมอบรางวัลสาขาคณิตศาสตร์มากว่าหนึ่งศตวรรษ แต่ยังพยายามนิยามตรรกะและขอบเขตของการให้รางวัลทางวิทยาศาสตร์ใหม่ในยุค AI เพื่อผลักดันให้มนุษย์และปัญญาประดิษฐ์ร่วมกันเร่งการวิจัยวิทยาศาสตร์พื้นฐาน
Justin Sun ยังได้ประกาศรายชื่อผู้ได้รับรางวัล "รางวัล Justin Sun" ชุดแรก ซึ่งยกย่องผลงานการแก้ไขปัญหาคณิตศาสตร์ 66 ข้อและการพิสูจน์เชิงรูปแบบ ในจำนวนนี้รางวัลสูงสุดมอบให้ทีมวิจัยของ OpenAI เป็นเงิน 1 ล้านดอลลาร์สหรัฐ เพื่อยกย่องผลงานการแก้ไขและการพิสูจน์เชิงรูปแบบสำหรับ "ปัญหาการมีอยู่และความเรียบเนียนของสมการนาเวียร์–สโตกส์สามมิติ" ตามข้อมูลที่ OpenAI เปิดเผย การพิสูจน์ที่เกี่ยวข้องเกิดขึ้นจากระบบภายในของบริษัท โดยงานด้านการพิสูจน์เชิงรูปแบบดำเนินการโดย GPT-6 Astra และผ่านการตรวจสอบด้วย Lean แล้ว
ปัญหานี้เกี่ยวข้องกับสมการนาเวียร์–สโตกส์ ซึ่งอธิบายการเคลื่อนที่ของของไหล หรือเรียกสั้น ๆ ว่าสมการ N–S สมการนี้พัฒนาขึ้นในศตวรรษที่ 19 โดยนักฟิสิกส์ชาวฝรั่งเศส Claude-Louis Navier นักคณิตศาสตร์ชาวไอริช-อังกฤษ George Gabriel Stokes และคนอื่น ๆ มีอายุราวสองร้อยปี ในปี 2000 สถาบันคณิตศาสตร์ Clay ได้จัดให้ "ปัญหาการมีอยู่และความเรียบเนียนของสมการนาเวียร์–สโตกส์สามมิติ" เป็นหนึ่งในเจ็ดปัญหาสหัสวรรษ พร้อมตั้งรางวัลไว้ 1 ล้านดอลลาร์สหรัฐ
ผลงานที่ได้รับรางวัลครั้งนี้ยังเกี่ยวข้องกับข้อสันนิษฐาน Sendov ข้อสันนิษฐาน Erdős เกี่ยวกับผลรวมของสับเซตที่แตกต่างกัน และข้อสันนิษฐาน Dinitz–Garg–Goemans เกี่ยวกับการรักษาต้นทุน ตามข้อกำหนดของ "รางวัล Justin Sun" ผู้ได้รับรางวัลในรายชื่อที่ประกาศแล้วต้องยื่นคำขอรับรางวัลด้วยตนเอง
Justin Sun กล่าวว่าคณิตศาสตร์คือภาษาพื้นฐานและกรอบโครงสร้างของวิทยาศาสตร์พื้นฐานทั้งหมด สิ่งที่ขยายขอบเขตความรู้ความเข้าใจของมนุษย์อย่างแท้จริงไม่ใช่เพียงการแสวงหาอย่างโดดเดี่ยว แต่คือการเปลี่ยนความเข้าใจให้เป็นผลงานเชิงรูปแบบที่เครื่องจักรสามารถตรวจสอบได้อย่างเข้มงวดและมนุษย์ทั้งมวลสามารถทำซ้ำได้ "รางวัล Justin Sun" ถือกำเนิดขึ้นเพื่อสิ่งนี้ โดยไม่ใช้การเสนอชื่อแบบดั้งเดิมและเกณฑ์คุณวุฒิเป็นเงื่อนไข ไม่ใช้จังหวะสี่ปีครั้งหรือความสำเร็จตลอดชีพเป็นจังหวะ แต่ผูกเงินรางวัลเข้ากับปัญหาคณิตศาสตร์ที่ยังไม่ถูกแก้ไขโดยตรง และเข้ากับการพิสูจน์เชิงรูปแบบที่เครื่องจักรตรวจสอบได้ ผู้มีส่วนร่วมคนใดก็ตาม ไม่ว่าจะเป็นนักวิจัยมืออาชีพ ผู้ที่สนใจอิสระ หรือบุคคลหรือทีมที่ร่วมมือระหว่างมนุษย์กับ AI ขอเพียงบรรลุความก้าวหน้าก่อนก็จะได้รับรางวัล
ในยุค AI วงจรการแก้ไขข้อสันนิษฐานหนึ่งข้อกำลังถูกบีบอัดจากหลายปีเหลือหลายเดือนหรือแม้แต่หลายวัน ระบบรางวัลแบบดั้งเดิมที่ยึด "ความสำเร็จตลอดชีพ" หรือรอบเวลาคงที่เป็นแกนกลางเริ่มไม่สามารถสอดรับกับจังหวะวิทยาศาสตร์ที่เร่งความเร็วเช่นนี้ได้ วิสัยทัศน์ของ "รางวัล Justin Sun" คือการเป็น "รางวัลโนเบลแห่งยุค AI" ตอบสนองต่อการเปลี่ยนแปลงครั้งลึกของการวิจัยและการจูงใจทางวิทยาศาสตร์ในยุคใหม่ด้วยวิธีที่ไร้ศูนย์กลาง เป็นเชิงรูปแบบ และใช้เครื่องจักรมากขึ้น โดยจะดูแลและอัปเดตต่อเนื่องอย่างเปิดเผยต่อสาธารณะซึ่งที่เก็บปัญหาคณิตศาสตร์และโค้ดเชิงรูปแบบ เมื่อรายการโจทย์ถูกประกาศออกไปแล้วจะถูกล็อกอย่างถาวร เพิ่มขึ้นเท่านั้นไม่ลดลง เงินรางวัลจ่ายเท่านั้นไม่คืน กลายเป็น "แผนที่ก่อสร้างที่ติดป้ายราคา"
ตามคำอธิบาย รางวัลของ "รางวัล Justin Sun" จะมอบให้ผู้ที่ทำสำเร็จคนแรกเท่านั้น หากมีหลายคนทำร่วมกันจะแบ่งตามสัดส่วนผลงาน ผู้แก้โจทย์จะได้รับ 70% ของเงินรางวัลรวม ผู้ที่พิสูจน์เชิงรูปแบบสำเร็จจะได้รับ 30% หากคนเดียวกันทำทั้งการแก้โจทย์และการพิสูจน์เชิงรูปแบบสำเร็จก็จะได้รับเงินรางวัลเต็มจำนวน แม้ผู้ที่ทำสำเร็จตามโจทย์ที่ตั้งรางวัลจะเป็นระบบปัญญาประดิษฐ์ก็จะได้รับรางวัลเช่นกัน แต่ต้องมีบุคคลธรรมดา นิติบุคคล หรือผู้แทนที่ได้รับมอบอำนาจเป็นลายลักษณ์อักษรที่เกี่ยวข้องเป็นผู้ยื่นคำขอและผู้รับเงินตามกฎหมาย รางวัลครอบคลุมความก้าวหน้าทางคณิตศาสตร์ที่เกิดขึ้นตั้งแต่วันที่ 1 มกราคม 2026 หากปัญหาได้รับการแก้ไขก่อนวันดังกล่าวแต่การพิสูจน์เชิงรูปแบบสำเร็จหลังจากนั้น ผู้ทำการพิสูจน์เชิงรูปแบบจะได้รับรางวัล ปัจจุบันรายการโจทย์ได้รวมการพิสูจน์เชิงรูปแบบของข้อสันนิษฐาน Poincaré ข้อสันนิษฐาน Riemann ข้อสันนิษฐาน Goldbach และปัญหาที่ยังไม่ถูกแก้ไขอีกจำนวนมากที่ Paul Erdős นักคณิตศาสตร์ผู้ล่วงลับและผู้ได้รับรางวัล Wolf Prize เคยเสนอไว้
Justin Sun เปิดเผยว่านอกเหนือจากเงินรางวัลแล้ว ผู้ได้รับรางวัลยังจะได้รับประกาศนียบัตรและเหรียญรางวัล โดยด้านหน้าของเหรียญเป็นรูปเหมือนของ Justin Sun และคำว่า "รางวัล Justin Sun" ทั้งภาษาจีนและภาษาอังกฤษ ด้านหลังเป็นการแกะสลักที่สะท้อนการสำรวจจักรวาลของมนุษย์ และขอบเหรียญสลักข้อความภาษาละติน "Quod probatur, solvitur" ซึ่งหมายถึง "สิ่งที่พิสูจน์ได้ก็คือสิ่งที่แก้ได้" ตัวเหรียญทำจากทองแดง ชุบทองคำบริสุทธิ์ 6 กรัม
"รางวัล Justin Sun" ยึดหลักสามประการคือ เปิดกว้าง เพื่อสาธารณประโยชน์ และโอเพนซอร์ส โดยเปิดให้ผู้มีส่วนร่วมที่เข้าเกณฑ์ทุกคน ไม่จำกัดสัญชาติ สถาบัน หรือสถานะ และไม่แบ่งแยกระหว่างมนุษย์กับ AI เงินทุนใช้เฉพาะสำหรับการมอบรางวัลและงานเปิดเผยเท่านั้น ไม่มีจุดประสงค์เพื่อแสวงหากำไร รายการโจทย์ เกณฑ์การยืนยัน หลักฐานการพิสูจน์และการตรวจสอบทั้งหมดเปิดเผยต่อสาธารณะผ่าน GitHub บันทึกการจ่ายรางวัลถูกเก็บหลักฐานบนเชน สามารถตรวจสอบย้อนกลับได้ตลอดไปและไม่สามารถแก้ไขได้
Justin Sun ชี้ให้เห็นว่างานในการแปลงการพิสูจน์ทางคณิตศาสตร์ของมนุษย์ให้เป็นการพิสูจน์เชิงรูปแบบที่เครื่องจักรตรวจสอบได้ในปัจจุบันยังต้องอาศัยความกระตือรือร้นโดยสมัครใจของชุมชนด้านการพิสูจน์เชิงรูปแบบเช่น Lean เป็นหลัก และขาดแรงจูงใจทางเศรษฐกิจอย่างเป็นระบบมาเป็นเวลานาน "ผู้ที่ทำงานด้านการพิสูจน์เชิงรูปแบบไม่เคยขาดความกระตือรือร้น สิ่งที่ขาดคือแผนที่ก่อสร้างที่ติดป้ายราคา" "รางวัล Justin Sun" เป็นครั้งแรกที่มอบรายการที่เปิดเผยและมีรางวัลสำหรับขั้นตอนสำคัญนี้ โดยมุ่งหมายที่จะเปลี่ยนแปลงสถานการณ์นี้อย่างสิ้นเชิง
เขากล่าวเพิ่มเติมว่า "รางวัลที่ตั้งชื่อตามบุคคลเป็นสิ่งที่การเมืองแตะต้องน้อยที่สุดในโลก ที่สำคัญกว่านั้นคือมันให้คำตอบแก่ตัวเอง—ความมั่งคั่งของฉันมีรากฐานมาจากคณิตศาสตร์ มันมาจากคณิตศาสตร์ ก็จะกลับไปสู่คณิตศาสตร์" ตามข้อมูลสาธารณะ ในช่วงหลายปีที่ผ่านมา Justin Sun ได้บริจาคสะสมเกือบ 45 ล้านดอลลาร์สหรัฐ (ประมาณ 300 ล้านหยวน) ในด้านเทคโนโลยี การอนุรักษ์สิ่งแวดล้อม การช่วยเหลือภัยพิบัติ และอื่น ๆ ต่อจากนี้ไปศูนย์กลางงานสาธารณประโยชน์ของเขาจะหันไปที่ "รางวัล Justin Sun" อย่างเต็มที่ เพื่อผลักดันความก้าวหน้าครั้งสำคัญของวิทยาศาสตร์พื้นฐานอย่างเร่งด่วนด้วยวิธีที่เปิดเผยและตรวจสอบได้อย่างต่อเนื่อง
"ผมไม่ใช่นักคณิตศาสตร์ ผมเป็นเพียงผู้สังเกตการณ์ ผมจ่ายเงิน ที่เหลือมอบให้กับการพิสูจน์" Justin Sun กล่าว การจัดตั้ง "รางวัล Justin Sun" อย่างเป็นทางการได้เปิดกระบวนทัศน์ใหม่ของการจูงใจทางวิทยาศาสตร์ที่มีการตรวจสอบด้วยเครื่องจักรเป็นแกนกลาง มีความร่วมมือระหว่างมนุษย์กับ AI เป็นพลังขับเคลื่อน และมีการให้รางวัลแบบไร้ศูนย์กลางเป็นกลไกแล้ว
