「ジャスティン・サン賞」は見出しの『ジャスティン・サンは自分自身にちなんだ賞を創設した』よりもずっと面白いと思います。
本当の話は、その背後にある仕組みにあります。
この賞はグローバルな数学の懸賞として打ち出されていますが、違いを生んでいるのは形式的検証です。公開されたルールでは、投稿は前進する前にLeanベースの検証に通らなければなりません。
それによって問いが、
「誰が問題を解いたのか？」
から
「その証明は独立に検証できるのか？」
へと変わります。
それが重要です。
AIが複雑な数学の証明を生み出すのに長けていけば、発見が唯一のボトルネックではなくなるかもしれません。検証が同じくらい重要になる可能性があります――つまり、その答えは実際に正しいのか、再現できるのか、そして評判に依存しないのか。
だからこそ形式的検証は面白いのです。権威だけを信じるのではなく、論理そのものを体系的にチェックできます。
もう一つ注目すべき点は、証明が人間から来るのか、AIシステムから来るのか、あるいは両方から来るのかということです。重要なのは、検証を生き残れるかどうかです。
そして、ブロックチェーンの観点もあります。
賞金の支払いと記録がオンチェーンで扱われるなら、監査や追跡がより簡単になります。
とはいえ、まだ私はこれを「新しいノーベル賞」とは呼びません。
名声は賞金だけで生まれません。問題の質、審査プロセスの信頼性、関わる人々、そして時間をかけて積み上げられた業績の蓄積によって生まれます。
それこそが、ジャスティン・サン賞にまだ証明してもらう必要がある点です。
しかし、数学、AI、形式的検証、ブロックチェーンの組み合わせは、確かに注目に値します。
このモデルが機能するなら、より大きな問いは「誰が勝つのか」ではないかもしれません。
人間とAIが協力して新しい知識を生み出し、単に作った相手を信じるだけではなく、その結果を検証できるかどうか――それが問われることになるでしょう。

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON