I feel like OpenAI should have secretly contacted a bunch of mathematicians and offered to give them "credit" for these "discoveries" as long as they also credited ChatGPT with helping in research. Mutual interest etc.