O Prémio Justin Sun explicou o processo de atribuição dos prémios matemáticos. Mesmo que um investigador apresente uma demonstração correta, isso não significa que receba automaticamente o prémio. Primeiro, o trabalho passa por uma verificação técnica e, em seguida, torna-se uma candidatura pública que qualquer pessoa pode contestar durante 14 dias.
Novos esclarecimentos foram publicados no repositório oficial da Justin Sun Prize no GitHub e visam aumentar a transparência na avaliação das conquistas matemáticas.
Da prova ao prêmio oficial
O procedimento padrão da Justin Sun Prize, aplicável a problemas fora do programa-piloto da MathDB, prevê várias etapas.
Primeira etapa: apresentação da solução matemática.
O pesquisador apresenta uma prova completa do problema e comprova sua autoria.
Se necessário, outro especialista pode preparar uma formalização da prova no sistema Lean, que permite verificar computacionalmente a correção do raciocínio matemático.
O autor da solução matemática e o autor de sua formalização podem ser pessoas diferentes.
Segunda etapa: verificação e registro do candidato.
Os organizadores verificam o resultado matemático, a correspondência entre a prova formal e o problema original, bem como os materiais apresentados.
Após as verificações necessárias, o trabalho pode ser incluído no registro público de candidatos.
É importante notar que nem mesmo a aceitação dos materiais e a integração das alterações no GitHub significam que o prêmio foi concedido.
14 dias durante os quais qualquer pessoa pode contestar o resultado
Após a publicação do candidato no registro oficial, começa um período de verificação pública de 14 dias.
Durante esse período, qualquer membro da comunidade matemática pode apresentar uma objeção fundamentada.
É permitido contestar:
A correção matemática da prova.
A autoria do resultado apresentado.
A prioridade da descoberta ou da formalização.
A identidade do candidato.
O cumprimento das condições para receber o prêmio.
Por exemplo, se outro pesquisador puder comprovar que obteve uma solução correta antes, os organizadores deverão analisar as provas apresentadas. Para estabelecer a prioridade, são consideradas não apenas as datas de publicação ou dos commits do Git, mas também comprovações independentes do momento em que o trabalho foi criado.
Se uma objeção fundamentada for apresentada durante a verificação pública, o processo não será concluído até que a disputa seja resolvida.
E, quando a substituição do candidato por um novo autor for confirmada, terá início um período separado de 14 dias para o resultado em questão.
Quando o pesquisador recebe oficialmente o prêmio?
Mesmo a conclusão bem-sucedida do período de duas semanas não significa que o pagamento será feito imediatamente.
Para que o prêmio seja concedido oficialmente, é necessário concluir a verificação de identidade, confirmar o beneficiário e assegurar que não haja objeções pendentes ou candidaturas concorrentes.
Somente depois que todos os requisitos forem cumpridos o resultado passa da lista de candidatos para o registro oficial de laureados.
Em seguida, os organizadores anunciam a concessão do prêmio e efetuam o pagamento previsto.
Assim, ser candidato público e ser laureado confirmado da Justin Sun Prize são dois status diferentes.
E quanto à parceria com a MathDB?
Recentemente, a Justin Sun Prize anunciou uma colaboração com a plataforma matemática MathDB, sob a direção científica do professor Tony Yue Yu, do Caltech.
No âmbito da parceria, foi lançado um programa-piloto com 50 problemas matemáticos.
Para ela, há um procedimento separado para a apresentação de materiais e a verificação das soluções, incluindo a avaliação independente das soluções matemáticas, das formalizações em Lean e das explicações.
Por isso, o procedimento padrão do GitHub não pode ser aplicado automaticamente a todos os problemas do programa-piloto.
Ainda assim, a verificação pública, o estabelecimento da autoria e a confirmação dos beneficiários continuam sendo elementos importantes do processo de concessão dos prêmios.
Por que isso é importante para a matemática e a inteligência artificial?
Hoje, a inteligência artificial é cada vez mais usada para encontrar conjecturas matemáticas e construir provas. Mas, mesmo que a IA proponha uma solução convincente, isso ainda não significa que ela esteja matematicamente correta.
A verificação pública permite que outros pesquisadores encontrem erros, verifiquem a autoria e avaliem a prioridade dos resultados.
Lean desempenha um papel especialmente importante nesse processo, pois ajuda a verificar a correção formal da prova. No entanto, uma verificação computacional bem-sucedida, por si só, não substitui a avaliação especializada de se a afirmação provada corresponde ao problema original.
Conclusão
A verificação pública de 14 dias é uma abordagem correta para a concessão de prêmios matemáticos, especialmente quando se trata de problemas complexos e recompensas financeiras significativas.
É importante que uma solução não seja considerada definitiva apenas com base na declaração do autor ou em uma verificação técnica preliminar.
Outros pesquisadores têm a oportunidade de verificar o resultado, apresentar seus próprios argumentos e contestar a prioridade da descoberta. Ao mesmo tempo, os organizadores verificam separadamente a identidade do beneficiário e seu direito ao prêmio.
Na era da inteligência artificial, esse sistema se torna especialmente relevante: encontrar uma solução promissora é apenas parte do trabalho. Também é necessário provar que ela está correta e confirmar sua autoria.
Se a Justin Sun Prize conseguir aplicar essas regras de forma consistente, a iniciativa poderá se tornar um exemplo interessante de um sistema aberto de avaliação das conquistas científicas. Afinal, para a matemática fundamental, o que mais importa não é o valor da recompensa, mas a confiabilidade do resultado obtido.