Em 16 de setembro, Sun Yuchen, fundador da TRON, anunciou oficialmente a criação do "Prêmio Sun Yuchen". Trata-se do primeiro mecanismo global de recompensa acadêmica descentralizada e de confiança zero baseado em uma "lista de problemas", com critérios únicos de premiação: avanços significativos em disciplinas básicas e verificação formal por máquina, com prêmios individuais máximos de até 1 milhão de dólares. A criação deste prêmio não apenas preenche a lacuna histórica de mais de cem anos sem um prêmio de matemática no Prêmio Nobel, mas também busca redefinir, na era da IA, a lógica e os limites das recompensas científicas, impulsionando a aceleração conjunta da pesquisa científica básica por humanos e inteligência artificial.
Sun Zhenyu também divulgou a lista dos primeiros vencedores do "Prêmio Sun Zhenyu", reconhecendo conquistas e provas formalizadas relacionadas a 66 problemas matemáticos. O prêmio principal foi atribuído à equipe de pesquisa da OpenAI, com um prêmio de 1 milhão de dólares, em reconhecimento às suas soluções e provas formalizadas para o problema da existência e suavidade das equações de Navier-Stokes tridimensionais. De acordo com as informações divulgadas pela OpenAI, a prova foi gerada por seu sistema interno, o trabalho de formalização foi realizado pelo GPT-6 Astra e já foi verificada pelo Lean.
Este problema envolve as equações de Navier–Stokes, que descrevem o movimento de fluidos, também conhecidas como equações N–S. Desenvolvidas no século XIX por físicos e matemáticos como o francês Claude-Louis Navier e o matemático irlandês-britânico George Gabriel Stokes, essas equações têm cerca de duzentos anos de história. Em 2000, o Clay Mathematics Institute listou o "problema da existência e suavidade das equações de Navier–Stokes tridimensionais" como um dos sete problemas do milênio, oferecendo uma recompensa de 1 milhão de dólares por sua solução.
Os resultados premiados nesta ocasião também envolvem a conjectura de Sendov, o problema dos subconjuntos distintos de Erdős e a conjectura de Dinitz–Garg–Goemans sobre manutenção de custos. Conforme estabelecido pelo "Prêmio Sun Yuchen", os vencedores listados devem solicitar ativamente o recebimento do prêmio.
Sun Zhenyu afirmou que a matemática é a linguagem e estrutura subjacentes a todas as ciências básicas. O que realmente amplia os limites do conhecimento humano nunca foi apenas a busca solitária, mas sim transformar insights em resultados formalizados que podem ser estritamente verificados por máquinas e reproduzidos por toda a humanidade. O "Prêmio Sun Zhenyu" foi criado exatamente para isso: não exige indicações tradicionais nem barreiras de qualificação, não segue um ritmo quadrienal ou baseado em conquistas ao longo da vida, mas vincula diretamente o prêmio em dinheiro a problemas matemáticos ainda não resolvidos e a provas formalizadas verificáveis por máquinas. Qualquer contribuidor — seja pesquisador profissional, entusiasta independente ou indivíduo ou equipe colaborando entre humanos e IA — que realize primeiro a ruptura receberá a recompensa.
Na era da IA, o ciclo de resolução de uma conjectura está sendo comprimido de anos para meses ou até dias. Os sistemas tradicionais de recompensa, baseados em "conquistas ao longo da vida" ou ciclos fixos, já não conseguem acompanhar esse ritmo acelerado da ciência. A visão do "Prêmio Sun Yuchen" é tornar-se o "Prêmio Nobel da era da IA", respondendo à profunda transformação da pesquisa científica e da incentivação nesse novo período por meio de um modelo mais descentralizado, mais formalizado e mais machine-driven. Ele manterá continuamente e atualizará publicamente um repositório de problemas matemáticos e código formalizado; assim que uma lista de problemas for publicada, será permanentemente bloqueada, com acréscimos apenas e sem exclusões, e os prêmios serão pagos e não reembolsáveis, tornando-se um "mapa de construção com preços atribuídos".
Segundo informado, o prêmio "Sun Yuchen" será concedido apenas ao primeiro a concluir; se múltiplas pessoas concluírem juntas, o prêmio será distribuído proporcionalmente conforme a contribuição. O resolvedor receberá 70% do prêmio total, e quem completar a verificação formal receberá 30%; se uma única pessoa completar tanto a resolução quanto a verificação formal, receberá o prêmio integral. Mesmo que o desafio seja resolvido por um sistema de inteligência artificial, o prêmio será concedido, mas deve ser solicitado e recebido legalmente por uma pessoa natural, entidade jurídica ou seu representante autorizado por escrito. O prêmio abrange avanços matemáticos obtidos a partir de 1º de janeiro de 2026; se o problema já tiver sido resolvido antes dessa data, mas a verificação formal for concluída posteriormente, o responsável pela verificação formal receberá o prêmio. A lista atual de problemas inclui a verificação formal da conjectura de Poincaré, a conjectura de Riemann, a conjectura de Goldbach, bem como numerosos problemas não resolvidos propostos pelo falecido matemático e ganhador do Prêmio Wolf, Paul Erdős.
Sun Zhenyu revelou que, além do prêmio em dinheiro, os vencedores também receberão certificados e medalhas, cujo lado frontal apresenta o retrato de Sun Zhenyu e a inscrição “Prêmio Sun Zhenyu” em chinês e inglês, enquanto o verso exibe uma gravura que representa a exploração humana do universo, com a inscrição latina “Quod probatur, solvitur”, que significa “O que é provado, é resolvido”. O corpo da medalha é feito de cobre, com revestimento de 6 gramas de ouro puro.
O "Prêmio Sun Yuchen" adere aos três princípios fundamentais de abertura, beneficência e código aberto: é acessível a todos os contribuidores qualificados, sem restrições de nacionalidade, instituição ou identidade, nem distinção entre humanos e IA; os fundos são destinados exclusivamente à concessão do prêmio e ao trabalho aberto, sem fins lucrativos; a lista de questões, critérios de confirmação, e materiais de prova e verificação são totalmente disponibilizados ao público através do GitHub, e os registros de distribuição dos prêmios são registrados na blockchain, tornando-os permanentemente rastreáveis e imutáveis.
Sun Zhenyu apontou que, atualmente, a tarefa de transformar provas matemáticas humanas em provas formalizáveis verificáveis por máquina ainda depende principalmente do entusiasmo espontâneo da comunidade de formalização, como o Lean, com uma ausência sistêmica de incentivos econômicos a longo prazo. "Os formalistas nunca faltam entusiasmo; o que falta é um mapa de construção com preços definidos." O "Prêmio Sun Zhenyu" oferece, pela primeira vez, uma lista pública e recompensada para este componente crucial, com o objetivo de transformar radicalmente essa situação.
Ele acrescentou: “Um prêmio nomeado após um nome próprio é a coisa menos política do mundo. Mais importante ainda, é dar uma resposta a si mesmo — minha riqueza tem sua origem na matemática. Ela vem da matemática e retorna à matemática.” De acordo com informações públicas, nos últimos anos, Sun Yuchen já doou aproximadamente 45 milhões de dólares americanos (cerca de 300 milhões de yuans chineses) em áreas como tecnologia, meio ambiente e resgate em desastres. A partir de agora, seu foco filantrópico será integralmente voltado para o “Prêmio Sun Yuchen”, promovendo continuamente avanços acelerados na ciência básica de forma aberta e verificável.
“Não sou matemático, sou um observador que paga. O resto, deixo para a prova,” disse Sun Zhen. A criação oficial do “Prêmio Sun Zhen” deu início a um novo paradigma de incentivo científico baseado na verificação por máquina, impulsionado pela colaboração homem-máquina e estruturado por recompensas descentralizadas.