ジャスティン・サン賞とは？

要するに、@justinsuntron が、難しい数学の問題を首尾よく証明できる人のために賞金を確保しています。

この仕組みでは、2つの貢献者が認められます。

1. 証明者：問題を解き、証明する人
2. 定式化者：証明を、コンピュータが形式的に検証できる形式へと翻訳する人

貢献者は、人間、AI、またはその両方の組み合わせでも構いません。

最終的な証明が、コンピュータによって100%の正しさで検証できる限り。🤖

面白いのは、誰かがすでに問題を解いていても、コンピュータ検証のための証明がまだ定式化されていない場合、賞金はロックされたままで、ステータスは次のように表示されることです：

「証明済み、定式化待ち。」

これにより、誰もがその問題が解決されたことを確認できますが、証明を“機械で検証可能”にすることで報奨を受け取れるチャンスがまだ残っています。

賞金はブロックチェーン上でロックされ、誰でもそれを確認できます。証明が検証に合格したら、賞金が解放されます。💰

ジャスティン・サン賞の目的は、数学の問題に対する“懸賞市場”を作り、人間の数学的な証明をAIやコンピュータが形式的に検証できるものへと変換するプロセスを加速することにあります。🥳

要するに：

人間が証明する → 誰かが定式化する → 機械が検証する → 賞金が支払われる 💰

#TRON #TGF