💸 JUSTIN SUN：数学における新たな発見への賞

🧠 私の成果は数学によって生み出されました――暗号学の基盤であり、ブロックチェーン産業全体の土台です。

今度は、その貢献の一部を自分からお返ししたいと思います。

Justin Sun Prizeは、単に「人」に授与するのではなく、具体的に解決された数学の問題に対して授与されます。

仕組みはできるだけシンプルです：

🔹 Prover――定理を証明した人。
🔹 Formalizer――証明を、機械が検証できる形式へと翻訳した人。

受賞者は個人でもチームでも、AIでも構いません。人とAIの組み合わせでも可能です。

重要な条件は、コンピューターが証明を完全に、そして誤りなく検証することです。その後、賞金が支払われます。

一方で、その証明が数学者によってすでに認められていても、まだ形式化されていない場合、機械による検証が完了するまで賞金は凍結されたままになります。

また、公式レジストリに追加された後の問題は削除できず、資金も自分に返すことはできません。

なぜ数学なのか？

AIが論理の作業スピードを劇的に変えるからです。以前は何年もかかったことが、場合によっては数か月、あるいは数日で解決できるようになりました。

⌛️ Justin Sun Prize は、何十年も見据えて設計されています。

#TRONGlobalFriends #TGF