Por que criei o Prêmio Justin Sun

一
Nobel inventou a dinamite. A maior parte de sua riqueza veio dessa invenção.
Diz-se que, em 1888, um jornal francês publicou por engano seu obituário, com o título "O mercador da morte morreu". Ele leu seu próprio obituário e, alguns anos depois, fez seu testamento.
Hoje ninguém mais o chama de mercador da morte.
"Nobel" tornou-se um substantivo neutro, como "volt" e "watt", sem carga emocional, apenas uma unidade. Ele entregou o dinheiro "a quem tivesse feito a maior contribuição à humanidade"; o dinheiro voltou às mãos da humanidade, e seu nome também voltou à neutralidade, não por meio de uma defesa, mas por mais de cem anos de listas de vencedores.
Conto essa história porque o entendo. Sei de onde veio o dinheiro e também sei para onde ele pode ir.

二
Minha riqueza tem a matemática como origem.
O setor de blockchain como um todo se apoia em construções criptográficas e hipóteses de segurança sustentadas por décadas de pesquisa: o logaritmo discreto em curvas elípticas é difícil de resolver, funções hash são irreversíveis e números grandes são difíceis de fatorar. Em 1985, dois matemáticos tiveram, cada um por conta própria, a ideia de usar curvas elípticas na criptografia: um em uma universidade, outro na IBM, sem se conhecerem. Naquele ano, ninguém achou que isso seria útil. O que eles escreveram no quadro-negro mais tarde se transformou em um mercado de trilhões de dólares, em algo sem precedentes: uma pessoa pode ter controle total sobre sua própria riqueza, sem precisar da autorização de ninguém. Eles próprios não receberam nem um centavo.
Essa liberdade é uma das dádivas da matemática à humanidade mais subestimadas. Eu tirei muito proveito dessa dádiva. Criar este prêmio é, antes de tudo, uma forma de pagar essa dívida.

三
O Prêmio Nobel não tem uma categoria de matemática. Foi uma omissão de mais de cem anos atrás; talvez houvesse motivos pessoais, talvez simplesmente não tenham pensado nisso.
Mais tarde vieram a Medalha Fields, concedida a cada quatro anos a pessoas com menos de quarenta anos; e o Prêmio Abel, concedido todos os anos para reconhecer realizações de uma vida inteira. Ambos são excelentes, mas seu ritmo é o ritmo de uma era anterior.
Na verdade, o mundo da matemática já teve outro tipo de prêmio. Erdős passou a vida atribuindo preços aos problemas, de US$ 25 a US$ 10 mil; quem os resolvesse recebia um cheque. Muitas pessoas emolduravam os cheques e os penduravam na parede, sem nunca descontá-los. Ele morreu em 1996 e, depois disso, cheques desse tipo foram emitidos cada vez menos.
Mas a matemática está entrando em uma era diferente. A inteligência artificial não consegue fazer experimentos, mas consegue fazer deduções; é muito difícil para a inteligência artificial construir um colisor para um físico, mas ela pode tentar mil caminhos para um matemático. Hoje, uma conjectura pode levar meses ou até dias para passar da formulação à solução. Um prêmio concedido a cada quatro anos, diante de tamanha velocidade, é como um relógio que bate uma vez a cada quatro anos, pendurado em uma era que mede o tempo em dias.

四
Por isso, as regras do Prêmio Justin Sun são muito simples.
O prêmio acompanha o problema, não a pessoa. Não espera conferências anuais, indicações ou limites de idade.
Cada problema tem duas colunas de nomes. Uma registra quem o provou; a outra, quem o formalizou — a pessoa que levou a prova para dentro da máquina. As duas colunas podem corresponder à mesma pessoa ou a pessoas que estejam em lados opostos do planeta e nunca tenham se conhecido. Humanos podem, a IA pode, humanos usando IA também podem; não me importo com a espécie em nenhuma das colunas. O mesmo nome pode aparecer repetidamente, em qualquer uma das colunas.
O dinheiro tem um único gatilho: a máquina verifica a prova da primeira à última linha, sem um único passo de diferença. Depois da aprovação, os nomes nas duas colunas são os beneficiários do prêmio daquele problema. Esse padrão não fui eu que inventei. Scholze colocou seu teorema mais importante à disposição, pedindo que alguém o levasse para dentro da máquina; o Último Teorema de Fermat está, neste momento, sendo levado para dentro dela, linha por linha.
Antes de a máquina verificar, a prova humana também não é trabalho em vão. A comunidade matemática a aceita, o nome é registrado primeiro, o dinheiro não se move nem um centavo, e a barra de status diz: provado, aguardando formalização.
O dinheiro da coluna de resolução só é pago para problemas resolvidos depois de serem publicados. Se o problema já estava resolvido quando foi publicado, o nome do provador é registrado como de costume, mas o dinheiro só é pago a quem o levar para dentro da máquina. Este prêmio registra o que acontece depois de sua criação; não paga prêmios retroativamente à história da matemática.
A divisão do trabalho é limpa: os nomes pertencem à comunidade matemática, o dinheiro pertence à máquina, e o financiador não se envolve com nenhum dos lados. O julgamento humano se resume a uma coisa: confirmar que o problema escrito na máquina é aquele problema.
Resta uma última coisa que cabe a mim decidir: a lista de problemas. Quais problemas serão publicados e qual será o preço, eu decido com minha assinatura. Os cheques de Erdős também tinham seus valores escritos por ele mesmo; aqui não vou fingir que é diferente. Mas, uma vez colocado na prateleira, fica imutável: só se acrescentam problemas, o dinheiro só é resgatado e não é devolvido, e ninguém, inclusive eu, pode alterar nada. Se um problema estiver errado, o pagamento será feito mesmo assim, e ele será publicado novamente.
Todo o meu gosto é empregado nesta única tarefa. Fora a precificação, não tenho qualquer participação na verificação, no pagamento ou no registro dos nomes.
Os resultados é que decidem.

五
O que mais gosto neste conjunto de regras é uma palavra: "esperar".
Depois que um problema é resolvido e aceito pela comunidade matemática, o dinheiro não se move imediatamente. O nome do provador é registrado primeiro, a coluna de formalização fica vazia e a barra de status diz: provado, aguardando formalização. Quem levar essa prova para dentro da máquina, após a verificação da máquina, preencherá a coluna vazia com seu nome; é nesse momento que começa a jornada da propriedade do dinheiro.
Em outros prêmios, esperar é atraso, procedimento, um mal necessário. Aqui, esperar é uma lista por si só.
Muitas pessoas emolduraram os cheques de Erdős e nunca os descontaram em toda a vida. O dinheiro emoldurado olha para trás: é uma lembrança; o dinheiro pendurado na blockchain olha para a frente: é um chamado. Uma coluna vazia equivale a dizer ao mundo inteiro: há um trabalho aqui, e ele tem um preço.
Assim, essa lista de problemas também dá origem a outra coisa: um mapa público que marca tudo o que a humanidade já reconheceu, mas a máquina ainda não reconheceu. Esse mapa não existe hoje. Ele só tem fragmentos espalhados em alguns lugares; nunca foi unificado e, muito menos, recebeu preços.
Nunca faltou entusiasmo às pessoas que fazem formalização; o que faltou foi uma planta de execução com preços. Quem preencher o espaço vazio ficará com o dinheiro. Daqui em diante, levar provas longas para dentro da máquina continuará sendo tarefa deles; a conta fica comigo. $ETH

‌#Gate打金狗獨家支持0Gas交易