Certainly tenure was in the bag for these fellows after coming up with the formula, though it probably was likely for them anyway.
Regardless of what the fellows were doing, they would probably get their tenure eventually anyways.