On October 5, 2026, the Office of Justin Sun announced that researchers Wouter van Doorn, Quanyu Tang, and Yanyang Li won the latest Justin Sun Prize for their breakthroughs in number theory and combinatorics. The team successfully resolved Erdős Problem #650, determining how integers match to distinct multiples within specific intervals. Additionally, the researchers utilized AI-assisted discovery and the Lean theorem prover to provide computer-checkable proofs for problems #369, #457, #469, and #1044, some of which had remained open for decades.
This round of the prize emphasizes a shift toward human-AI collaboration in the hard sciences. Quanyu Tang, a Ph.D. student at the University of Science and Technology of China, specifically integrated AI tools to navigate the Erdős catalog, a database of over 1,200 problems maintained by Thomas Bloom. The use of Lean, a functional programming language used for formal verification, ensures that these solutions are not just theoretically sound but computationally validated, a standard increasingly demanded in both mathematics and high-stakes blockchain development.
For the crypto industry, Justin Sun’s continued patronage of elite mathematics serves as a strategic effort to align the TRON ecosystem with rigorous academic and technological advancement. As US regulators continue to scrutinize the transparency and utility of major crypto foundations, initiatives like the Justin Sun Prize aim to build institutional prestige and foster innovation in algorithmic efficiency. This funding model mirrors broader trends where crypto wealth is redirected toward solving foundational scientific hurdles that could eventually improve cryptographic protocols.
Market observers should note that while this news is academic in nature, the integration of AI and formal verification (Lean) is highly relevant to the future of smart contract security. As AI agents become more prevalent in auditing code, the methodologies developed by these prize winners could eventually be applied to securing decentralized finance (DeFi) infrastructures. Readers should watch for further collaborations between the Office of Justin Sun and academic institutions in Nanjing and the UK, which could signal a deeper commitment to AI-driven blockchain research throughout 2027.