OpenAI宣布攻克千禧年难题 我觉得，要不了几年，这些数学难题都会被这些大厂