🧮孙宇晨推出数学大奖 Justin Sun Prize
16 de setembro, o fundador da TRON, Justin Sun, anunciou a criação do Justin Sun Prize, destinado a recompensar pesquisadores que resolvam importantes problemas matemáticos e desenvolvedores que concluam provas formais verificáveis por máquina.
O prêmio não tem limite de idade nem de vagas; o único critério para resgate é a verificação integral e automatizada de toda a prova. A dotação do prêmio é bloqueada na cadeia: só pode ser adicionada, não pode ser retirada. As questões só podem ser incluídas, não removidas; mesmo que a descrição do problema esteja incorreta, a recompensa é paga do mesmo jeito. Justin Sun não participa da avaliação, ficando responsável apenas por propor os problemas e definir as recompensas, com a intenção de construir uma ponte entre a matemática teórica e incentivos on-chain. #SunYuchen
16 de setembro, o fundador da TRON, Justin Sun, anunciou a criação do Justin Sun Prize, destinado a recompensar pesquisadores que resolvam importantes problemas matemáticos e desenvolvedores que concluam provas formais verificáveis por máquina.
O prêmio não tem limite de idade nem de vagas; o único critério para resgate é a verificação integral e automatizada de toda a prova. A dotação do prêmio é bloqueada na cadeia: só pode ser adicionada, não pode ser retirada. As questões só podem ser incluídas, não removidas; mesmo que a descrição do problema esteja incorreta, a recompensa é paga do mesmo jeito. Justin Sun não participa da avaliação, ficando responsável apenas por propor os problemas e definir as recompensas, com a intenção de construir uma ponte entre a matemática teórica e incentivos on-chain. #SunYuchen