justinsunprize

O primeiro conjunto de vencedores do Justin Sun Prize já foi oficialmente confirmado👏

Parabéns a Wouter van Doorn, Yanyang Li e Quanyu Tang por terem conseguido resolver o problema do catálogo de Erdős com sucesso. Este é mais um marco importante do projeto, que tem uma ideia bastante clara: premiar trabalhos matemáticos que possam ser provados, verificados e confirmados de fato.

O que é interessante no Justin Sun Prize é que o projeto não dá prioridade à reputação, à universidade ou ao Status dos participantes. Em vez disso, ele utiliza uma Problem List aberta e se concentra em resultados que possam ser verificados. Há tanto pessoas que resolvem os problemas matemáticos quanto aquelas que ajudam a transformar essas respostas em Lean Proof, que pode ser verificado por máquinas.

Atualmente, o Problem Bank do projeto tem mais de 1.000 problemas, com informações públicas sobre o Candidate, Verification Evidence e os Awards que já foram confirmados

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 PRÊMIO JUSTIN SUN（Prêmio Sun Yuchen）

✦ Por que o Prêmio Justin Sun foi criado?

É um prêmio criado pelo fundador da TRON, Sr. Justin Sun ( @justinsuntron ), para reverter seus próprios ativos pessoais em pesquisas matemáticas!

Por trás da criação, existe a seguinte motivação que o Sr. compartilhou em uma carta aberta.

💬 “A riqueza nasce da matemática. Por isso, deve ser revertida para a matemática.”

O que torna este prêmio interessante é que ele não avalia apenas quem resolve simplesmente problemas matemáticos difíceis👀

Principalmente, a avaliação se baseia em dois pontos!

✅ Solução de problemas matemáticos e avanço de pesquisas essenciais ✅ Esforços para converter esses resultados em formatos que possam ser verificados por máquinas como a IA (verificação formal)

Ou seja, além de novas descobertas matemáticas, também será valorizado tornar possível que sua correção seja confirmada por máquinas.

Além disso, o prêmio também tem como objetivo avaliar de forma adequada as conquistas produzidas em colaboração entre humanos e IA🤝

Não é só para impulsionar o avanço da pesquisa matemática — é para abrir o futuro da matemática junto, com IA e seres humanos.

É justamente esse tipo de apoio contínuo que o Justin Sun Prize busca oferecer🔥

#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron

https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ

🎯 Por que surgiu o “Justin Sun Prize”?@Justin Sun孙宇晨

Nesta imagem, é explicado o motivo da criação do Justin Sun Prize (Prêmio Sun Yuchen).

A matemática foi uma área importante que sustentou a carreira do Sr. Justin Sun.
Então, ele decidiu apoiar diretamente com recursos e criou um prêmio para dar suporte à pesquisa matemática e à verificação formal das provas.

O ponto é este aqui👇

🧮 O que é obtido da matemática, devolve-se à matemática

Com base nessa ideia,

🔹 Pesquisas que resolvem problemas difíceis da matemática
🔹 Transformar os resultados em “provas formalizadas” que possam ser verificadas por máquinas
🔹 Pesquisas em que humanos e IA colaboram

A proposta é criar um sistema para registrar e avaliar cada uma dessas conquistas e conectá-las a recompensas.

Ou seja, não é apenas um “concurso com premiação”: o diferencial é apoiar desde a resolução dos problemas matemáticos até o ponto de tornar as provas verificáveis por IA e computadores.

“Por que um novo prêmio surgiu?”

A resposta é que, agora, ele quer devolver à matemática que sustentou sua carreira—não apenas com reconhecimento, mas também com dinheiro e oportunidades.

E, ao incluir também pesquisas conjuntas com IA (não só com humanos), é interessante ver que isso volta o olhar para as possibilidades da pesquisa matemática no futuro.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends

Apresentando o #JustinSunPrize , um novo programa de bolsa acadêmica que recompensa avanços em matemática.

Os contribuidores podem resolver problemas elegíveis, formalizar seus resultados no Lean e enviar provas verificáveis por máquina por meio do repositório GitHub de código aberto do Prêmio.

Com cinco faixas de premiação e um prêmio principal de US$ 1 milhão, o programa está aberto a contribuidores elegíveis do mundo todo.

Resolva. Verifique. Reclame.

Saiba mais:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387

O que é provado, é resolvido.

O que é provado, é solucionado.

O #JustinSunPrize começa.

https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271

