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 👇

.@justinsuntron founded and personally funds #JustinSunPrize# to support mathematical research and the formal verification of proofs. It is his way of giving back to the field that helped build his career. Learn more 👇

AI is opening new opportunities for young people across industries. #JustinSunPrize# focuses on mathematics. Its problem list is public, and it aims to recognize new results promptly, including those from human–AI collaboration. Hear more from @justinsuntron 👇

How is AI changing mathematical research? @justinsuntron discusses AI’s role in solving problems and how Lean checks the logic of a proof, both central to the thinking behind #JustinSunPrize#. From his conversation with @TheBonnieChang 👇

Bitcoin, TRON and Ethereum all rely on mathematics. Speaking with @TheBonnieChang, @justinsuntron explains why he wants to give back to the field through #JustinSunPrize#. Watch the clip 👇