OpenAI 模型自 8 月 28 日以来，已解决了 100 多个未解数学问题。