Ask HN: Who gets credits on big math questions solved by LLMs?

E.g. what if someone prompts an LLM to solve the Riemann hypothesis using this or that approach; and the model actually solves it. Who gets the prize?