OpenAI faced academic criticism after publicly releasing a large collection of novel mathematical proofs without prior peer verification