That’s a non sequitur. They’re a fairly large organization, I’d be amazed if they don’t have multiple research sub-teams pursuing all sorts of different directions.
It is not about whether some team somewhere is dabbling in math, it’s about institutional emphasis. When serious math work exists, it tends to be checked before being broadcast. The fact that this didn’t happen suggests that genuine mathematical rigor isn’t a central focus.
