Justin Sun Prize focuses on the complete resolution of classic mathematical problems and comprehensive Lean formal verification, encouraging the translation of mathematical proofs into machine-readable language. Learn more about the Justin Sun Prize: (hejustinsun.com)/prize