hoy tenemos una publicación de esfuerzo sobre IA y demostración automatizada de teoremas (¡y algunos proyectos geniales!)
18.51K