I know GIB sometimes doesn't even lead AK against 6NT but this is a different problem, although I feel its leading in general against 6NT can be improved.
So what's the problem with this lead? Well it's leading away from a very high probability offsides for declarer ♠K. In fact, if you count the tricks, it looks like the only way declarer can make is if west leads away from the ♠K as there are only 6 heart tricks, 1 diamond tricks, 3 club tricks, and 1 spade trick, for a total of 11 tricks, that declarer can win before having lost 2 tricks.
I think maybe it thought the keycard my team was missing was ♠A. But I think it's incorrect to suspect that. If south is willing to bid 6NT over the obvious 6♥, I'd put south at having:
- 19-21 HCP. West has 4, east presumably has at least one keycard worth at least 3, and north has at least 12, so there's only at most 21 left south could have. 19 is the minimum worth going for 6NT with given the bidding.
- 3334 or 2344 distribution. With 4+♥ or any non-super balanced hand, south would've opted for 6♥.
- At least an A or K in each suit except hearts, knowing partner has that covered. Again, if not, south would've opted for 6♥.
- Likely broken sequences of honors in suits, in hopes of picking up an extra trick on the opening lead. I don't know if GIB can think this way very well or not, but good bridge players will think about who gets to lead in the bidding. South has a very good hand to get to play last with on the opening trick. Meaning a good player could probably figure out it's good not to lead away from a K with how south bid.
Also I'd put east at having about 0-1 points other than the keycard that north/south don't have, meaning between bullet point 3 and this, it's virtually guaranteed that north/south have at least ♠AQ, meaning that leading away from the K is very likely to not end well.
Anyway, I'd be curious to see the evidence in favor of a spade lead here. I feel like all points point against it.