Primer modelo capaz de razonar: “o1”