Justin Sun Prize 首批获奖者公布，表彰人类与 AI 协作解决 Erdős 问题

Justin Sun Prize 办公室宣布首批获奖者，包括 Wouter van Doorn、Quanyu Tang 和 Yanyang Li，以表彰其在六个 Erdős 数学问题上的贡献。团队利用 ChatGPT 制定策略及 Aristotle 修复 Lean 证明缺口，解决了 Problem #650 等问题。奖金将以 TRON 链 USDT 或以太坊 USDC 形式发放。