Prémio Sun Yuchen confirma Neel Somani como o mais recente vencedor! Resolveu com sucesso os problemas matemáticos JSP-000239 e JSP-000327

Cripto Circle (120btc.CoM): Às 20h do dia 28 de outubro, horário de Pequim, a conta oficial do Prémio Sun Yuchen publicou uma nova edição dos vencedores, confirmando que o conhecido investigador quantitativo Neel Somani conquistou com sucesso o prémio, tornando-se o solucionador oficialmente reconhecido dos dois problemas difíceis, JSP-000239 e JSP-000327. A lista de honra oficial já o incluiu como solucionador de problemas matemáticos de 2026, juntamente com os verificadores formais correspondentes.

Como um académico com formação interdisciplinar, graduado na Universidade da Califórnia, Berkeley, com três diplomas em Matemática, Computação e Administração de Empresas, Somani trabalhou como investigador quantitativo no fundo de hedge de topo Citadel, e os seus resultados académicos foram selecionados para conferências de topo em sistemas de computação, como USENIX Security e OOPSLA. Anteriormente, ele usou a ferramenta de prova interativa formal Lean para identificar com sucesso um bug de degradação de desempenho no algoritmo de ordenação subjacente do CPython.

Ao resolver o primeiro problema JSP-000327 — que investiga se existem um número finito de igualdades entre produtos de coeficientes binomiais centrais distintos sob certas condições de restrição — ele inovou ao vincular profundamente a dedução matemática tradicional com algoritmos de ponta. Após inserir a proposição no modelo GPT 5.2 Pro para obter pistas iniciais de combinatória, ele validou rigorosamente a base da proposição através de cálculos algébricos manuais. Na noite em que a solução foi submetida ao fórum académico profissional, recebeu a validação independente substancial do matemático Daniel Larsen, e posteriormente a ferramenta matemática Aristotle, desenvolvida pela equipe Harmonic, gerou automaticamente o código formal Lean correspondente, completando o ciclo de prova de uma conjectura em linguagem natural para uma prova legível por máquina.

Formação de uma equipe universitária para resolver problemas sistematicamente

Após o sucesso inicial, Somani rapidamente expandiu sua pesquisa individual para um projeto industrial de colaboração homem-máquina. Ele uniu-se a estudantes de graduação de várias universidades, incluindo a Universidade da Califórnia, Berkeley, a Northwestern University e a Rice University, para formar uma equipe de ataque especializada, integrando completamente modelos de linguagem de grande escala para realizar uma triagem sistemática do banco de problemas de Erdős.

Dentro deste sistema de ataque em linha de montagem, a equipe conseguiu resolver o segundo problema JSP-000239 — que verifica se a cobertura de classes de resíduos infinitos pode ser uniformemente aproximada por um subconjunto finito em densidade de medida. Para o caminho lógico que foi seguido, a equipe entregou uniformemente ao instrumento Aristotle para a tradução do código formal subjacente. Mais valioso do ponto de vista metodológico, Somani sistematicamente documentou e tornou público em seu blog técnico um conjunto de "ontologias de casos de falha", visando ajudar a academia a localizar com precisão os limites das deficiências da IA em raciocínios formais. Em seu discurso de aceitação do prémio, Somani expressou gratidão pelo apoio da equipe de Sun Yuchen e enfatizou que a evolução da IA na dimensão do raciocínio matemático no último ano foi notável, e que a formalização de códigos pode ser utilizada não apenas para a revisão de teoremas matemáticos puros, mas também se tornar uma ferramenta industrial chave para garantir a correção absoluta de sistemas de software gerais.

Mecanismo de distribuição de fundos em ciclo fechado na blockchain

Desde a nomeação dos candidatos até a inclusão oficial no panteão de honra, todo o sistema de avaliação seguiu normas rigorosas de auditoria na blockchain e na comunidade de código aberto. De acordo com os registros da proposta numerada 5051 no repositório de código de prémios oficial do GitHub:

• Ponto um: As propostas de solução para os dois problemas foram oficialmente submetidas e publicadas para o período de deliberação pública em 30 de setembro;

• Ponto dois: Após 14 dias de revisão por pares na comunidade de código aberto sem objeções, foram oficialmente transferidas para a lista final de vencedores em 14 de outubro, e o iniciador do projeto, Sun Yuchen, também confirmou no mesmo dia que ambos os problemas foram aprovados com sucesso na validação formal;

• Ponto três: Às 20h do dia 28 de outubro, horário de Pequim, a oficialidade anunciou uma entrevista profunda com o vencedor, revelando todos os detalhes da resolução do problema.

Em termos de finanças e mecanismos de pagamento de prémios, este prémio estabeleceu regras claras de divisão de responsabilidades. De acordo com as diretrizes oficiais, o fundo de prémio para cada problema é dividido estritamente na proporção de 70% para o solucionador e 30% para o tradutor do código formal Lean; se um mesmo académico acumular ambas as funções, poderá receber o prémio total. O prémio máximo do Pinnacle é de até 1 milhão de dólares, enquanto os outros níveis são executados de acordo com a classificação de dificuldade, e todos os prémios são pagos na blockchain através de duas stablecoins regulamentadas, USDT e USDC. Para prevenir fraudes online e riscos de violação de privacidade, após o término do período de divulgação, os vencedores devem enviar informações de identidade e endereços de pagamento através do canal oficial de e-mail criptografado para completar a verificação offline, sendo estritamente proibido publicar chaves privadas ou endereços na seção de discussão pública do GitHub.

Este conteúdo é disponibilizado apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou fiscal. Quaisquer eventos, recompensas, promoções online ou informações relacionadas aqui mencionados não devem ser interpretados como uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar quaisquer outras operações com criptoativos. Os criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar consoante a região. O utilizador é responsável por garantir que a sua participação está em conformidade com a legislação e os regulamentos locais aplicáveis.