Dentro de OpenAI esperan tener pronto una solución a la conjetura de Hodge, según una persona al tanto del trabajo citada por The Information. Sería el segundo de los siete problemas del Milenio que la empresa aborda, después de su solución al problema de Navier-Stokes, que hasta ahora sigue sin confirmación oficial.
La conjetura de Hodge pregunta si ciertas propiedades geométricas de las formas se pueden describir siempre a partir de bloques algebraicos más simples. Es uno de los siete enunciados que la disciplina agrupa bajo ese nombre, y llevan décadas sin resolverse.
¿Cuándo se anunciaría?
El anuncio podría demorarse. Después de la crisis comunicacional que dejó el episodio de Navier-Stokes, la empresa quiere ordenar el mensaje antes de hablar, informó The Decoder.
Para aquella solución, OpenAI usó una variante de su próximo modelo preentrenado, con el nombre en clave "Doug", a un costo que probablemente se cuenta en millones de dólares.
¿Para qué quiere OpenAI estos problemas?
No está claro qué espera ganar la compañía al resolverlos. Jakub Pachocki, investigador jefe de OpenAI, había dicho en el lanzamiento de Astra que la empresa se enfocaría primero en la automejora recursiva, o sea en una IA que se optimiza a sí misma, antes que en las matemáticas.
Adentro de la compañía hay quienes creen que estos problemas alimentan esa misma línea de trabajo. El reporte original es de The Information y lo recogió The Decoder. Ninguna de las dos publicaciones entrega una fecha para el anuncio ni detalles del método aplicado a la conjetura de Hodge.
La reacción de los matemáticos
La comunidad matemática está más molesta que impresionada. Algunos matemáticos ven a su disciplina entera bajo amenaza.
