The Justin Sun Prize (@JustinSunPrize) “The first #JustinSunPrize candidates are in a 14-day public review that began Se” — TopicDigg
The Justin Sun Prize
@JustinSunPrize
加入 September 2026
0 正在关注 0 粉丝
The first #JustinSunPrize# candidates are in a 14-day public review that began Sept 19.
Contributions span mathematical solutions and Lean formalization for problems 305, 371, 381, 526, 866 and 1001.
Details and formal challenge procedures👇
显示更多
