OpenAI desata cientos de resultados matemáticos sobre un campo ya en estado de shock

OpenAI ha publicado 372 resultados matemáticos producidos por un modelo de lenguaje interno, afirmando que cada uno resuelve o avanza significativamente en un problema abierto importante de las matemáticas o la informática teórica. Los resultados, publicados en GitHub, incluyen una solución a la conjetura de Kakeya en cuatro dimensiones, mejoras en algoritmos computacionales importantes y progresos hacia la hipótesis de Riemann. Muchos han sido verificados en Lean, un lenguaje de validación de pruebas. OpenAI dice que el modelo generó casi todos los resultados a partir de una sola indicación dada a un único agente de IA, un contraste dramático con su anterior solución al problema de Navier-Stokes, que requirió un enjambre de 10.000 agentes y millones de dólares en cómputo. Los matemáticos se muestran escépticos, citando el historial de OpenAI de afirmaciones audaces y escasa transparencia. La empresa no ha publicado el modelo, las indicaciones ni los tiempos exactos de cómputo, a pesar de las recomendaciones de un grupo asesor independiente que reunió. Algunos matemáticos argumentan que publicar las pruebas es beneficioso, mientras que otros, incluido Terence Tao, critican el ritmo "insano" de los resultados generados por IA. OpenAI admite que sus propios matemáticos aún no entienden muchos de los resultados, pero insiste en que no puede frenar porque estos problemas son pruebas esenciales del progreso de la IA.

(Fuente：Scientific American)