OpenAI 公布三项科学成果:数学猜想、ETH 与杨–米尔斯相关证明