OpenAI Released 719 Math Papers: Big Problem for Mathematicians | Brew