TREE NEWS 情報: Tronの創設者ジャスティン・サンは9月16日、Justin Sun Prizeを発表した。これは分散型の学術懸賞プログラムで、機械検証可能な形式証明に基づいて解決された数学問題ごとに最大100万ドルを支払う。最高額の100万ドル賞は、クレイ研究所のミレニアム懸賞問題の一つである三次元ナビエ・ストークス方程式の存在と滑らかさの問題を解決し形式化したOpenAIの研究チームに贈られた。受賞者は賞金を請求する必要があり、支払いはオンチェーンで記録される。
TREE NEWS 情報: Tronの創設者ジャスティン・サンは9月16日、Justin Sun Prizeを発表した。これは分散型の学術懸賞プログラムで、機械検証可能な形式証明に基づいて解決された数学問題ごとに最大100万ドルを支払う。最高額の100万ドル賞は、クレイ研究所のミレニアム懸賞問題の一つである三次元ナビエ・ストークス方程式の存在と滑らかさの問題を解決し形式化したOpenAIの研究チームに贈られた。受賞者は賞金を請求する必要があり、支払いはオンチェーンで記録される。