One-third of SWE-Bench Pro tasks would be broken, according to OpenAI