La IA demuestra un teorema abierto desde 1974: ¿qué queda para los matemáticos?

Is mathematics about to enter the conservatory?

El mismo día en que Claude formalizó la demostración del último teorema de Fermat en Lean, Wang y Wu, de la Universidad de Hunan, publicaron un preprint que resuelve la conjetura esférica de Hadwiger con asistencia de IA. El autor, que intentó probar esta conjetura en su época de posgrado, reflexiona sobre lo que esto significa para la investigación matemática. Señala que los matemáticos son la profesión más expuesta a la IA según un informe de OpenAI, y compara su situación con la de los músicos clásicos, recluidos en un conservatorio. Se pregunta si la matemática pura, ya confinada al ámbito académico, podrá sobrevivir cuando las computadoras generen resultados más rápido que los humanos.