Yeah, but obviously doing a formalisation that has been done before is different than doing a new one since you have knowledge about the previous attempt. It also just seems less impressive than doing something new and the reason they are reporting this is marketing.

do you assume or do you know that the previous attempt is in the training data?