最近、多くの人がバイラルになっているのを見ているはずです。「The Justin Sun Prize（ジャスティン・サン・プライズ）」。最高賞金は100万ドルだって、各種報道でそう言ってますよね？

この投稿では、The Justin Sun Prizeの賞を獲得する方法を、数学の問題を検証しながら説明します。

@Justin Sun孙宇晨 数学の賞金ファンドを立ち上げていて、世界中の誰でも参加できます。国籍は問いません。学歴もいりません。大学所属も不要です。人間かAIかも区別しません。実際にできて、検証可能であることだけが条件です。

ただし、このゲームは通常の数学コンテストとは違います。「問題を解ける」だけでは不十分。証明をLean 4の言語に変換して、検証ツールで通らないとカウントされません。

私は公式のリポジトリを丸ごと調べました。最初から最後まで、獲得までの手順を完全にまとめます。

これは良いぞ、仲間たち 🔥

#TRON #TGF #TronGlobalFriends