Today's study theme is,
it's the Justin Sun Prize.
When I saw it for the first time,
“Did Justin Sun create a prize for mathematics?”
it felt like a slightly unexpected piece of news.
But when I looked into it,
this is not just a prize-money scheme,
how to evaluate research achievements in the AI era,
it led to a rather large theme.
The Justin Sun Prize is,
It is an award focused on mathematics and formal verification.
What was characteristic was,
it wasn't just honoring someone who published an amazing paper, but,
Mathematical proofs that humans can read,
It also places emphasis on making it something machines can verify.
So the point is,
✅ Solve mathematical problems
✅ Formalize that proof
✅ Create it into a form that can be mechanically verified in tools like Lean
✅ Evaluate them as verifiable outcomes
is the flow.
I thought this part was interesting.
When AI helps with research,
What matters isn’t only “who said it,” but also
Can that proof really be verified?
Can it be confirmed mechanically?
Is there reproducibility?
I think perspectives like this will become quite important.
In crypto too,
Don’t trust, verify.
There’s a phrase like that.
Don’t trust—verify.
The Justin Sun Prize is,
It seemed like they’re trying to spread this way of thinking to the worlds of math and AI research as well.
Furthermore, for the payment of prize money,
It’s designed so that TRC-20 USDT and ERC-20 USDC can be used.
This is also the crypto-like part.
For research results,
Pay the reward in a global, on-chain, verifiable form.
This means that blockchain can be used not only for finance,
I thought they also suggest it could be used for academic and research incentives.
Mr. Justin Sun,
“Turn wealth created from mathematics back into mathematics”
They’re showing that idea.
TRON is often talked about in terms of stablecoin transfers and settlement infrastructure, but,
This Justin Sun Prize is,
The ideas surrounding TRON are not just for finance,
It seems like it’s expanding into AI, math, open source, and verifiability as well.
What I felt this time was that,
In the era to come,
It’s not enough for AI to just produce the answer,
What’s important is how you verify that answer.
In the world of crypto, what has been valued is
Transparency, verifiability, and open participation.
This way of thinking,
It’s also trying to be applied to math and AI research.
The Justin Sun Prize is,
In thinking about what academic prizes in the AI era should look like,
I thought it was a particularly noteworthy initiative.
