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