Good day every one😻
If you’re looking for extra income, here’s something interesting.
Justin Sun Prize just opened the first set of 66 math problems for people around the world to challenge themselves. The highest prize is $1,000,000.
How to join?
Main steps: pick a problem from the official GitHub repo → Fork the repo → write a Formal Proof in Lean to prove the problem correctly.
📌 Simple summary
Pick a problem → Write the proof → Test it → Submit a PR → Wait for review
Anyone interested can check the problem bank and the conditions for each problem. Passing review does not automatically mean you get the prize — you still have to follow the project rules.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
If you’re looking for extra income, here’s something interesting.
Justin Sun Prize just opened the first set of 66 math problems for people around the world to challenge themselves. The highest prize is $1,000,000.
How to join?
Main steps: pick a problem from the official GitHub repo → Fork the repo → write a Formal Proof in Lean to prove the problem correctly.
📌 Simple summary
Pick a problem → Write the proof → Test it → Submit a PR → Wait for review
Anyone interested can check the problem bank and the conditions for each problem. Passing review does not automatically mean you get the prize — you still have to follow the project rules.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
