GPT-6 Astra presenta una nueva demostración y resuelve la versión de Euler del problema de Goldbach.
El Goldbach clásico trata sobre “dos números primos”; en esta versión se relaja a “enteros cuyos dos factores primos suman un número impar”. El matemático de la Universidad de Durham, Alexander P. Mangerel, antes solo podía demostrarlo bajo la validez de la hipótesis generalizada de Riemann y cuando los números pares fueran suficientemente grandes. Astra elimina ambas restricciones y demuestra que se cumple para todos los números pares mayores que 2: primero supone que algún número par no puede descomponerse, y luego deduce una conclusión contradictoria.
La demostración completa está escrita en Lean 4 y compila correctamente; un repositorio auditado de forma independiente también logra reproducirla, sin encontrar “sorry” ni axiomas matemáticos adicionales. El Goldbach clásico en sí aún no se resuelve: aquí, los dos sumandos todavía pueden ser compuestos.
El Goldbach clásico trata sobre “dos números primos”; en esta versión se relaja a “enteros cuyos dos factores primos suman un número impar”. El matemático de la Universidad de Durham, Alexander P. Mangerel, antes solo podía demostrarlo bajo la validez de la hipótesis generalizada de Riemann y cuando los números pares fueran suficientemente grandes. Astra elimina ambas restricciones y demuestra que se cumple para todos los números pares mayores que 2: primero supone que algún número par no puede descomponerse, y luego deduce una conclusión contradictoria.
La demostración completa está escrita en Lean 4 y compila correctamente; un repositorio auditado de forma independiente también logra reproducirla, sin encontrar “sorry” ni axiomas matemáticos adicionales. El Goldbach clásico en sí aún no se resuelve: aquí, los dos sumandos todavía pueden ser compuestos.