OpenAI证明了一大堆数学难题、猜想，比如图1这个，以前一直不知道是收敛的还是开放的，现在有了证明。 ​