OpenAI dice tener "avances sustanciales" en un segundo Problema del Milenio, sin nombrarlo aún
Días después de anunciar una prueba para Navier-Stokes, la compañía confirmó a The New York Times que trabaja en otro de los siete problemas de un millón de dólares, pero no reveló cuál.
Tras su anuncio de una posible solución al problema de existencia y suavidad de Navier-Stokes, OpenAI confirmó a The New York Times que en los últimos días logró "avances sustanciales" sobre otro de los siete Problemas del Milenio del Clay Mathematics Institute, y que está evaluando cómo presentar el resultado. La compañía no identificó el problema ni ofreció un cronograma de publicación.
En los días previos circularon especulaciones en redes sociales apuntando a la conjetura de Hodge como el objetivo, e incluso a que Anthropic estaría trabajando en un problema distinto en paralelo. Ninguna de esas dos afirmaciones ha sido confirmada por las compañías involucradas, por lo que siguen siendo rumores sin verificar.
La prueba de Navier-Stokes que motivó todo esto —producida coordinando cerca de 10,000 agentes durante 88 horas y verificada formalmente en el lenguaje Lean— sigue bajo revisión de la comunidad matemática. OpenAI ha dicho que no buscará reclamar el premio de un millón de dólares del Clay Institute por ese resultado.