Sedang memuatkan…
Sedang memuatkan…
Techub News 消息，波场创始人孙宇晨在 X 平台宣布推出 Justin Sun Prize 学术奖励计划。该计划旨在奖励数学领域的突破性研究，参与者需解决符合条件的数学问题，并使用 Lean 语言将成果形式化，通过该计划的开源 GitHub 仓库提交机器可验证的证明。 该计划已列出五个待解决的数学问题，具体细节与提交指南可在其官网查看。孙宇晨表示，此举旨在推动数学研究的开源协作与形式化验证发展。（@justinsuntron）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
Semua maklumat di laman web ini adalah untuk rujukan sahaja.
Laman web ini tidak menjamin ketepatan, kesahan, ketepatan masa atau kelengkapan maklumat.
Pengguna menanggung sendiri risiko bagi tindakan berdasarkan maklumat di laman web ini.
Techub News 消息，波场创始人孙宇晨在 X 平台宣布推出 Justin Sun Prize 学术奖励计划。该计划旨在奖励数学领域的突破性研究，参与者需解决符合条件的数学问题，并使用 Lean 语言将成果形式化，通过该计划的开源 GitHub 仓库提交机器可验证的证明。 该计划已列出五个待解决的数学问题，具体细节与提交指南可在其官网查看。孙宇晨表示，此举旨在推动数学研究的开源协作与形式化验证发展。（@justinsuntron）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
Semua maklumat di laman web ini adalah untuk rujukan sahaja. Laman web ini tidak menjamin ketepatan, kesahan, ketepatan masa atau kelengkapan maklumat. Pengguna menanggung sendiri risiko bagi sebarang tindakan berdasarkan maklumat ini.
