数学における大きな賞として思い浮かべる人は多いだろうし、たぶんすぐにフィールズ賞が連想される。よく「数学のノーベル賞」とも例えられる。

しかし現在、AIが推論や証明、難問の解法にますます深く関わるようになってきている中で、数学の解答に対する表彰のあり方も変わり始めているのかもしれない。

つい最近、@justinsuntronがJustin Sun Prizeを発表した。

名前からすると伝統的な賞のように聞こえるが、運用方法はかなり「暗号資産（クリプト）での“bounty”をぶら下げる」やり方に近い。

簡単に言うとこうだ。

難しい問題が
→ Justin Sunが賞金を設定し
→ 誰でも解答を探すために参加できる（AIも含む）
→ その解答が数学コミュニティに認められれば、次はコンピュータが検証できる形へと移される。

証明の全工程が、機械によって正確だと確認されて初めて、報酬が正式に解放される。

面白いと思った点は、この賞が非常に明確に2つのパートに分かれていることだ。

1人が解答を見つける。

別の人が、その解答を「formalize（形式化）」できる。つまり、コンピュータが読んで検証できる形に変える。

もちろん、1人で両方を担当することもできる。

そして、解答者が人間である必要もない。Justin Sunははっきり、解答が人間でもAIでも、あるいは両者の協働でも重要ではなく、最終的にその証明が正しいと確認されればそれでよい、と述べている。

これもまた、従来の数学の賞と比べてかなり違う点になっている。

フィールズ賞は4年に一度で、年齢制限もある。だがこのモデルでは、各問題がほぼそれぞれ個別のbountyになるようなものだ。