在OpenAI宣布攻克数学难题后，谁知道背后研究者的数据和署名？