☀️ Bom dia, a todos.
Ontem eu escrevi sobre o Prêmio Justin Sun e por que a parte interessante não é apenas o valor em dinheiro do prêmio, mas a ideia de recompensar um trabalho que pode, de fato, ser verificado.
Esta manhã, há outra atualização que vale a pena acompanhar 👀
Justin Sun anunciou a primeira rodada de vencedores reconhecidos, junto com 66 problemas de prêmio baseados em uma ideia simples:
recompensar a solução, não a pessoa.
É essa a parte que acho mais interessante.
O foco está na resposta e na própria prova, seja ela feita por um humano, por uma IA ou por uma colaboração entre os dois.
E isso levanta uma pergunta maior.
Na era da IA, devemos nos importar mais com quem produziu a solução, ou com a possibilidade de o resultado realmente ser checado, reproduzido e verificado?
Essas duas coisas nem sempre são iguais.
Uma prova que passa na verificação por máquina e um resultado que é formalmente aceito pela comunidade acadêmica em geral podem acontecer em estágios diferentes.
Para mim, é aqui que isso fica muito mais interessante do que apenas “quem ganhou o prêmio”.
Se a IA começar a contribuir de forma mais séria para a matemática e a pesquisa, então a verificação pode se tornar tão importante quanto a descoberta.
Primeiro o café, depois volto a acompanhar esta história ☕️
Acho que ainda há muito mais para desdobrar.

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize

🏆 Como você participa do Justin Sun Prize?

Comece com o banco oficial de questões, que atualmente contém 1.022 problemas matemáticos.

Mas escolher um problema é só o começo.

O programa reconhece duas contribuições importantes:

🧠 O prover gera o resultado matemático.

💻 O formalizador transforma uma prova aceita em uma forma verificável por máquina quando a verificação formal for necessária.

A mesma pessoa pode desempenhar os dois papéis, ou contribuintes diferentes podem concluí-los.

📚 O processo básico:

1️⃣ Escolha um problema elegível no banco oficial
2️⃣ Verifique seu status e os requisitos publicados
3️⃣ Desenvolva uma prova matemática completa
4️⃣ Formalize o resultado quando necessário
5️⃣ Siga o caminho oficial de submissão para aquele problema
6️⃣ Conclua o processo aplicável de revisão e verificação

⚠️ Uma distinção importante:

Uma submissão no GitHub ou uma build de software bem-sucedida, por si só, não significa que um prêmio tenha sido ganho. Requisitos, ferramentas e métodos de submissão podem variar entre os problemas, e o reconhecimento segue as regras publicadas.

💡 O que mais me interessa é o padrão que está sendo criado para a era da IA.

A IA consegue gerar respostas rapidamente. A matemática faz uma pergunta mais difícil:

Cada passo da resposta pode ser provado e verificado de forma independente?

Essa combinação de raciocínio humano, assistência da IA e verificação formal pode se tornar cada vez mais importante à medida que a IA tenta resolver problemas matemáticos mais difíceis.

Escolha. Prove. Formalize. Verifique. 🧠⚡

Site oficial:
https://hejustinsun.com/prize

GitHub oficial:
https://github.com/TheJustinSunPrize/awards

@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF

📢 A matemática ganha um novo espaço… e o Prêmio Justin Sun coloca a prova no coração da competição 🏆📐

O Justin Sun Prize oferece recompensas que podem chegar a US$ 1M por conquistas importantes em matemática fundamental, com foco em provas formais que as máquinas conseguem verificar.

🧠 O programa inclui 66 problemas ligados a soluções e provas formais, abrindo espaço para diferentes áreas de matemática fundamental.

💻 A ideia não é apenas chegar a uma resposta correta, mas transformar o resultado em uma Prova Formal verificável com ferramentas de software, criando uma interseção clara entre matemática e IA.

🤖 E, de acordo com o anúncio, um dos primeiros grupos premiados foi uma equipe de pesquisa da OpenAI com trabalho relacionado a um problema de Navier-Stokes.

🌍 Além disso, a participação não depende de indicações ou credenciais acadêmicas, mas sim da contribuição em si: se o problema foi resolvido e provado do modo exigido.

🎯 Resumo: o prêmio apresenta um modelo diferente para recompensar conquistas matemáticas, unindo matemática fundamental, provas verificáveis e IA, com recompensas de até US$ 1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO

Lendo o post do Justin Sun sobre o Justin Sun Prize, eu não vejo isso como apenas mais um prêmio de matemática.

