este fue un episodio muy divertido para grabar y conversar con @lacker sobre @acornprover y el futuro de las matemáticas, la verificación formal y la inteligencia artificial