Científicos israelíes han fabricado una máquina Ramanujan: que genera automáticamente conjeturas (afirmaciones matemáticas que se proponen como afirmaciones verdaderas) para