En septiembre, OpenAI anunció una aparente solución a uno de los siete problemas de premios Millennium en matemáticas: Navier-Stokes, una antigua cuestión sobre ecuaciones que describen el comportamiento de los fluidos. Aunque la empresa posteriormente publicó cientos de resultados, no se incluyeron nuevas demostraciones de Millennium, aunque algunos hallazgos mostraron progreso en las cinco preguntas abiertas restantes.
¿Cuáles son estas preguntas especializadas? Son difíciles incluso para la mayoría de los matemáticos. Una es la hipótesis de Riemann, formulada en un artículo de 1859 por el matemático alemán Bernhard Riemann. Se refiere a los números primos y su distribución a lo largo de la recta numérica. A medida que los números crecen en tamaño, los primos se vuelven más escasos. Riemann propuso una hipótesis que proporciona una fórmula precisa para estimar cuántos primos existen por debajo de cualquier número dado. Murió a los 39 años antes de regresar al problema. Peter Sarnak, matemático en la Universidad de Princeton y el Instituto de Estudios Avanzados, lo llamó un "gran problema" y dijo que una demostración "sería monumental matemáticamente".
Un resultado relacionado con la quasi-hipótesis de Riemann fue verificado por Lean, un asistente de pruebas informáticas, y se considera probablemente correcto. Sin embargo, no alcanza para resolver el problema Millennium original. Alex Kontorovich, presidente del departamento de matemáticas de Rutgers, lo describió como un "avance fundamental", pero notó que se necesitarían ideas genuinamente nuevas para probar la hipótesis completa.
Otros problemas restantes incluyen la conjetura de Birch y Swinnerton-Dyer, formulada a principios de los años 60 por los matemáticos británicos Bryan John Birch y Sir Peter Swinnerton-Dyer usando un ordenador temprano, el EDSAC-2.
Fuente: New York Times Top Stories · Resumido por HeadlinesBriefing