The Justin Sun Prize
@JustinSunPrize
Joined September 2026
0 Following 0 Followers
How a #JustinSunPrize# award is shared in the MathDB pilot:
50% Solution
30% Lean formalization
20% Exposition
Each is reviewed separately. Solution and Exposition awards wait for a complete, verified Lean formalization of the problem.
Pilot problems đ
Show more
