“O Prêmio Sun Yuchen entrou em um período público de revisão de 14 dias para a sua primeira lista de vencedores, de acordo com informações oficiais divulgadas em 19 de setembro. Segundo a Odaily, a revisão abrange as questões 305, 371, 381, 526, 866 e 1001; os candidatos para 305, 371 e 381 estão listados como verificadores formais, os candidatos para 866 e 1001 estão listados como solucionadores matemáticos, e para 526 ambos os papéis estão listados.
A tabela oficial de registro de candidatos do GitHub publicou as informações de revisão, e o público pode apresentar desafios formais. O prêmio é descrito como um mecanismo descentralizado de recompensa acadêmica com zero confiança, baseado em uma lista de questões, com um valor máximo de $1 milhões por questão.
“No dia em que foi estabelecido”, significa que o prêmio passou para uma etapa aberta de verificação dos primeiros vencedores propostos.
Por 14 dias, membros do público podem revisar as informações dos candidatos e apresentar desafios formais se encontrarem um erro, uma prova inválida ou outro problema. Candidatos das questões 305, 371 e 381 estão sendo considerados como verificadores formais, o que significa que ajudaram a validar provas por meio de métodos formais rigorosos. Candidatos para as questões 866 e 1001 estão listados como solucionadores matemáticos, ou seja, recebem crédito por resolver esses problemas. A questão 526 inclui candidatos em ambos os papéis.
A descrição de “zero-trust” significa que o projeto pretende se basear em evidências transparentes e verificáveis de forma independente, em vez de pedir que as pessoas confiem apenas no organizador. A frase “No dia em que foi estabelecido” introduz um contexto adicional: quando o prêmio foi lançado, ele anunciou 66 problemas de matemática, divulgou um suposto pool de prêmios de US$ 10 milhões e disse que questões individuais poderiam oferecer prêmios de até $1 milhão.