Matemáticos piden dejar de trabajar con OpenAI

OpenAI publicó 372 resultados de un modelo interno que no ha lanzado y que, según dice, resuelven o hacen avanzar problemas abiertos de larga data en matemáticas e informática teórica, según Scientific American. Entre las afirmaciones figura la conjetura de Kakeya en cuatro dimensiones, y muchas demostraciones se han comprobado en Lean, un lenguaje que verifica la lógica de una demostración. Un portavoz dijo que un solo prompt a un solo agente de IA produjo casi todas.

La disputa gira en torno a la transparencia. Un grupo asesor de matemáticos, formado tras el anterior resultado de OpenAI sobre Navier-Stokes, recomendó publicar el modelo, el prompt exacto y el tiempo de cómputo de cada resultado. OpenAI solo da el tiempo medio de cómputo y ningún prompt, y dice que las recomendaciones no la obligan. Andrew Sutherland, del MIT, dijo a la revista que las afirmaciones de un solo intento siguen sin verificarse hasta que terceros puedan replicarlas; Daniel Litt, de Toronto, dijo que la publicación es buena para las matemáticas.

Para quien evalúa lo que afirma un laboratorio de investigación: cualquiera puede repetir la comprobación en Lean de una demostración, pero cómo la generó el modelo no se puede verificar sin el modelo y el prompt.