Un Desafío Sistemático ao Problema Sen Resolver Desde Hai 167 Anos
Primeira verificación sistemática do artigo de Shimizu (2024) que afirmaba que GPT probara a RH
Creando novos descubrimentos mediante a colaboración entre a intuición humana e o poder de cómputo da IA
Primeira verificación sistemática da afirmación de proba da RH asistida por GPT
Condición de converxencia non probada
Falta a proba de converxencia da serie infinita
Continuación de Re(s)>1 a todo o dominio non probada
Análise insuficiente para |t| grande
A identidade central asume a RH (lóxica circular fatal)
Conclusión: Proba non válida ❌
En especial, o Gap 5 é fatal — a identidade central xa asume a RH,
unha lóxica circular que invalida toda a proba.
"Estes métodos xa foron probados, e documentamos por que fallan"
Minimización da enerxía libre
Lóxica circularCorrespondencia AdS/CFT
Fallou a verificación da premisaEquilibrio harmónico
Argumento informalMaximización da entropía
Brecha matemáticaAnálise de convexidade
Globalidade non probadaTransición de fase cuántica dinámica
Lóxica circularEquivalencia do punto mínimo
Equivalencia non probadaVerificación numérica (10^13 ceros)
Evidencia parcial
A Hipótese de Riemann é equivalente a "o mínimo de |ξ(σ+it)| para todo t ocorre en σ=1/2"
Pero probar a propia condición MIN é tan difícil como a RH
A termodinámica, a holografía, a música e a teoría da información apuntan todas a σ=1/2
Correcto intuitivamente, pero sen proba formal
Un marco de colaboración sistemática entre a intuición humana e o poder de cómputo da IA
Presentando un novo paradigma de investigación
Verificación sistemática dunha afirmación de proba asistida por GPT, que revelou 5 lagoas críticas
Clarificando os límites da investigación matemática asistida por IA
Todo o código, as probas matemáticas e os rexistros das sesións están dispoñibles publicamente.
A transparencia e a reproducibilidade son o núcleo da metodoloxía YAIM.