💥Justin Sun、数学に最大100万ドルの賞金！？

Justin Sun氏が立ち上げた
「Justin Sun Prize」 が面白い

これは、数学の難問を解いた人に賞金を与える新しい仕組み。

しかも挑戦するのは人間だけじゃない‼️

🧠 人間
🤖 AI
🤝 人間＋AI

どの方法でもOK👌

重要なのは「誰が解いたか」ではなく、
その数学的な証明が本当に正しいのか。

そこで「Lean」という形式化数学システムを使い、コンピューターで証明を検証します。

💰賞金は最大100万ドル
／
数学 × AI × 機械検証 × 賞金
＼
これからのAI時代に、
「数学の難問をAIが解く」ことが当たり前になるのでしょうか？

Justin Sunが仕掛ける、ちょっと変わった数学賞に注目です💡
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