OpenAI tackled 4,000 math problems and seems to have cracked 722 of them, averaging 3 hours per problem. This was probably unthinkable, especially to mathematicians, just a few years ago.