Reason to trust
A strict editorial policy emphasizing accuracy, relevance and impartiality
Created by industry experts and rigorously reviewed
The highest standards in reporting and publishing
A strict editorial policy emphasizing accuracy, relevance and impartiality
The market price is low and the players are a bit weak. Everyone bows down, no one hates extremists.
Geneva, Switzerland — October 5, 2026 – Justin Sun’s office today announced the latest recipients of the Justin Sun Award: independent researcher Wouter van Doorn, PhD, Mathematician. Student Quanyu Tang and mathematician Yanyang Li from Nanjing Southeast University were honored for their contributions to six Erdős problems.
Wouter van Doorn is an independent number theorist who began researching mathematics as an undergraduate in 2010 and continued to collaborate and publish after leaving academia after obtaining his master’s degree. Quanyu Tang (汤泉宇) is a PhD in Mathematics. A student at the University of Science and Technology of China, his research extends to number theory, combinatorics, and mathematical discoveries with the help of artificial intelligence.
Erdös problems are mathematical questions asked or popularized by Hungarian mathematician Paul Erdös about numbers, patterns, and other mathematical structures. Often easy to state but difficult to solve, they have helped shape research in number theory and combinatorics, with some remaining open for decades. The Erdős Catalog, compiled and maintained by Thomas Bloom, a mathematician and Royal Society Research Fellow at the University of Manchester, contains more than 1,200 problems.
Van Doorn and Tang worked with Yanyang Li, of the School of Mathematics at Southeastern University in Nanjing, to solve the Erdos Problem 650, determining the number of integers that can always match distinct multiples within a given period of time. Van Doorn also produced computer-examineable proofs in Lean, a program for checking mathematical reasoning, for the number 369, regarding consecutive integers with bounded prime factors; #457, on whether a short set of consecutive integers can collectively contain every prime number in a given range; And No. 469, regarding whether the reciprocals of a special class of numbers that can be expressed as the sum of their divisors add to the finite sum.
Tang separately solved No. 1044, establishing a sharp lower bound on the boundary lengths of regions defined by polynomials, and together with Li contributed to a broader team solution of No. 1196, defining weighted sums on sets of integers in which no member divides another.
Their work on No. 650 provides a concrete example of how human judgment and artificial intelligence can complement each other. ChatGPT helped develop the proof strategy, while Aristotle, an AI system for mathematical inference, fixed a gap during the formalization of Lean. The researchers then simplified the argument and wrote the final proofs and explanation.
“This experience taught me how audience feedback can sharpen a research question, and how AI-assisted discovery can combine mathematical judgment, collaboration, and rigorous verification,” Tang said.
These are the program’s first confirmed awards, which recognize the mathematical discovery and work required to make proofs independently verifiable. Information about the Justin Sun Award, its catalog of issues, and the contributions of the recipients is available through the program Public GitHub repository.
Prizes will be paid in either USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based on the recipient’s choice. For more information, please visit www.hejustinsun.com/prize.
About Justin Sun’s office
Justin Sun’s office supports Justin Sun’s global business, philanthropic and public initiatives across technology, blockchain, artificial intelligence, scientific research, investment, art and space exploration.
Justin Sun is the former Ambassador and Permanent Representative of Grenada to the World Trade Organization and the founder of TRON. TRON is the leading blockchain in the stablecoin revolution, having processed over $13 trillion in volume since its inception. In the world’s emerging markets, people rely on USDT over TRON to access the global financial system.
A disciple of Alibaba founder Jack Ma, Sun has been recognized globally for his work in the digital asset industry, including an April 2025 Forbes cover profile and multiple appearances on the Forbes 30 Under 30 list. In August 2025, he flew on Blue Origin’s NS-34 mission, becoming the 712th person in history to travel to space. His broader interests include technology, investing, philanthropy, art, gaming, and space exploration.
Justin Sun Office Contact:
info@hejustinsun.com
About the Justin Sun Award
The Justin Sun Prize is an academic initiative established by Justin Sun to support advances in mathematics, formal verification, and scientific discovery with the help of artificial intelligence. The award is decentralized and built on the principle that a mathematical work should be judged by the strength, accuracy and verifiability of the evidence itself, not the prestige or reputation of its providers..
Justin Sun established the award in his name as a long-term commitment to return the wealth created through mathematics and technology to mathematics itself. Its legacy aims to define the body of work it recognizes and the winners whose discoveries stand the test of time. The award links clearly defined mathematical challenges to machine-verifiable proof. Its guiding principles are openness, public benefit, and access to open sources.
Visit https://www.hejustinsun.com/prize For more information.
communication:
thejustinsunprize@hejustinsun.com