Reasoning models progressed from being incapable of basic arithmetic to solving decades-old math problems within two years