OpenAI花费数百万美元攻克NS千禧年数学难题