Outro projeto do Justin Sun que acho extremamente interessante desta vez não tem nada a ver com o preço do $TRX nem com DeFi. Em vez disso, ele se concentra em matemática + IA + código aberto.
Recentemente, <0>@justinsuntron </0> lançou os Problemas Inaugurais do 66º Prêmio da #JustinSunPrize. O conceito é bem diferente dos prêmios acadêmicos tradicionais, porque esta premiação não foca em “quem você é, de qual universidade você vem ou quão famoso você é.”
O que realmente importa é:
Você consegue resolver o problema e sua prova pode ser verificada por uma máquina?
O Justin Sun Prize usa um modelo de lista de problemas, abrindo questões matemáticas para participantes de todo o mundo — incluindo pesquisadores, desenvolvedores, colaboradores independentes, equipes de Humano + IA, e pesquisadores assistidos por IA.
O que eu mais gosto é que as provas qualificatórias precisam passar por verificação formal, como por meio do Lean. Não basta escrever uma resposta que apenas pareça correta. A prova deve permitir que uma máquina verifique a lógica do começo ao fim.
Em outras palavras:
Não é sobre “acreditar que está correto”. É sobre “provar de uma forma verificável”.
A categoria mais alta de premiação, Pinnacle, oferece uma recompensa de US$ 1.000.000 por cada problema resolvido e encerrado com sucesso.
Para mim, o aspecto mais interessante dos primeiros 66 Problemas do Prêmio não é apenas o dinheiro do prêmio. É o fato de que esta iniciativa está experimentando um novo modelo de pesquisa na era da IA.
Tradicionalmente, o processo funciona assim:
Uma pessoa formula o problema → um matemático desenvolve a prova → especialistas leem e revisam.
Mas poderia evoluir para:
Humanos pensam + a IA ajuda na descoberta + as Máquinas verificam a prova + o código aberto permite que todos revisem depois
Se esse modelo der certo, ele pode dar a indivíduos, equipes pequenas e pessoas fora de universidades renomadas mais oportunidades para resolver problemas de nível mundial. No fim das contas, o que é medido não é reputação, mas a qualidade da prova.
@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON
Recentemente, <0>@justinsuntron </0> lançou os Problemas Inaugurais do 66º Prêmio da #JustinSunPrize. O conceito é bem diferente dos prêmios acadêmicos tradicionais, porque esta premiação não foca em “quem você é, de qual universidade você vem ou quão famoso você é.”
O que realmente importa é:
Você consegue resolver o problema e sua prova pode ser verificada por uma máquina?
O Justin Sun Prize usa um modelo de lista de problemas, abrindo questões matemáticas para participantes de todo o mundo — incluindo pesquisadores, desenvolvedores, colaboradores independentes, equipes de Humano + IA, e pesquisadores assistidos por IA.
O que eu mais gosto é que as provas qualificatórias precisam passar por verificação formal, como por meio do Lean. Não basta escrever uma resposta que apenas pareça correta. A prova deve permitir que uma máquina verifique a lógica do começo ao fim.
Em outras palavras:
Não é sobre “acreditar que está correto”. É sobre “provar de uma forma verificável”.
A categoria mais alta de premiação, Pinnacle, oferece uma recompensa de US$ 1.000.000 por cada problema resolvido e encerrado com sucesso.
Para mim, o aspecto mais interessante dos primeiros 66 Problemas do Prêmio não é apenas o dinheiro do prêmio. É o fato de que esta iniciativa está experimentando um novo modelo de pesquisa na era da IA.
Tradicionalmente, o processo funciona assim:
Uma pessoa formula o problema → um matemático desenvolve a prova → especialistas leem e revisam.
Mas poderia evoluir para:
Humanos pensam + a IA ajuda na descoberta + as Máquinas verificam a prova + o código aberto permite que todos revisem depois
Se esse modelo der certo, ele pode dar a indivíduos, equipes pequenas e pessoas fora de universidades renomadas mais oportunidades para resolver problemas de nível mundial. No fim das contas, o que é medido não é reputação, mas a qualidade da prova.
@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON
