That really just depends on the scale they are personally used to though, for a fair few years I lived ~5 hours from my family (relatively far within the country), but it didn’t feel like very much because I/we visited my partner’s family on the other side of the continent at least once a year. Prior to that, I don’t think that I would have visited anywhere near as frequently.

The lack of Schengen and now EU membership may make British people more prone to being on the smaller side of this.

My understanding was that any hitherto success of LLMs in mathematics was in its trying approaches and information from different fields where they weren’t traditionally applied (within mathematics), they have surfaced potential links but haven’t created anything in any real sense. Still, a potential legitimate use for them that I personally hadn’t anticipated.