[math-fun] Has anyone here tried Cornell's "Eureqa" program?