OpenAI math results: unreleased model produced 722 papers and 372 new results, mathematicians want proof | CodeYourCraft