Aprendendo mais sobre as capacidades matemáticas do Claude
Uma versão não lançada do modelo Claude da Anthropic teria melhorado um limite inferior importante relacionado à função zeta de Riemann, elevando de 41,6% para 67,2% a fração provada de zeros que satisfazem a Hipótese de Riemann, ao recombinar resultados humanos recentes e formalizar a prova em Lean. Os comentadores debatem o quão substancial é esse avanço matemático, se ele reflete criatividade genuína ou uma busca heurística extremamente rápida, e quanto de orientação humana esteve envolvido além de simples prompts de “encorajamento”. O tópico se amplia para questões sobre antropomorfizar a IA, o potencial de os modelos impulsionarem avanços futuros em várias áreas e se as empresas manterão privados seus sistemas mais poderosos capazes de pesquisa.
Avanço matemático e seu contexto
- A discussão gira em torno de um modelo não lançado do Claude que melhorou o limite inferior provado para os zeros da zeta na linha crítica de 41,6% para 67,2%.
- Comentadores observam que isso se apoia em um trabalho humano prévio substancial; um preprint de 2025 já havia alcançado >66% sob uma suposição adicional, e o passo-chave do Claude foi remover essa condição.
- Alguns veem isso como “além de notável”; outros argumentam que se trata de um refinamento numérico incremental, e não de um avanço conceitual sobre a própria Hipótese de Riemann.
Força bruta vs intuição matemática
- Há debate sobre se isso é “força bruta” ou exploração heurística.
- Muitos enfatizam que uma busca exaustiva é impossível aqui; em vez disso, o modelo remixou literatura existente, gerou ideias e executou muitos scripts/verificações.
- Outros argumentam que a busca em grande escala ainda domina, apenas “comprimida no tempo” em comparação com humanos.
Antropomorfismo e “encorajamento”
- A descrição do artigo de um humano enviando principalmente mensagens motivacionais (“acredite em si mesmo”, “continue indo”) provoca fortes reações.
- Críticos consideram isso antropomorfizante e “de mau gosto”, argumentando que banaliza a experiência humana.
- Defensores dizem que é apenas outro sinal de orientação em linguagem natural; não se acredita que o modelo seja uma pessoa, e a linguagem é inerentemente antropomórfica.
- Vários observam que os modelos frequentemente “desistem” cedo demais, e o encorajamento parece fazê-los ir além do pessimismo aprendido nos dados de treinamento.
Capacidades da IA, criatividade e limites
- Alguns veem isso como evidência de que estamos nos aproximando ou já estamos em uma “singularidade”, esperando que a IA em breve enfrente grandes problemas em aberto e até melhore seus próprios algoritmos.
- Outros contrapõem que:
- RH é extremamente difícil; esse resultado não implica que uma prova completa esteja próxima.
- Os modelos atualmente parecem confinados a remisturas dentro da distribuição, não a matemática verdadeiramente nova ou literatura criativa.
- Arquiteturas transformer enfrentam limites inferiores teóricos; ganhos de velocidade e novos paradigmas não são triviais.
Verificação, publicação e crédito
- Dá-se valor à formalização em Lean como proteção contra “alucinações bem elaboradas”.
- Há preocupação de que os PDFs hospedados pela Anthropic e a autoria/atribuição não convencionais desafiem as normas padrão de publicação em matemática.
- Reconhece-se que os matemáticos humanos da empresa efetivamente fizeram o papel de revisores intensivos, e não de coautores.
Implicações mais amplas e aspectos práticos
- Especula-se que os principais laboratórios podem reter seus modelos mais fortes para explorar ganhos econômicos (por exemplo, em finanças e medicina), contrabalançados por pressões regulatórias e competitivas.
- Há comentários repetidos sobre custo, uso de tokens e o papel de sistemas multiagentes.
- Vários usuários relatam vitórias pessoais análogas usando o Claude em problemas de matemática/CS, mas também notam questões como excesso de confiança, pressão para “publicar” e a necessidade de verificação externa rigorosa.