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?