Justin Sun Prize’s New Round Honors Human–AI | Crypto News
Geneva, Switzerland — October 5, 2026 — The Office of Justin Sun today announced the most recent recipients of the Justin Sun Prize: unbiased researcher Wouter van Doorn, arithmetic Ph.D. scholar Quanyu Tang, and arithmetic researcher Yanyang Li from Nanjing’s Southeast University, acknowledged for contributions spanning six Erdős issues.
Wouter van Doorn is an unbiased quantity theorist who started researching arithmetic as an undergraduate in 2010 and continued collaborating and publishing after leaving academia following his grasp’s degree. Quanyu Tang (汤泉宇) is a arithmetic Ph.D. scholar at the University of Science and Technology of China whose research spans quantity idea, combinatorics and AI-assisted mathematical discovery.
Erdős issues are mathematical questions posed or popularized by Hungarian mathematician Paul Erdős about numbers, patterns and other mathematical constructions. Often simple to state but tough to resolve, they’ve helped form research in quantity idea and combinatorics, with some remaining open for many years. The Erdős catalog, compiled and maintained by Thomas Bloom, a mathematician and Royal Society University Research Fellow at the University of Manchester, has more than 1200 issues.
Van Doorn and Tang labored with Yanyang Li, from Southeast University’s School of Mathematics in Nanjing, to resolve Erdős Problem #650, figuring out precisely how many integers can always be matched to distinct multiples within a specified interval. Van Doorn also produced computer-checkable proofs in Lean, software program for verifying mathematical reasoning, for #369, regarding consecutive integers with restricted prime elements; #457, about whether or not a short run of consecutive integers can collectively include every prime in a given vary; and #469, regarding whether or not the reciprocals of a particular class of numbers expressible as sums of their divisors add to a finite whole.
Tang individually resolved #1044, establishing a sharp decrease restrict for boundary lengths of areas outlined by polynomials, and contributed alongside Li to a wider group’s answer of #1196, bounding weighted sums over units of integers in which no member divides another.
Their work on #650 presents a concrete instance of how human judgment and AI can complement each other. ChatGPT helped develop the proof strategy, while Aristotle, an AI system for mathematical reasoning, repaired a hole during Lean formalization. The researchers then simplified the argument and wrote the ultimate proofs and exposition.
“This experience taught me how public feedback can sharpen a research question, and how AI-assisted discovery can combine mathematical judgment, collaboration and rigorous verification,” Tang said.
These are this system’s first confirmed awards, recognizing both mathematical discovery and the work needed to make proofs independently checkable. Information about the Justin Sun Prize, its downside catalog and recipient contributions is accessible through this system’s public GitHub repository.
The prizes will probably be paid out in either USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based on the recipient’s selection. For more data, please go to www.hejustinsun.com/prize.
About the Office of Justin Sun
The Office of Justin Sun helps Justin Sun’s global business, philanthropic and public initiatives across technology, blockchain, artificial intelligence, scientific research, investment, artwork and space exploration.
Justin Sun is the Ambassador and former Permanent Representative of Grenada to the World Trade Organization and the Founder of TRON. TRON is the main blockchain for the stablecoin revolution, processing over $13 trillion in quantity since its inception. In the world’s rising markets, people rely on USDT on TRON to access the global financial system.
A protégé of Alibaba founder Jack Ma, Sun has been acknowledged internationally for his work in the digital asset industry, including a Forbes cowl profile in April 2025 and a number of appearances on the Forbes 30 Under 30 listing. In August 2025, he flew aboard Blue Origin’s NS-34 mission, turning into the 712th particular person in historical past to journey to space. His broader pursuits span technology, investment, philanthropy, artwork, gaming, and space exploration.
Office of Justin Sun Contact:
About Justin Sun Prize
The Justin Sun Prize is an tutorial initiative established by Justin Sun to help advances in arithmetic, formal verification, and AI-assisted scientific discovery. The prize is decentralized and constructed around the precept that mathematical work ought to be judged by the strength, rigor, and verifiability of the proof itself, not the status or repute of those submitting it.
Justin Sun established the prize in his own title as a long-term dedication to return wealth created through arithmetic and technology back to arithmetic itself. Its legacy is meant to be outlined by the physique of work it acknowledges and the laureates whose discoveries stand the check of time. The prize hyperlinks clearly outlined mathematical challenges to machine-verifiable proof. Its guiding ideas are openness, public benefit and open-source access.
Visit https://www.hejustinsun.com/prize for more data.
Contact:
thejustinsunprize@hejustinsun.com
Stay up to date with the latest trending crypto news! Visit our web site daily for the freshest Crypto news and content, rigorously curated to keep you informed.
