OpenAI dropped 722 math papers. Mathematicians are split.

OpenAI quietly pushed 722 math manuscripts to GitHub from a model nobody outside the company can use. We go through what was solved, what might be missing, a...