Justin Sun Prize’s New Round Honors Human-AI Collaboration on Erdős Problems, tell me about this news today

The announcement from the Office of Justin Sun covers the latest award round of the Justin Sun Prize, which focuses on solving open mathematical challenges via human–AI synergy.

TradingView

Key Details of the Announcement

• Recognized Winners: The latest awards were granted to three mathematical researchersWouter van Doorn (independent number theorist), Quanyu Tang (Ph.D. student), and Yanyang Li (researcher at Southeast University in Nanjing).

  Traders Union

• Focus on Erdős Problems: The round specifically recognizes progress and solutions spanning six open problems originally proposed by the prolific Hungarian mathematician Paul Erdős.

  Traders Union

• Human–AI Synergy: Rather than relying exclusively on purely human derivation or end-to-end black-box AI outputs, the recognized workflows paired human mathematical reasoning with AI assistance (including language models and specialized reasoning systems) to advance and close these conjectures.

  Cryptonews.net

• Machine Verification as Standard: A core requirement of the Justin Sun Prize is formalization. Eligible submissions must be verifiable via interactive theorem provers such as Lean (via open GitHub pull requests). This shifts judgment away from institutional prestige and traditional peer-review delays toward automated, reproducible mathematical certainty.

  Cryptonews.net+ 2

• Decentralized Bounty Model: Funded directly by TRON founder Justin Sun under the motto that wealth derived from cryptography and mathematics should flow back into the mathematical sciences, the initiative operates as an open-access bounty system disbursing rewards via cryptocurrency following strict formal verification.

  Cryptonews.net