The Justin Sun Prize
@JustinSunPrize
加入 September 2026
0 正在關注 0 粉絲
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 👇
顯示更多
