埃爾德什問題的解決者以人類與AI協作證明獲得賈斯汀·孫獎

三位研究人員被命名為賈斯汀·孫獎的最新獲獎者：獨立研究員Wouter van Doorn；數學博士生Quanyu Tang；以及南京東南大學的數學研究員Yanyang Li。他們的工作涵蓋六項埃爾德什問題。

Van Doorn是一名自學成才的數論學家，他於2010年開始作為本科生進行研究，並在獲得碩士學位離開學術界後繼續保持合作和發表論文。Tang（湯泉宇）是中國科學技術大學的博士生候選人，研究領域包括數論、組合學和AI輔助數學發現。

匈牙利數學家Paul Erdős提出或推廣了被稱為埃爾德什問題的數學問題，這些問題涉及數字、模式和其他結構。雖然通常易於描述，但它們難以解決，並對數論和組合學產生了影響；有些問題數十年仍未解決。這類問題的目錄由曼徹斯特大學的Thomas Bloom策劃，包含超過1200個問題。

van Doorn和Tang與Li合作解決了埃爾德什問題#650，該問題詢問在給定區間內究竟有多少個整數總能與不同的倍數配對。van Doorn還另外創建了Lean中可電腦驗證的證明，Lean是一種檢查數學推理的工具，用於另外三個問題：#369（關於具有受限質因數的連續整數）、#457（是否連續整數的短塊可以包含特定範圍內的每個質數）以及#469（是否某類數字的倒數——可表示為除數之和——總和為有限值）。

Tang獨立解決了#1044，為多項式定義區域的邊界長度設定了精確的下界。他還與Li一起為一個更大團隊的#1196解決方案做出了貢獻，該解決方案限制了整數集合上加權和的範圍，其中沒有元素能整除另一個。

#650的解決方案說明了人類洞察力與人工智能如何協同工作。ChatGPT幫助形成了證明方法，而Aristotle（一個AI推理系統）在Lean形式化過程中填補了一個空白。之後，研究人員簡化了推理，並撰寫了最終的證明和解釋。

「這次經驗讓我學到公開反饋如何能精煉研究問題，以及AI輔助發現如何能結合數學判斷、協作和嚴格驗證，」Tang說。

這些獎項是該計畫首次正式頒發，不僅突顯了數學突破，也強調了讓證明可獨立驗證的努力。有關獎項、問題列表及獲獎者貢獻的詳細資訊，可在公開的GitHub儲存庫中找到。

獎金將以TRON上的USDT（TRC-20）或以太坊上的USDC（ERC-20）支付，由得獎者選擇。

關於Justin Sun辦公室

Justin Sun辦公室管理Sun在全球的技術、區塊鏈、AI、科學研究、投資、藝術和太空探索領域的商業、慈善和公共項目。

Sun擔任格林納達大使兼前駐世界貿易組織常駐代表，同時也是TRON的創始人。TRON區塊鏈被描述為穩定幣的領先平台，自推出以來已處理超過13兆美元的交易量。在新興經濟體中，用戶依賴TRON上的USDT參與全球金融。

Sun曾是阿里巴巴Jack Ma的門生，因數位資產工作獲得全球認可，包括2025年4月的Forbes封面故事以及多次入選Forbes 30 Under 30榜單。他於2025年8月參加了Blue Origin的NS-34任務，成為第712位到達太空的人。他的興趣涵蓋科技、投資、慈善、藝術、遊戲和太空。

關於Justin Sun獎

Justin Sun獎由Sun創立，旨在促進數學、形式驗證和AI驅動科學發現的進步。它以去中心化模式運作，判斷僅基於證明的強度、嚴謹性和可驗證性，而非提交者的身份。

Sun以個人名義設立此獎項，作為一項持久承諾，將數學和科技產生的財富回饋於數學。其遺產在於被認可的工作和獲獎者，他們的研究成果將流傳下去。該獎將定義明確的數學問題與機器可驗證的證明相連接，遵循開放、公益和開源原則。