Ciencia Destacada Aplican por vez primera IA para explorar complejos teoremas matemáticos Alberto Vazquez 3 diciembre, 2021
Ciencia slider Usan algoritmos para generar automáticamente teoremas matemáticos Alberto Vazquez 7 febrero, 2021
Destacada Tecnología Google crea una IA que ya probó 1200 teoremas matemáticos Alberto Vazquez 27 abril, 2019
