El modelo de OpenAI refuta una conjetura de geometría discreta mediante búsqueda de contraejemplos
Un modelo de OpenAI ha refutado una conjetura de geometría, marcando el giro desde la intuición humana hacia la búsqueda automatizada de contraejemplos a alta velocidad en las matemáticas.