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
