Loading...
Loading...
Techub News 消息，Justin Sun 办公室今日公布了 Justin Sun Prize 的首批获奖者，表彰他们在解决多个埃尔德什问题上的贡献，并展示了人类与 AI 协作的潜力。获奖者包括独立研究员 Wouter van Doorn、中国科学技术大学数学博士生汤泉宇以及东南大学数学研究员李彦阳。 他们的工作解决了包括埃尔德什问题 #650 在内的多个数学难题。在解决 #650 的过程中，研究人员利用 ChatGPT 协助制定证明策略，并使用名为 Aristotle 的数学推理 AI 系统在形式化验证中填补了漏洞，最后由研究人员简化论证并完成最终证明。 该奖项奖金将根据获奖者选择，以 TRON 上的 USDT 或以太坊上的 USDC 支付。Justin Sun Prize 是一个旨在支持数学研究、区块链与 AI 交叉领域的奖项计划。（BeInCrypto）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。
本网站不保证信息的准确性、有效性、及时性和完整性。
任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
Techub News 消息，Justin Sun 办公室今日公布了 Justin Sun Prize 的首批获奖者，表彰他们在解决多个埃尔德什问题上的贡献，并展示了人类与 AI 协作的潜力。获奖者包括独立研究员 Wouter van Doorn、中国科学技术大学数学博士生汤泉宇以及东南大学数学研究员李彦阳。 他们的工作解决了包括埃尔德什问题 #650 在内的多个数学难题。在解决 #650 的过程中，研究人员利用 ChatGPT 协助制定证明策略，并使用名为 Aristotle 的数学推理 AI 系统在形式化验证中填补了漏洞，最后由研究人员简化论证并完成最终证明。 该奖项奖金将根据获奖者选择，以 TRON 上的 USDT 或以太坊上的 USDC 支付。Justin Sun Prize 是一个旨在支持数学研究、区块链与 AI 交叉领域的奖项计划。（BeInCrypto）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。本网站不保证信息的准确性、有效性、及时性和完整性。任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
