OpenAI dice que su modelo avanzado ha resuelto ya cientos de problemas matemáticos y publica sus hallazgos

OpenAI dice que su modelo de vanguardia, todavía secreto, ha conseguido resolver, a día de hoy, cientos de problemas matemáticos, cuestiones abiertas para las que aún no se habían encontrado soluciones.

Los resultados han sido publicados junto a una amplia colección de investigaciones para que la comunidad matemática tenga acceso a las mismas.

Estos trabajos abarcan distintos campos, desde el álgebra y la topología a la teoría de números, la informática teórica o la lógica.La publicación contiene 722 manuscritos, agrupados en 372 familias de resultados relacionados, algunos de los cuales aún no están verificados, según informa la compañía en un comunicado.

Aunque OpenAI no ha precisado cuántos problemas individuales ha resuelto, algunos medios estadounidenses hablan de 377.

Una familia puede contener un resultado principal, consecuencias, argumentos complementarios o demostraciones alternativas.El modelo había recibido aproximadamente 4.000 problemas durante la evaluación.

Después, OpenAI agrupó y filtró los resultados para seleccionar los que consideró suficientemente significativos para el catálogo.El nuevo anuncio amplía y documenta el avance que OpenAI había adelantado hace unas semanas: la resolución de más de un centenar de problemas matemáticos abiertos .

El mes pasado, la compañía dio la campanada al proclamar haber resuelto la ecuación de Navier-Stokes , uno de los llamados Problemas del Milenio, ciencia de frontera y por cuya solución se ofrece una recompensa de un millón de dólares.Este logro encendió un encarnizado debate sobre si la IA lo había conseguido por sí misma de forma creativa o simplemente había acelerado los cálculos basándose en el trabajo de matemáticos humanos .

También aceleró el pulso de la comunidad matemática, que ve cómo su futuro parece irremediablemente unido al de la inteligencia artificial pero que defiende la creatividad y el pensamiento humanos.

El anuncio de este martes demuestra de nuevo el poderío del agente avanzado de la firma de San Francisco.

Con todo, algunos de esos resultados todavía están pendientes de verificación completa.

OpenAI reconoce expresamente que no todos están formalizados en Lean y que los que no lo están podrían contener errores.

Ahora deben ser examinados y validados por la comunidad matemática.