O fundador da TRON, Justin Sun, anunciou a criação do Justin Sun Prize, um novo prêmio para a solução de problemas matemáticos complexos e para a formalização de provas para verificação por máquina.
A ideia difere visivelmente dos prêmios científicos tradicionais. Aqui não há limite de idade, cerimônia anual ou votação clássica de uma comissão. A principal condição para receber o prêmio é que, no fim, a demonstração matemática tenha de passar por uma verificação completa e automatizada, sem erros.
O mais interessante é que as regras do prêmio já levam em conta a nova realidade: as tarefas poderão ser resolvidas por pessoas, por inteligência artificial ou por uma pessoa em conjunto com a IA.
Duas recompensas para um único problema matemático
Para cada tarefa, há dois papéis separados.
A primeira é prover, ou seja, o autor da prova matemática.
Вторая - formalizer, pessoa ou sistema que traduz esta demonstração em uma forma rigorosa, permitindo que um computador verifique cada etapa.
Esses dois papéis podem ser desempenhados por um único participante, ou por pessoas completamente diferentes. Ao mesmo tempo, o próprio San declara que para ele não importa quem obteve o resultado: um humano, uma IA ou uma combinação deles.
Se a comunidade matemática reconhecer uma nova prova como correta, o nome de seu autor será registrado imediatamente. Mas o dinheiro ficará bloqueado com o status de “Proved, pending formalization” até a conclusão da formalização e da verificação automatizada.
Acontece um modelo interessante. Provar um teorema não é suficiente; é necessário também tornar a prova totalmente compreensível e verificável para a máquina.
Por que San decidiu criar um prêmio de matemática
Sua motivação, Justin San, relaciona diretamente à origem da indústria cripto. Ele observa que o blockchain existe graças à matemática e à criptografia: curvas elípticas, funções hash e outras construções matemáticas.
Segundo ele, uma parte significativa de sua fortuna ele obteve graças à indústria construída sobre essas descobertas; portanto, criar um prêmio pode devolver parte do que recebeu de volta ao fundamento da matemática.
Como exemplo histórico, San relembra o matemático Pál Erdős, que oferecia prêmios em dinheiro por soluções de problemas matemáticos em aberto, de US$ 25 a US$ 10.000. O Justin Sun Prize, na prática, transfere essa ideia para a era da IA e do blockchain.
Por que a inteligência artificial aqui é tão importante
Na opinião de San, a matemática está entrando em uma era completamente nova. A IA é especialmente adequada para tarefas ligadas a raciocínios lógicos e à busca entre um grande número de possíveis caminhos de solução. Portanto, a velocidade de surgimento e de verificação de provas matemáticas potencialmente pode aumentar de forma significativa.
É por isso que o prêmio não será realizado a cada alguns anos. Em vez disso, cria-se um registro atualizado continuamente de problemas matemáticos com prêmios definidos previamente.
San mantém o direito de determinar quais tarefas aparecerão na lista e quanto custará resolvê-las. Mas, depois de adicionar uma tarefa, ela não pode ser removida, e a recompensa destinada a ela não pode ser devolvida ao patrocinador.
Blockchain em vez de confiança no organizador
Outra parte incomum do Justin Sun Prize é o uso do blockchain para o fundo de prêmios. Segundo San, o fundo inicial já está alocado on-chain, e seu endereço e saldo ficam disponíveis publicamente. O próprio San reserva para si apenas a possibilidade de adicionar novos recursos.
Todos os pagamentos aos vencedores também devem permanecer no blockchain, permitindo uma verificação independente da história de distribuição dos prêmios. As provas matemáticas vencedoras serão publicadas abertamente.
Assim, San quer minimizar a necessidade de confiar nele ou em uma comissão separada: a correção da prova formalizada deve ser determinada pela matemática e pela verificação por computador, e o movimento dos recursos do prêmio deve ser registrado on-chain.
O prêmio não é limitado apenas a pessoas
Talvez a característica mais incomum do Justin Sun Prize esteja exatamente aqui. Prêmios científicos tradicionais foram criados para reconhecer as conquistas de pessoas. No novo sistema, a origem da solução, em princípio, não deve ser tão importante.
Se a IA encontrar a prova por conta própria, ou se o ser humano obtiver a prova em conjunto com a IA, o resultado pode ser elegível para reconhecimento sob as mesmas condições. O principal é a correção da prova e a possibilidade de sua verificação formal. Isso transforma o prêmio simultaneamente em um experimento na interseção entre matemática, IA e blockchain.
Por que o prêmio recebeu o nome de Justin Sun
San explica separadamente também por que a solução deve ser chamada de uma premiação com seu próprio nome. Ele cita como exemplo os prêmios Nobel, Fields, Abel e Turing e considera que um nome pessoal permite que a iniciativa exista independentemente de empresas e instituições.
Além disso, o San, de 36 anos, escreve que do montante de fortuna que já acumulou ele considera que já é suficiente e que quer determinar por conta própria sua destinação futura: o capital obtido graças à matemática deve voltar para a matemática.
Além disso, ele afirma que pretende concentrar os esforços de caridade futuros justamente no Justin Sun Prize, porque considera essa iniciativa seu contributo potencialmente mais significativo. Enquanto o prêmio for dedicado exclusivamente à matemática.
Conclusão
O mais interessante no Justin Sun Prize nem é o próprio fundo do prêmio, mas a tentativa de criar um novo modelo de recompensa científica para a era da inteligência artificial. Aqui se conectam três frentes ao mesmo tempo: a matemática fornece o problema, a IA pode participar de sua solução e formalização, e o blockchain garante a transparência da recompensa.
É especialmente significativo não haver uma separação essencial entre humano e máquina. Se a IA realmente começar a resolver por conta própria problemas matemáticos sérios, o Justin Sun Prize potencialmente pode se tornar um dos experimentos em que tais resultados não serão apenas demonstrados, mas verificados formalmente, registrados e receberão valor econômico.
Agora, a principal questão é quais exatamente problemas matemáticos em aberto aparecerão no registro oficial e quais quantias San atribuirá à sua solução.