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 👇
显示更多
