The Justin Sun Prize (@JustinSunPrize) “Solving the problem. Formalizing the proof. 🔍 #JustinSunPrize allocates 70% of” — TopicDigg
The Justin Sun Prize
@JustinSunPrize
加入 September 2026
0 正在关注 0 粉丝
Solving the problem. Formalizing the proof. 🔍
#JustinSunPrize# allocates 70% of each problem’s award to the solver and 30% to the Lean formalizer.
The same individual or team awarded both roles receives 100%, subject to the prize rules.👇
显示更多
