OpenAI宣布攻克千禧年难题有了Ai数学难题一个个被攻克先是数学 接着是医学我