Justin Sun Is Putting Mathematical Proofs On-Chain 🍌👀 Claude spent 11 days turning Fermat’s Last Theorem into a machine-checkable proof. Now Justin Sun wants to start paying people (or AI whatever haha) for doing more of that... 🏆 The $TRX TRON founder has launched the Justin Sun Prize, a new mathematics bounty system built around one condition: a proof only qualifies once a machine can verify it from beginning to end. Each problem can reward 2 roles: 🙋 the person who solves it 🙋 the person who formalizes the proof so software can verify it Those can be the same person, different people - or even AI-assisted work. Submissions use Lean formal verification, while the prize pool and payouts are designed to be publicly recorded on-chain. Sun chooses which problems enter the system and how much each is worth, but says he won’t decide whether a proof passes verification. It’s an unusual direction for crypto philanthropy, but there’s a nice symmetry to it: blockchain itself depends heavily on mathematics, and now some of that crypto $BTC wealth is being redirected toward the people pushing the underlying logic further. And with AI getting much better at formal mathematics, "who solved it?" may soon become a quite complicated question. Original post: https://x.com/justinsuntron/status/2100132601424232711 #BTC Price Analysis# #Macro Insights# #TRON