Justin Sun Prize’s New Round Honors Human–AI Collaboration on Erdős Problems
The Office of Justin Sun at this time introduced the latest recipients of the Justin Sun Prize: impartial 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 impartial quantity theorist who started researching arithmetic as an undergraduate in 2010 and continued collaborating and publishing after leaving academia following his grasp’s diploma. Quanyu Tang (汤泉宇) is a arithmetic Ph.D. scholar on the University of Science and Technology of China whose analysis 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 different mathematical constructions. Often easy to state however troublesome to resolve, they’ve helped form analysis 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 on the University of Manchester, has greater 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 what number of integers can all the time be matched to distinct multiples inside a specified interval. Van Doorn additionally produced computer-checkable proofs in Lean, software program for verifying mathematical reasoning, for #369, regarding consecutive integers with restricted prime components; #457, about whether or not a brief run of consecutive integers can collectively include each 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 complete.
Tang individually resolved #1044, establishing a pointy decrease restrict for boundary lengths of areas outlined by polynomials, and contributed alongside Li to a wider workforce’s resolution of #1196, bounding weighted sums over units of integers wherein no member divides one other.
Their work on #650 provides a concrete instance of how human judgment and AI can complement one another. ChatGPT helped develop the proof technique, whereas Aristotle, an AI system for mathematical reasoning, repaired a niche throughout Lean formalization. The researchers then simplified the argument and wrote the ultimate proofs and exposition.
“This expertise taught me how public suggestions can sharpen a analysis query, and the way AI-assisted discovery can mix mathematical judgment, collaboration and rigorous verification,” Tang stated.
These are this system’s first confirmed awards, recognizing each mathematical discovery and the work wanted to make proofs independently checkable. Information in regards to the Justin Sun Prize, its downside catalog and recipient contributions is on the market by this system’s public GitHub repository.
The prizes will likely be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based mostly on the recipient’s selection. For extra data, please go to www.hejustinsun.com/prize.
About the Office of Justin Sun
The Office of Justin Sun helps Justin Sun’s international enterprise, philanthropic and public initiatives throughout know-how, blockchain, synthetic intelligence, scientific analysis, funding, artwork and house 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, folks rely on USDT on TRON to entry the worldwide monetary system.
A protégé of Alibaba founder Jack Ma, Sun has been acknowledged internationally for his work within the digital asset business, together with a Forbes cowl profile in April 2025 and a number of appearances on the Forbes 30 Under 30 checklist. In August 2025, he flew aboard Blue Origin’s NS-34 mission, changing into the 712th individual in historical past to journey to house. His broader pursuits span know-how, funding, philanthropy, artwork, gaming, and house exploration.
About Justin Sun Prize
The Justin Sun Prize is an educational initiative established by Justin Sun to assist advances in arithmetic, formal verification, and AI-assisted scientific discovery. The prize is decentralized and constructed across the precept that mathematical work ought to be judged by the power, rigor, and verifiability of the proof itself, not the status or fame of these submitting it.
Justin Sun established the prize in his personal title as a long-term dedication to return wealth created by arithmetic and know-how again to arithmetic itself. Its legacy is meant to be outlined by the physique of labor it acknowledges and the laureates whose discoveries stand the take a look at of time. The prize hyperlinks clearly outlined mathematical challenges to machine-verifiable proof. Its guiding rules are openness, public profit and open-source entry.
Visit https://www.hejustinsun.com/prize for extra data.
The put up Justin Sun Prize’s New Round Honors Human–AI Collaboration on Erdős Problems appeared first on BeInCrypto.
