Un modelo OpenAI ha resuelto formalmente una conjetura de larga data en geometria discreta, marcando un avance significativo en el descubrimiento de pruebas asistido por IA. El logro demuestra la capacidad de los modelos frontales para razonamiento simbolico riguroso en problemas de investigacion previamente sin resolver, con implicaciones para flujos de trabajo de computacion cientifica.