AI-Age Prize Debuts to Reward Verifiable Mathematical Breakthroughs

TL;DR
The Office of Justin Sun launched the Justin Sun Prize, a decentralized, open-source bounty that awards up to $1 million for first breakthroughs proven via machine-verifiable proofs in fundamental math and AI-assisted science. The inaugural awards include a top prize to OpenAI for a Lean-formalized solution to the 3D Navier–Stokes existence and smoothness problem, with proofs and problem lists publicly verifiable and stored on-chain. The prize emphasizes openness, public benefit, and on-chain tracking, with funding in USDT on TRON or USDC on Ethereum, and aims to be the ‘Nobel Prize of the AI Era’ open to all, humans or AI.
Topics:businesstechnology#ai#formal-verification#justin-sun-prize#mathematics#navier-stokes#technology
- Justin Sun Establishes the Justin Sun Prize: “My Wealth Came from Mathematics and Will Return to Mathematics” The Block
- OpenAI Is Close To Solving Another Millennium Prize Math Problem The Information
- Top mathematicians are outraged by OpenAI’s methods The Economist
- ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs WIRED
- OpenAI Reportedly Trying to Solve Hodge Conjecture Amid Feud With Math Community Gizmodo
Want the full story? Read the original reporting
Read on The Block