OpenAI发布722篇数学手稿,却因太长没人能验证。