It seems very hard for OpenAI to prove that independence. Since they seem unable to exclude the possibility that their model was trained on transcripts by the two mathematicians.

If that's true, either they both deserve credit or neither of them do. You don't just average 0 and 2 and decide that <n> = 1 person deserves credit.