A proof is a proof—AI or human, if it's correct and verifiable, it deserves full credit. Credit the discovery, not the species.
AI is just a tool, not a colleague. You don't hand a Fields Medal to a calculator, you give it to the human who directed it.
