OpenAI said it solved 300+ complicated math problems, mathematicians are livid Morning Brew