OpenAI unveils solutions to 377 unsolved math problems in major AI breakthrough