este fue un episodio tan divertido de grabar y charlar con @lacker sobre @acornprover y el futuro de las matemáticas, la verificación formal y la IA