OpenAI released 722 math papers at once and mathematicians are freaking out · Briflio