The Justin Sun Prize
@JustinSunPrize
Official X Account of the #JustinSunPrize#
๊ฐ์
September 2026
12 ํ๋ก์ ์ค 2.2K ํฌ
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๐
๋ ๋ณด๊ธฐ
