The Justin Sun Prize(@JustinSunPrize):Which contributions qualify for #JustinSunPrize? 🔍 Work completed on or after January 1, 2026 may be eligible. Mathematical solutions and Lean formalizations are assessed separately, and payment requires completion of the full award process. Full details 👇

2026.10.20 07:36

Which contributions qualify for #JustinSunPrize#? 🔍 Work completed on or after January 1, 2026 may be eligible. Mathematical solutions and Lean formalizations are assessed separately, and payment requires completion of the full award process. Full details 👇