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 👇
もっと見る
