🧮🤖 「Justin Sun Prize」って何がスゴい？@Justin Sun孙宇晨

今回、公式ルールを読んで特に気になったポイントを整理👇

💰 賞金プールは5段階

🏆 Pinnacle：100万ドル固定
🔥 Breakthrough
🔹 Landmark
🚀 Advance
🌱 Contribution

Tier II〜Vは、問題の内容や審査に応じて賞金額が決まる仕組み。

さらに賞金は「総額」をそのまま1人に渡すのではなく、

🧠 数学の問題を解いた側 → 70%
🤖 Leanで形式検証した側 → 30%

という分配。

そして面白いのが、評価の入口にLeanによる機械検証を置いていること。

人間が「この証明で正しい」と判断するだけじゃなく、コンピューターが再現可能な形にして検証する。

しかも対象はプロの研究者だけじゃなく、独立した研究者や人間×AIのチームも含まれる。ルール上は人間とAIの成果を区別しない設計になっている。

🌱 ここから生まれる恩恵

・数学研究への資金還元
・証明のデジタル化、再検証可能性の向上
・AIを活用した数学研究の促進
・研究成果や検証資料のオープン化
・「問題を解く人」だけでなく「証明を形式化する人」へのインセンティブ

賞金を出して終わりじゃなく、
「解く → 形式化する → 検証する → 知識として残す」
という循環を作ろうとしているのが特徴。

個人的に興味深いと感じたのは、AIを人間の代替としてだけではなく、数学の発見・証明・検証を支える存在として組み込んでいるところ。

これからAIが数学研究に深く関わっていく中で、
「AIが出した答え」ではなく、機械が検証できる証明として残すことに報酬を付ける。

この仕組みが、AIと人間が一緒に研究していく時代の新しいインセンティブになるのか、今後の展開があつい！

#TGF @TRON DAO #TRONGlobalFriends