Any successful proof seems likely to come from a team that includes both very good mathematicians and advanced AI programs. But which vibe will win credit in the public eye?

It's Google DeepMind, that's an AI lab. If it's Terrence Tao using GPT-6, that's a mathematics department. If it's David Budden using Claude, that's an AI lab. If the people involved are professors at a university, that's probably a mathematics department. If it seems the proof was marketing for an AI product, that's probably an AI lab.

Resolves based on my judgement.