Justin Sun’s office has announced the first recipients of the Justin Sun Prize, recognizing contributions to several Erdős problems and highlighting how human researchers and AI systems can work together on difficult mathematics. The initial winners are independent researcher Wouter van Doorn, Tang Quanyu, a mathematics PhD student at the University of Science and Technology of China, and Li Yanyang, a mathematics researcher at Southeast University. Their work solved multiple problems, including Erdős problem #650. In that case, the researchers used ChatGPT to help shape a proof strategy and relied on a mathematical reasoning AI system called Aristotle to patch gaps during formal verification before refining the argument and completing the final proof themselves. Prize payments will be made, at each winner’s option, in USDT on TRON or USDC on Ethereum. The Justin Sun Prize is designed to support work across mathematics research, blockchain, and AI.
Justin Sun’s office announced the first winners of the Justin Sun Prize, recognizing their contributions to solving several Erdős problems and pointing to the potential of collaboration between human researchers and AI.
The first group of recipients includes independent researcher Wouter van Doorn, Tang Quanyu, a mathematics PhD student at the University of Science and Technology of China, and Li Yanyang, a mathematics researcher at Southeast University.
Work included Erdős problem #650
According to the announcement, their research solved multiple mathematical problems, including Erdős problem #650.
While working on #650, the researchers used ChatGPT to help develop a proof strategy. They also used a mathematical reasoning AI system called Aristotle to fill gaps during formal verification. The researchers then simplified the argument and completed the final proof.
Prize payout options
Prize money will be paid based on each winner’s choice, either in USDT on TRON or in USDC on Ethereum.
The Justin Sun Prize is an award program aimed at supporting work at the intersection of mathematics research, blockchain, and AI.
The report was attributed to BeInCrypto.
This article was originally published by Bit.Fan. For more cryptocurrency news and market insights, visit www.bit.fan. Disclaimer:
The market information, project data, and third-party content displayed on this platform are for industry information sharing only and do not constitute any form of investment advice or return commitment.
Cryptocurrency trading carries high risks. Users should fully assess their risk tolerance and make independent decisions. All profits, losses, and legal responsibilities are borne by the users themselves.
