孙割刚刚在 X 发布推文
Por que eu criei o Prêmio Sun Yuchen
I
Nobel inventou a pólvora. A maior parte da riqueza de sua vida veio dessa coisa.
Dizem que, em 1888, um jornal francês publicou por engano um obituário seu, com o título “O homem do comércio da morte morreu”. Ele leu o obituário. Alguns anos depois, fez um testamento.
Hoje ninguém mais o chama de homem do comércio da morte.
“Nobel” virou um substantivo neutro, como “volt” e “watt”, sem carga emocional, apenas uma unidade. Ele entregou o dinheiro a “quem fez a maior contribuição para a humanidade”, e o dinheiro voltou às mãos da humanidade; o nome dele também voltou à neutralidade. Não foi por meio de defesa, mas por uma lista de vencedores de mais de cem anos.
Eu conto essa história porque eu o entendo. Eu sei de onde o dinheiro veio, e sei para onde o dinheiro pode ir.
II
A raiz da minha riqueza é a matemática.
A indústria de blockchain, no geral, é construída sobre algumas estruturas criptográficas e premissas de segurança sustentadas por pesquisas de longo prazo: o logaritmo discreto difícil de resolver em curvas elípticas, funções hash que não podem ser invertidas, e a dificuldade de fatorar números grandes. Em 1985, dois matemáticos, cada um por conta própria, pensaram que dava para usar curvas elípticas em criptografia: um na universidade, outro na IBM, sem se conhecerem. Naquele ano, ninguém achou que isso seria útil. O que eles escreveram no quadro depois virou um mercado de um trilhão de dólares. Virou algo jamais visto: uma pessoa pode controlar totalmente sua própria riqueza, sem precisar de permissão de ninguém. Eles mesmos não ganharam nem um centavo.
Essa liberdade é uma das dádivas da matemática para a humanidade que mais foi subestimada. Eu tirei muitas coisas dessa dádiva. Criar este prêmio é, antes de tudo, quitar dívidas.
III
O Prêmio Nobel não tem categoria de matemática. Foi uma omissão de mais de cem anos atrás — talvez por motivos pessoais, talvez simplesmente porque não se tenha pensado.
Depois veio a Medalha Fields, a cada quatro anos, para quem tem menos de quarenta; e surgiu o Prêmio Abel, uma vez por ano, premiando realizações da vida inteira. Eles são muito bons, mas o ritmo é o ritmo da era anterior.
Na verdade, a comunidade matemática já teve outro tipo de prêmio. Durante toda a vida, Erdős deu “preço” para problemas: de 25 dólares a 10 mil dólares; quem resolvesse, ele emitia um cheque. Muita gente emoldurou os cheques na parede, mas nunca os resgatou. Ele morreu em 1996; depois disso, os cheques emitidos ficaram cada vez mais raros.
E a matemática está entrando em uma era diferente. A inteligência artificial não consegue fazer experimentos, mas consegue deduzir; é difícil a IA construir um acelerador para físicos, mas ela pode testar dez mil caminhos para matemáticos. Hoje, de uma conjectura até a solução, pode levar meses ou pode levar dias. Um prêmio concedido a cada quatro anos, diante de uma velocidade dessas, é como um relógio que bate uma vez a cada quatro anos, pendurado numa era que mede o tempo em dias.
IV
Assim, as regras do Prêmio Sun Yuchen são bem simples.
O prêmio segue o enunciado, não segue pessoas. Não depende de convenção, não depende de indicação, não depende de idade.
Para cada problema, há duas colunas para assinatura. Uma coluna registra quem provou; a outra, quem formalizou, a pessoa que leva a prova para dentro da máquina. As duas colunas podem ser a mesma pessoa ou pessoas que nem se conhecem, mesmo do outro lado do planeta. Tanto humanos quanto IA podem; humanos usando IA também podem. Em qual coluna, eu não me importo com a espécie. O mesmo nome pode aparecer uma vez e outra; tanto faz em qual coluna.
Só há um gatilho para o dinheiro: a máquina verifica a prova, da primeira até a última linha, sem errar uma etapa. Passando por isso, as listas nas duas colunas viram os donos do prêmio do problema. Esse critério não foi inventado por mim. Scholze publicou seus teoremas mais importantes e pediu que fossem levados para dentro da máquina; o Teorema de Fermat, neste momento, está sendo inserido linha por linha.
Antes de a máquina verificar, as provas humanas também não são feitas em vão. A comunidade matemática as aceita: o nome vai primeiro para a prateleira, o dinheiro não se move um centavo. No painel de status está escrito: “provado, aguardando formalização”.
O dinheiro na coluna de quem resolve só é pago para os problemas depois de colocados na prateleira. Problemas já resolvidos quando são colocados: o nome de quem provou continua registrado; o dinheiro é pago apenas a quem leva a prova para dentro da máquina. Este prêmio registra o que acontece depois de sua criação; não emite bônus retroativos para a história da matemática.
A divisão é limpa: nomes para a comunidade matemática, dinheiro para a máquina; quem financia não tem participação em nenhum dos lados. O julgamento humano fica reduzido a uma única coisa: confirmar que o enunciado que foi colocado na máquina é “aquele” problema.
Resta a última coisa que cabe a mim decidir: a lista de problemas. Quais problemas entram na prateleira, qual o preço que terá, isso é decidido com minha assinatura. O cheque de Erdős também tinha valores escritos por ele mesmo; aqui não se monta exceção. Mas, assim que a prateleira é aberta, fica travado: problemas só podem ser adicionados, não removidos; dinheiro só pode ser resgatado, não devolvido — inclusive por mim, ninguém consegue mudar. Se houver um enunciado escrito errado, paga-se do mesmo jeito e recoloca-se.
Meu gosto se gasta inteiramente nessa única coisa. Fora a precificação, verificação, liberação do dinheiro e colocação de nomes: eu não voto em nada.
O resultado decide por si.
V
Dentro dessas regras, a coisa que eu mais gosto é a palavra “aguardar”.
Depois que um problema é resolvido e aceito pela comunidade matemática, o dinheiro não se movimenta imediatamente. O nome do solucionador é colocado primeiro; a coluna de formalização fica vazia; no painel de status está escrito: “provado, aguardando formalização”. A pessoa que levar essa prova para dentro da máquina, a máquina verificar, e então a coluna vazia receber um nome — é naquele instante que a viagem da titularidade do dinheiro começa.
Em outros prêmios, “aguardar” é atraso, é processo, é um mal necessário. Aqui, “aguardar” em si é uma lista.
O cheque de Erdős, muita gente emoldurou na parede, mas nunca foi resgatado. O dinheiro emoldurado, olhando para trás, é lembrança; o dinheiro pendurado na corrente, olhando para frente, é convocação. Uma coluna vazia equivale a dizer ao mundo inteiro: aqui há uma vida, com valor.
Assim, essa lista de problemas faz crescer também outra coisa: um mapa público, marcando tudo aquilo que a humanidade já reconheceu, mas a máquina ainda não reconheceu. Este mapa hoje não existe. Só existem fragmentos, espalhados em alguns lugares, nunca unificados, e nunca com preço junto.
As pessoas de formalização nunca carecem de entusiasmo; falta-lhes um diagrama de obra com etiquetas de preço. Quem for preencher aquele espaço, leva o dinheiro. Daqui em diante, levando provas longas para dentro da máquina: o entusiasmo continua sendo deles, e a conta fica comigo.
Por que eu criei o Prêmio Sun Yuchen
I
Nobel inventou a pólvora. A maior parte da riqueza de sua vida veio dessa coisa.
Dizem que, em 1888, um jornal francês publicou por engano um obituário seu, com o título “O homem do comércio da morte morreu”. Ele leu o obituário. Alguns anos depois, fez um testamento.
Hoje ninguém mais o chama de homem do comércio da morte.
“Nobel” virou um substantivo neutro, como “volt” e “watt”, sem carga emocional, apenas uma unidade. Ele entregou o dinheiro a “quem fez a maior contribuição para a humanidade”, e o dinheiro voltou às mãos da humanidade; o nome dele também voltou à neutralidade. Não foi por meio de defesa, mas por uma lista de vencedores de mais de cem anos.
Eu conto essa história porque eu o entendo. Eu sei de onde o dinheiro veio, e sei para onde o dinheiro pode ir.
II
A raiz da minha riqueza é a matemática.
A indústria de blockchain, no geral, é construída sobre algumas estruturas criptográficas e premissas de segurança sustentadas por pesquisas de longo prazo: o logaritmo discreto difícil de resolver em curvas elípticas, funções hash que não podem ser invertidas, e a dificuldade de fatorar números grandes. Em 1985, dois matemáticos, cada um por conta própria, pensaram que dava para usar curvas elípticas em criptografia: um na universidade, outro na IBM, sem se conhecerem. Naquele ano, ninguém achou que isso seria útil. O que eles escreveram no quadro depois virou um mercado de um trilhão de dólares. Virou algo jamais visto: uma pessoa pode controlar totalmente sua própria riqueza, sem precisar de permissão de ninguém. Eles mesmos não ganharam nem um centavo.
Essa liberdade é uma das dádivas da matemática para a humanidade que mais foi subestimada. Eu tirei muitas coisas dessa dádiva. Criar este prêmio é, antes de tudo, quitar dívidas.
III
O Prêmio Nobel não tem categoria de matemática. Foi uma omissão de mais de cem anos atrás — talvez por motivos pessoais, talvez simplesmente porque não se tenha pensado.
Depois veio a Medalha Fields, a cada quatro anos, para quem tem menos de quarenta; e surgiu o Prêmio Abel, uma vez por ano, premiando realizações da vida inteira. Eles são muito bons, mas o ritmo é o ritmo da era anterior.
Na verdade, a comunidade matemática já teve outro tipo de prêmio. Durante toda a vida, Erdős deu “preço” para problemas: de 25 dólares a 10 mil dólares; quem resolvesse, ele emitia um cheque. Muita gente emoldurou os cheques na parede, mas nunca os resgatou. Ele morreu em 1996; depois disso, os cheques emitidos ficaram cada vez mais raros.
E a matemática está entrando em uma era diferente. A inteligência artificial não consegue fazer experimentos, mas consegue deduzir; é difícil a IA construir um acelerador para físicos, mas ela pode testar dez mil caminhos para matemáticos. Hoje, de uma conjectura até a solução, pode levar meses ou pode levar dias. Um prêmio concedido a cada quatro anos, diante de uma velocidade dessas, é como um relógio que bate uma vez a cada quatro anos, pendurado numa era que mede o tempo em dias.
IV
Assim, as regras do Prêmio Sun Yuchen são bem simples.
O prêmio segue o enunciado, não segue pessoas. Não depende de convenção, não depende de indicação, não depende de idade.
Para cada problema, há duas colunas para assinatura. Uma coluna registra quem provou; a outra, quem formalizou, a pessoa que leva a prova para dentro da máquina. As duas colunas podem ser a mesma pessoa ou pessoas que nem se conhecem, mesmo do outro lado do planeta. Tanto humanos quanto IA podem; humanos usando IA também podem. Em qual coluna, eu não me importo com a espécie. O mesmo nome pode aparecer uma vez e outra; tanto faz em qual coluna.
Só há um gatilho para o dinheiro: a máquina verifica a prova, da primeira até a última linha, sem errar uma etapa. Passando por isso, as listas nas duas colunas viram os donos do prêmio do problema. Esse critério não foi inventado por mim. Scholze publicou seus teoremas mais importantes e pediu que fossem levados para dentro da máquina; o Teorema de Fermat, neste momento, está sendo inserido linha por linha.
Antes de a máquina verificar, as provas humanas também não são feitas em vão. A comunidade matemática as aceita: o nome vai primeiro para a prateleira, o dinheiro não se move um centavo. No painel de status está escrito: “provado, aguardando formalização”.
O dinheiro na coluna de quem resolve só é pago para os problemas depois de colocados na prateleira. Problemas já resolvidos quando são colocados: o nome de quem provou continua registrado; o dinheiro é pago apenas a quem leva a prova para dentro da máquina. Este prêmio registra o que acontece depois de sua criação; não emite bônus retroativos para a história da matemática.
A divisão é limpa: nomes para a comunidade matemática, dinheiro para a máquina; quem financia não tem participação em nenhum dos lados. O julgamento humano fica reduzido a uma única coisa: confirmar que o enunciado que foi colocado na máquina é “aquele” problema.
Resta a última coisa que cabe a mim decidir: a lista de problemas. Quais problemas entram na prateleira, qual o preço que terá, isso é decidido com minha assinatura. O cheque de Erdős também tinha valores escritos por ele mesmo; aqui não se monta exceção. Mas, assim que a prateleira é aberta, fica travado: problemas só podem ser adicionados, não removidos; dinheiro só pode ser resgatado, não devolvido — inclusive por mim, ninguém consegue mudar. Se houver um enunciado escrito errado, paga-se do mesmo jeito e recoloca-se.
Meu gosto se gasta inteiramente nessa única coisa. Fora a precificação, verificação, liberação do dinheiro e colocação de nomes: eu não voto em nada.
O resultado decide por si.
V
Dentro dessas regras, a coisa que eu mais gosto é a palavra “aguardar”.
Depois que um problema é resolvido e aceito pela comunidade matemática, o dinheiro não se movimenta imediatamente. O nome do solucionador é colocado primeiro; a coluna de formalização fica vazia; no painel de status está escrito: “provado, aguardando formalização”. A pessoa que levar essa prova para dentro da máquina, a máquina verificar, e então a coluna vazia receber um nome — é naquele instante que a viagem da titularidade do dinheiro começa.
Em outros prêmios, “aguardar” é atraso, é processo, é um mal necessário. Aqui, “aguardar” em si é uma lista.
O cheque de Erdős, muita gente emoldurou na parede, mas nunca foi resgatado. O dinheiro emoldurado, olhando para trás, é lembrança; o dinheiro pendurado na corrente, olhando para frente, é convocação. Uma coluna vazia equivale a dizer ao mundo inteiro: aqui há uma vida, com valor.
Assim, essa lista de problemas faz crescer também outra coisa: um mapa público, marcando tudo aquilo que a humanidade já reconheceu, mas a máquina ainda não reconheceu. Este mapa hoje não existe. Só existem fragmentos, espalhados em alguns lugares, nunca unificados, e nunca com preço junto.
As pessoas de formalização nunca carecem de entusiasmo; falta-lhes um diagrama de obra com etiquetas de preço. Quem for preencher aquele espaço, leva o dinheiro. Daqui em diante, levando provas longas para dentro da máquina: o entusiasmo continua sendo deles, e a conta fica comigo.
