OpenAI said it solved 300+ complicated math problems, mathematicians are livid · Briflio