It's very easy to be seduced into assuming a computer model's results are correct. Computer models of critical bits should always be double-checked by a separate independent calculation.
For this bridge, a simple analysis of static forces should have been sufficient for a cross-check, despite the article repeatedly implying this was a difficult/tricky computation. It is not.