我们正在进入一个发现的新时代： https://openai.com/index/sharing-ai-progress-in-mathematics/