
Vietnam has a proud tradition of mathematical excellence. 🇻🇳 From IMO medalists to Fields Medalist Ngo Bao Chau, Vietnamese talent has already made its mark on global mathematics. Now, the Justin Sun Prize could create another opportunity for that talent to shine. The new MathDB pilot covers 50 mathematical problems, with problem-level rewards of up to $1M. Led by Caltech Professor Tony Yue Yu and his team, MathDB introduces a formal process for reviewing solutions, verifying Lean proofs, and recognizing clear explanations of mathematical discoveries. What makes this especially valuable for researchers is the reward structure: • 50% for the mathematical solution • 30% for Lean formalization • 20% for accessible mathematical exposition This means the program recognizes more than just finding an answer. It also values rigorous verification and making complex discoveries understandable to others. For Vietnamese mathematicians, former IMO competitors, and independent researchers, this could be a meaningful incentive to explore challenging open problems and collaborate with AI. Meanwhile, Vietnam is gradually building a clearer legal framework for crypto and digital assets. The government's pilot framework for the crypto-asset market, introduced under Resolution 05/2025/NQ-CP, marks an important step toward a more structured and regulated ecosystem. These developments create an interesting intersection between scientific research, AI, and blockchain-based rewards. Imagine more Vietnamese researchers contributing to long-standing mathematical problems, with their work independently verified and recognized on an international stage. Vietnam has already demonstrated its ability to nurture exceptional mathematical talent. Initiatives like the Justin Sun Prize could provide another incentive for that talent to pursue groundbreaking research and push the boundaries of human knowledge. The next breakthrough could come from Vietnam. @justinsuntron @JustinSunPrize
