Claude, da Anthropic, avança na hipótese de Riemann: limite zeta sobe de 41,6% para 67,2%
(Publicado em 05/10/2026 no site de pesquisa da Anthropic; noticiado via agregação do Ground News em 07/10)
Pontos principais
- O que foi feito: uma versão de pesquisa ainda não lançada do Claude, da Anthropic, elevou de 41,6% para 67,2% um limite zeta relacionado à hipótese de Riemann. Os matemáticos vinham avançando nesse limite aos poucos, ao longo de décadas; a IA o elevou bastante de uma só vez.
- Credibilidade: a Anthropic não afirma ter resolvido a hipótese de Riemann e limita expressamente o resultado à melhoria de um limite numérico. O resultado foi verificado mecanicamente na linguagem de prova formal Lean e publicado somente após revisão por matemáticos internos.
- Contexto: há menos de duas semanas, a Anthropic concluiu a primeira formalização computacional completa do Último Teorema de Fermat; há poucos dias, a OpenAI divulgou de uma só vez 722 artigos, cobrindo 377 problemas matemáticos em aberto.
- Por que importa: a matemática está se tornando a nova arena dos laboratórios de IA de ponta, substituindo os rankings de programação — a disputa é sobre quem consegue que seu modelo faça trabalho de verdade, reconhecido por matemáticos humanos.
Fonte: leia o original. Este texto é um resumo, apenas para referência.
