Justin Sun Prize 公布首批获奖者，聚焦人机协作攻克埃尔德什问题

Techub News 消息，Justin Sun 办公室今日公布 Justin Sun Prize 首批获奖者，以表彰他们在解决多个埃尔德什问题上的贡献，同时展示人类与 AI 协作处理数学难题的潜力。

首批获奖者包括独立研究员 Wouter van Doorn、中国科学技术大学数学博士生汤泉宇，以及东南大学数学研究员李彦阳。

解决多个埃尔德什问题

据介绍，三名获奖者的工作解决了多个数学难题，其中包括埃尔德什问题 #650。

在 #650 的求解过程中，研究人员使用 ChatGPT 协助制定证明策略，并借助名为 Aristotle 的数学推理 AI 系统，在形式化验证阶段填补论证漏洞。最终，研究人员对论证进行了简化，并完成最后证明。

奖金支付方式

该奖项奖金将根据获奖者的选择，以 TRON 上的 USDT 或以太坊上的 USDC 支付。

Justin Sun Prize 是一项面向数学研究、区块链与 AI 交叉领域的奖项计划。

该消息引述自 BeInCrypto。