Justin Sun Prize announces first winners for six Erdős solutions

3 min

Geneva, Switzerland — October 5, 2026 — The Office of Justin Sun announced recipients of the Justin Sun Prize: independent researcher Wouter van Doorn, Ph.D. student Quanyu Tang, and researcher Yanyang Li from Southeast University, recognized for contributions spanning six Erdős problems.

Awarded Contributions

Erdős problems are concise yet difficult questions that shape number theory and combinatorics. The Erdős catalog maintained by Thomas Bloom lists 1200+ problems.

#650: Van Doorn, Tang, and Li determined exactly how many integers can always be matched to distinct multiples within a specified interval.
#369: Van Doorn produced Lean proofs on consecutive integers with restricted prime factors.
#457: Van Doorn produced Lean proofs on whether a short run of consecutive integers can collectively contain every prime in a given range.
#469: Van Doorn produced Lean proofs on whether reciprocals of a class of numbers expressible as sums of their divisors sum to a finite total.
#1044: Tang established a sharp lower limit for boundary lengths of regions defined by polynomials.
#1196: Tang and Li contributed to bounding weighted sums over sets of integers where no member divides another.

AI and Formal Verification

The #650 solution integrated human judgment and AI. ChatGPT contributed to proof strategy. Aristotle, an AI for mathematical reasoning, repaired a gap during Lean formalization. Researchers simplified the argument and wrote final proofs and exposition. Van Doorn’s additional results were formalized in Lean, enabling independent verification.

Program Details

These are the program’s first confirmed awards. Documentation, problem catalog, and recipient contributions: public GitHub repository.

Payout options: USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20), at recipient discretion.

About the Office of Justin Sun

The Office supports Justin Sun’s initiatives across technology, blockchain, AI, scientific research, investment, art, and space exploration. Justin Sun is Founder of TRON and former Ambassador and Permanent Representative of Grenada to the WTO. TRON has processed over $13 trillion in volume since inception. USDT on TRON is widely used in emerging markets for access to the global financial system.

Contact: info@hejustinsun.com

About Justin Sun Prize

The prize supports advances in mathematics, formal verification, and AI-assisted discovery. It emphasizes proof strength, rigor, and verifiability over submitter prestige. The initiative links defined mathematical challenges to machine-verifiable proof, guided by openness, public benefit, and open-source access. Details: https://www.hejustinsun.com/prize. Contact: thejustinsunprize@hejustinsun.com