Ojito por aquí que Google parece que está cerca de sacar algo nuevo y potente para investigación en matemáticas. Por ahora "sólo" vemos uno de sus primeros resultados: otro problema Erdos resuelto y prometen que hay más por venir. ¿pero qué sistema lo ha resuelto?

→ View original post on X — @dotcsv,