After understanding how Justin Sun Prize works, the next question is: what problems can you solve?
The first set includes 66 mathematical problems across four levels:
➡️ Pinnacle — 1 problem, including the 3D Navier–Stokes Equations
➡️ Landmark — 14 problems, including Sendov’s Conjecture
➡️ Advance — 36 problems across Number Theory, Graph Theory, Combinatorics and more
➡️ Contribution — 15 specialized problems
What makes this interesting is the opportunity to turn human-accepted proofs into machine-verifiable proofs, creating a new space for humans and AI to work together.
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
The first set includes 66 mathematical problems across four levels:
➡️ Pinnacle — 1 problem, including the 3D Navier–Stokes Equations
➡️ Landmark — 14 problems, including Sendov’s Conjecture
➡️ Advance — 36 problems across Number Theory, Graph Theory, Combinatorics and more
➡️ Contribution — 15 specialized problems
What makes this interesting is the opportunity to turn human-accepted proofs into machine-verifiable proofs, creating a new space for humans and AI to work together.
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
