ジャスティン・サン賞：知識が「証明経済」になるとき
ジャスティン・サン賞は、数学上のブレークスルーに報いる新たな方法を試みています。機械が形式的に検証できる解答に報奨金を支払うというものです。

注目すべきなのは、最大100万ドルに達する賞金総額だけではありません。この仕組みが、次の3つの層をどのようにつないでいるかです。

→ 人間とAIが解答を探す。
→ Lean／形式検証によって証明を確認する。
→ ブロックチェーンが透明性と賞金の決済を支える。

AIが複雑な数学の問題を解く能力を高めるにつれ、この仕組みはますます重要になります。AIが生成した答えは説得力があるように聞こえるかもしれませんが、説得力があることは正しいことを意味しません。

形式検証は、判断基準を変えます。解答を生み出した人やモデルをただ信頼するのではなく、機械が独立して検証できる証明を求めることができます。

そのため、ジャスティン・サン賞は、知的貢献の価値が検証可能な証拠と結びつく「証明経済」の実験と見ることができます。

このモデルが拡大すれば、Web3は資産を移転するための仕組みにとどまらないかもしれません。

インセンティブ、貢献者の帰属、検証、そして知識の決済を支えるインフラになり得ます。

$TRX