🏆 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
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
