Motive to belief
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Created by business consultants and meticulously reviewed
The very best requirements in reporting and publishing
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Geneva, Switzerland — October 5, 2026 — The Workplace of Justin Solar at present introduced the most recent recipients of the Justin Solar Prize: unbiased researcher Wouter van Doorn, arithmetic Ph.D. pupil Quanyu Tang, and arithmetic researcher Yanyang Li from Nanjing’s Southeast College, 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 diploma. Quanyu Tang (汤泉宇) is a arithmetic Ph.D. pupil on the College of Science and Expertise of China whose analysis spans quantity concept, 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 buildings. Typically easy to state however troublesome to resolve, they’ve helped form analysis in quantity concept and combinatorics, with some remaining open for many years. The Erdős catalog, compiled and maintained by Thomas Bloom, a mathematician and Royal Society College Analysis Fellow on the College of Manchester, has greater than 1200 issues.
Van Doorn and Tang labored with Yanyang Li, from Southeast College’s College of Arithmetic in Nanjing, to resolve Erdős Downside #650, figuring out precisely what number of integers can at all times 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 elements; #457, about whether or not a brief run of consecutive integers can collectively comprise 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 whole.
Tang individually resolved #1044, establishing a pointy decrease restrict for boundary lengths of areas outlined by polynomials, and contributed alongside Li to a wider crew’s answer of #1196, bounding weighted sums over units of integers during which 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 spot 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. Details about the Justin Solar Prize, its downside catalog and recipient contributions is accessible by this system’s public GitHub repository.
The prizes shall be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) primarily based on the recipient’s selection. For extra info, please go to www.hejustinsun.com/prize.
In regards to the Workplace of Justin Solar
The Workplace of Justin Solar helps Justin Solar’s international enterprise, philanthropic and public initiatives throughout expertise, blockchain, synthetic intelligence, scientific analysis, funding, artwork and area exploration.
Justin Solar is the Ambassador and former Everlasting Consultant of Grenada to the World Commerce Group and the Founding father of TRON. TRON is the main blockchain for the stablecoin revolution, processing over $13 trillion in quantity since its inception. On the planet’s rising markets, individuals depend on USDT on TRON to entry the worldwide monetary system.
A protégé of Alibaba founder Jack Ma, Solar 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 Below 30 record. In August 2025, he flew aboard Blue Origin’s NS-34 mission, turning into the 712th particular person in historical past to journey to area. His broader pursuits span expertise, funding, philanthropy, artwork, gaming, and area exploration.
Workplace of Justin Solar Contact:
information@hejustinsun.com
About Justin Solar Prize
The Justin Solar Prize is a tutorial initiative established by Justin Solar to assist advances in arithmetic, formal verification, and AI-assisted scientific discovery. The prize is decentralized and constructed across the precept that mathematical work must be judged by the energy, rigor, and verifiability of the proof itself, not the status or fame of these submitting it.
Justin Solar established the prize in his personal identify as a long-term dedication to return wealth created by arithmetic and expertise 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 ideas are openness, public profit and open-source entry.
Go to https://www.hejustinsun.com/prize for extra info.
Contact:
thejustinsunprize@hejustinsun.com
