No, GPT-5 did not solve a bunch of previously unsolved math problems.