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.

If it's a frontier AI lab consulting with prominent mathematicians, that's still an AI lab driven solution.

Resolves based on my judgement.

There will be no AI clarifications added to this market's description.