OpenAI发布700多篇内部模型生成数学手稿。其声称解决300多道人类未解数学难题。涉及AI研究与数学界。