Work by 'Ramanujan Machine' in Haifa published in influential journal Nature; development team notes that it's breaking new ground by studying constants, particularly pi