@Justin Sun孙宇晨 による「Why I Am Establishing the Justin Sun Prize」を読んだばかりで、最も面白いのは、ジャスティンが数学の賞を立ち上げるということそのものではありません。

面白いのは、その仕組みです。

ジャスティンは、ブロックチェーン業界の多くが数学の上に築かれていると説明しています。楕円曲線暗号からハッシュ関数までです。彼自身の言葉では、この賞は業界を可能にした土台に還元するものだ、としています。

しかし、違いを生むのは構造です。

各チャレンジは、2つの役割を認識します：
• Prover — 問題を解く人
• Formalizer — 証明を機械で検証可能な形に変換する人

これらは同一人物であってもよいし、まったく別の貢献者であってもよい。人間、AI、あるいは両方が参加できます。

重要なアイデアはシンプルです：
信じるな。検証せよ。

今回の検証は、お金や取引の話ではありません。
知識のためのものです。

プロジェクトはすでに、66のInaugural Prize Problems（初回の賞の問題）を発表しており、Pinnacle、Landmark、Advance、Contributionの各カテゴリに分けられています。

ただし、より大きな仕組みはそれよりはるかに広い。

公式サイトには現在、解決状況、Leanの証明ステータス、適格性、請求ステータスなどの情報を含む、1,022件の数学問題の問題バンクが掲載されています。

つまり、66問が初回の賞のセットであり、1,022問がより広範な知識ベースを構成しています。

私が特に興味を持ったのは、そのステータスです：
「Proved, pending formalization.（証明済み、ただし形式化待ち）」

問題はすでに数学界に受け入れられているかもしれませんが、それでも誰かが、その証明を機械が行ごとに検証できるコードに変換する必要があります。

だからこそ、形式化そのものが価値ある貢献になります。
この仕組みが成長し続ければ、賞以上のものになるかもしれません。
数学的知識のパブリックな地図になり得ます：

人間が解決したこと。
機械が検証できること。
そして、まだ未解決のこと。

ブロックチェーンは、私たちに検証可能なお金をもたらしました。
AI＋形式化された数学は、検証可能な知識へと私たちを導いていくのかもしれません。

だからこそ、Justin Sun Prizeは最初に見える以上にずっと面白いのだと思います。
@TRON DAO #TRONGlobalFriends #TGF