Within one week of its October GitHub release, OpenAI revised 14 mathematical manuscripts