ChatGPT-5.2, de OpenAI, ha resuelto una conjetura matemática que llevaba mucho tiempo sin resolverse, lo que demuestra la capacidad de la IA para generar pruebas originales de forma independiente. Investigadores de la Universidad Libre de Bruselas describen este avance, que demuestra la validez de la conjetura, como un paso que lleva a la IA más allá del texto y el código hacia las matemáticas teóricas rigurosas, lo que podría transformar el papel de los seres humanos de creadores a verificadores y acelerar los descubrimientos científicos.