Modelo OpenAI resuelve conjetura de geometria discreta, avanzando razonamiento matematico de IA

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.