O primeiro conjunto de vencedores do Justin Sun Prize já foi oficialmente confirmado👏
Parabéns a Wouter van Doorn, Yanyang Li e Quanyu Tang por terem conseguido resolver o problema do catálogo de Erdős com sucesso. Este é mais um marco importante do projeto, que tem uma ideia bastante clara: premiar trabalhos matemáticos que possam ser provados, verificados e confirmados de fato.
O que é interessante no Justin Sun Prize é que o projeto não dá prioridade à reputação, à universidade ou ao Status dos participantes. Em vez disso, ele utiliza uma Problem List aberta e se concentra em resultados que possam ser verificados. Há tanto pessoas que resolvem os problemas matemáticos quanto aquelas que ajudam a transformar essas respostas em Lean Proof, que pode ser verificado por máquinas.
Atualmente, o Problem Bank do projeto tem mais de 1.000 problemas, com informações públicas sobre o Candidate, Verification Evidence e os Awards que já foram confirmados
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Parabéns a Wouter van Doorn, Yanyang Li e Quanyu Tang por terem conseguido resolver o problema do catálogo de Erdős com sucesso. Este é mais um marco importante do projeto, que tem uma ideia bastante clara: premiar trabalhos matemáticos que possam ser provados, verificados e confirmados de fato.
O que é interessante no Justin Sun Prize é que o projeto não dá prioridade à reputação, à universidade ou ao Status dos participantes. Em vez disso, ele utiliza uma Problem List aberta e se concentra em resultados que possam ser verificados. Há tanto pessoas que resolvem os problemas matemáticos quanto aquelas que ajudam a transformar essas respostas em Lean Proof, que pode ser verificado por máquinas.
Atualmente, o Problem Bank do projeto tem mais de 1.000 problemas, com informações públicas sobre o Candidate, Verification Evidence e os Awards que já foram confirmados
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
