Las soluciones matemáticas de OpenAI aún no cumplen los estándares del sector

Cuando OpenAI publicó cientos de supuestas soluciones a algunos de los problemas matemáticos más difíciles del mundo esta semana, el laboratorio de vanguardia dijo que había consultado a un grupo asesor de matemáticos de élite para evitar la controversia que surgió la última vez que uno de sus modelos resolvió un problema de larga data en el campo.

Pero OpenAI no cumplió con esos estándares, particularmente en los puntos donde los matemáticos enfatizaron la necesidad de la comprensión humana de un resultado matemático. Eso es especialmente preocupante después de que un nuevo artículo destacara brechas entre el lenguaje natural y la solución expresada formalmente a un problema de un millón de dólares supuestamente resuelto por los modelos de OpenAI.

El Advisory Group on Mathematics and Artificial Intelligence (AGMAI), alojado por el Institute for Advanced Studies de Princeton University, está compuesto por nueve destacados investigadores de instituciones de todo el mundo.

La organización publicó directrices para los laboratorios de vanguardia que resuelven problemas matemáticos a finales de septiembre. En una declaración sobre el último conjunto de demostraciones, el AGMAI dijo que “en última instancia, depende de la comunidad matemática evaluar hasta qué punto se siguieron con éxito nuestras recomendaciones”.