🧠✨ ジャスティン・サン賞は単なる数学の賞以上のものです。
その奥深い考えは、形式的に検証され、保存できる知識に報いることにあります。

モデルは2つの役割を分けます：
① 検証者（Prover）は問題を解きます。
② 形式化者（Formalizer）は証明をLeanに変換し、機械による検証を行います。
明示されている報酬の配分は70% / 30%です。

AIの時代において、これは重要です。AIはアイデアを生み出せますが、アイデアが自動的に検証された定理になるわけではありません。
形式化は、耐久性のある機械で確認できる知識への架け橋を作ります。🔬🤖

@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON