Um Desafio Sistemático ao Problema Não Resolvido há 167 Anos
Primeira verificação sistemática do artigo de Shimizu (2024), que alega que o GPT provou a RH
Criando novas descobertas através da colaboração entre intuição humana e poder computacional de IA
Primeira verificação sistemática da alegação de prova da RH assistida por GPT
Condição de convergência não demonstrada
Falta a prova de convergência da série infinita
Continuação de Re(s)>1 para o domínio completo não demonstrada
Análise insuficiente para |t| grande
A identidade central pressupõe a RH (lógica circular fatal)
Conclusão: Prova Inválida ❌
A Lacuna 5 é especialmente fatal — a identidade central já pressupõe a RH,
uma lógica circular que invalida toda a prova.
"Estes métodos já foram tentados, e documentámos porque falham"
Minimização da energia livre
Lógica circularCorrespondência AdS/CFT
Verificação da premissa falhouEquilíbrio harmónico
Argumento informalMaximização da entropia
Lacuna matemáticaAnálise de convexidade
Globalidade não demonstradaTransição de fase quântica dinâmica
Lógica circularEquivalência do ponto mínimo
Equivalência não demonstradaVerificação numérica (10^13 zeros)
Evidência parcial
A Hipótese de Riemann é equivalente a "o mínimo de |ξ(σ+it)| para todo t ocorre em σ=1/2"
Mas provar a própria condição MIN é tão difícil quanto a RH
Termodinâmica, holografia, música e teoria da informação apontam todas para σ=1/2
Intuitivamente correto, mas sem prova formal
Um quadro sistemático de colaboração entre intuição humana e poder computacional de IA
Apresentando um novo paradigma de investigação
Verificação sistemática de uma alegação de prova assistida por GPT, revelando 5 lacunas críticas
Clarificando os limites da investigação matemática assistida por IA
Todo o código, provas matemáticas e registos de sessões estão disponíveis publicamente.
A transparência e a reprodutibilidade são o cerne da metodologia YAIM.