Eu vejo isso como uma forma de alguém do setor de blockchain retribuir à fundação que tornou o cripto possível: matemática, criptografia, funções de hash e curvas elípticas.

Sem matemática, o blockchain talvez ainda fosse apenas uma ideia em um quadro branco, aguardando seu primeiro bloco, enquanto as taxas de gas continuam subindo.

O que torna o Justin Sun Prize interessante é o foco em resultados, e não em idade, reputação ou indicações tradicionais.

Um avanço pode vir de um ser humano, de uma IA, ou de uma combinação dos dois. Mas para receber o prêmio, a prova deve ser formalizada e verificada por uma máquina do primeiro ao último passo, sem erros.

Em termos simples:

→ O provador cria o avanço.
→ O formalizador transforma isso em algo que uma máquina possa verificar.
→ O blockchain registra o processo publicamente e de forma transparente.

Eu especialmente gosto do mecanismo de “espera”. Assim que a comunidade matemática aceita uma prova, o nome do provador é registrado primeiro. O prêmio permanece bloqueado até que a prova seja formalmente verificada.

Esse período de espera não é tempo desperdiçado. Ele vira uma lista pública de tarefas importantes para matemáticos, desenvolvedores e pesquisadores de IA concluírem.

O Justin Sun ainda pode ser uma figura controversa, mas reputação não se constrói apenas com palavras. Ela é construída pelo que permanece depois de muitos anos.

Se esse sistema funcionar como foi projetado, ele pode se tornar um investimento de longo prazo em conhecimento, transparente como blockchain e duradouro como matemática.

LFG!!!

#Tron #JustinSunPrize

Resolver o problema e formalizar a prova merecem reconhecimento.

É assim que a #JustinSunPrize está estruturada.

https://x.com/JustinSunPrize/status/2104485388048007170

Uma análise excepcional do novo paradigma de verificação formal introduzido pelo Sr @JustinSun com o #JustinSunPrize .🔴

Em contraste com a filantropia tradicional, este modelo descentralizado recompensa a lógica pura na velocidade da era da IA, transformando verdades humanas em código imutável verificado por máquinas na blockchain de $TRX .

Deixo uma decomposição visual do fluxo e seus estados-chave.

📚Mgtr. em TIC | David C🔽

🏆 O Prêmio Justin Sun abre novas perspectivas para desenvolvedores de software e pesquisadores!

Resolver problemas é uma etapa importante, mas provar a validade da solução não é menos importante. Nesse sentido, o programa The Justin Sun Prize destaca dois papéis fundamentais no mundo da programação e da verificação matemática, por meio de um mecanismo de premiação que combina inovação e precisão.

🔍 Como os prêmios são distribuídos?

O programa baseia a premiação em duas tarefas principais:

🔹 70% para o solucionador do problema (Problem Solver):
É concedido a quem tiver sucesso em encontrar uma solução para o problema apresentado, seja um indivíduo ou uma equipe, como reconhecimento pelo esforço empregado no desenvolvimento da solução e na obtenção do resultado desejado.

🔹 30% para o formalizador (Lean Formalizer):
É destinado a quem transformar a solução em uma forma matemática formal usando a linguagem Lean, uma ferramenta especializada que ajuda a verificar a correção de provas matemáticas de maneira precisa e verificável.

💡 O que é ainda mais interessante?

Se a mesma pessoa ou a mesma equipe conseguir realizar as duas tarefas, poderá receber 100% do valor do prêmio, de acordo com os requisitos e regras adotados pelo programa.

🔗 Para conhecer os detalhes e as condições:
hejustinsun.com/prize/rules

#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨

Notícias importantes no ecossistema da TRON ♦️

1️⃣ A capitalização das stablecoins na TRON cresceu US$ 4,8 bilhões em 90 dias e superou o crescimento combinado das outras 9 cadeias do top 10.

2️⃣ @Justin Sun孙宇晨 lança o Justin Sun Prize, um bounty descentralizado de até US$ 1M.
• Premia tanto quem demonstra um teorema quanto quem o formaliza em código verificável por máquina.
• Sem burocracia, aberto a humanos e IA, com fundos bloqueados na blockchain.

3️⃣ O ETF do $TRX , apostado pela CanaryFunds, já está ativo na etrade e abre mais exposição ao TRX nos mercados tradicionais.

// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //

#JustinSunPrize bttc para quando ?

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