Justin Sun acaba de anunciar o Justin Sun Prize, uma iniciativa focada em matemática, IA e verificabilidade por máquina.

O aspecto especial do prêmio não está em atribuir um título a um indivíduo, mas sim no próprio problema e na sua solução.

🔹
Prover — a pessoa que encontra e prova a solução.

🔹
Formalizer — quem transforma essa prova em um formato que a máquina possa verificar.

🔹
Human, AI or hybrid — a origem da solução não é um fator determinante.

🔹
Verificação por máquina — o prêmio só é liberado quando toda a prova for verificada corretamente pela máquina.

Justin Sun acredita que isso é especialmente adequado para a era da IA, quando a distância entre uma conjectura e uma prova pode ser reduzida de forma significativa.

A blockchain é usada para criar um mecanismo transparente e verificável para o fundo do prêmio: o valor deve ser bloqueado on-chain e só ser liberado quando as condições de verificação forem atendidas.

Esta também é uma história bastante interessante com crypto, em que de Mathematics → Cryptography → Blockchain → Wealth → Mathematics.

As bases matemáticas que antes contribuíram para a criação da indústria blockchain agora voltam a ser o lugar para onde o valor flui.

@justinsuntron também enfatiza que isso é apenas o começo — atualmente, é um prêmio voltado para a matemática.

Uma ideia digna de nota à medida que IA, matemática e blockchain estão cada vez mais se cruzando.
🤖🔗🧠