Justin Sun Prize Awards Researchers for Solving Complex Erdős Problems

The Office of Justin Sun has announced the latest recipients of the Justin Sun Prize, honoring three individuals for their groundbreaking work on Erdős problems. The winners include independent researcher Wouter van Doorn, mathematics Ph.D. student Quanyu Tang, and researcher Yanyang Li from Nanjing’s Southeast University. Their contributions span six of these complex mathematical questions, which were posed or popularized by the late Hungarian mathematician Paul Erdős.

Van Doorn, Tang, and Li collaborated to solve Erdős Problem #650, which determines the exact number of integers that can be matched to distinct multiples within a specified interval. Van Doorn also provided computer-checkable proofs in Lean for three other Erdős problems, while Tang resolved Problem #1044 and contributed to the solution of Problem #1196. Their work on Problem #650 highlights the synergy between human judgment and AI, with ChatGPT aiding in proof strategy and Aristotle, an AI system, helping to repair gaps during formalization.

This marks the first confirmed awards under the Justin Sun Prize program, which recognizes both mathematical discovery and the rigorous verification of proofs. The prizes will be paid out in either USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20), depending on the recipients' choice. The Justin Sun Prize is part of a broader initiative to support advances in mathematics, formal verification, and AI-assisted scientific discovery, with a focus on openness, public benefit, and open-source access.