Matemáticos contra OpenAI: ¿boicotear la IA o aprender a usarla?
¿Cuántas veces has abierto Excel ante un problema que no tiene nada que ver con una hoja de cálculo? A mí me pasa siempre. Es mi navaja suiza ante cualquier tipo de tarea con el ordenador. Por eso me descolocó el comunicado de la Association for Human Mathematics (AHM) , un grupo de matemáticos que pide dejar de trabajar con OpenAI. El motivo: el 6 de octubre OpenAI publicó un conjunto de resultados matemáticos obtenidos con un modelo interno, con pruebas formalizadas en Lean, un programa que comprueba demostraciones paso a paso, como un corrector ortográfico para razonamientos. La empresa afirma que ha resuelto más de cien problemas abiertos, a unas tres horas de razonamiento de ChatGPT Pro por resultado de media. Insisto: lo dice la empresa, y nadie independiente lo había validado en el anuncio. La AHM responde que los matemáticos no pidieron ese trabajo, que soltar más de 700 ficheros de golpe es una demostración de poder y que hay que volver a una ciencia centrada en la compre...
