“During the "first proof" mathematics challenge, an OpenAI model in training was able to solve novel research-level problems within approximately an hour of being prompted by OpenAI researcher James Lee.”