孫宇晨獎表彰借助人工智慧解決的厄多斯問題

Justin Sun Prize 宣布了首批已確認的獎項,表彰獨立研究員 Wouter van Doorn、博士生 Quanyu Tang,以及東南大學研究員 Yanyang Li,肯定他們解決或參與解決六個 Erdős 問題的貢獻。這些問題涵蓋數論、組合學與形式化證明驗證。 Van Doorn 和 Tang 與 Li 合作,解決了 Erdős 問題 #650。他們的研究確定,在指定區間內,總有多少個整數可以與彼此不同的倍數配對。Van Doorn 也為問題 #369、#457 和 #469 建立了可由 Lean 驗證的證明。Tang 解決了問題 #1044,並參與問題 #1196 的團隊解答。 Justin Sun Prize 強調人工智慧在 #650 解答中的作用。ChatGPT 協助制定證明策略,而 Aristotle 系統則在 Lean 形式化過程中協助修補一處缺口。研究人員之後簡化並完成了證明。 獎金將依照每位得獎者的選擇,以 TRON 上的 USDT 或 Ethereum 上的 USDC 支付。Justin Sun Prize 旨在透過可公開驗證的開源工作,支持數學、形式驗證及人工智慧輔助的科學發現。這項宣布對加密貨幣價格的直接影響有限,但可能提高 TRON 穩定幣支付及區塊鏈相關慈善活動的能見度。
Neutral
這則消息對加密貨幣市場屬於中性,因為它涉及數學獎,而不是代幣基本面、監管、網路活動或資金流。以 USDT 和 USDC 支付獎金只會帶來小量、一次性的交易需求,不太可能影響穩定幣的供給、流動性或定價。 由於得獎者可以透過 TRC-20 網路接收 USDT,TRON 可能獲得適度的正面品牌效應。然而,這項影響過於有限,不足以實質改變 TRX 的需求、交易量或市場穩定性。過去涉及區塊鏈贊助研究、補助或慈善支付的類似公告,通常只帶來很少持續性的價格波動,除非同時伴隨重大採用、投資或協議發展。 短期內,交易者可能會短暫關注 TRX 或相關穩定幣的資金流,但比特幣走勢、風險偏好、穩定幣發行量和監管消息等更廣泛的市場因素,仍將更具影響力。長期而言,這項獎項可能提升 Justin Sun 的公眾形象,並支持與區塊鏈相關的人工智慧及研究計畫。如果計畫大幅擴展,或產生可衡量的支付及生態系統活動,其市場相關性可能提高。目前,這項公告主要具有聲譽效應,而不是直接的交易催化劑。