OpenAI's upcoming AI model named Astra just achieved what human mathematics researchers couldn't pull off in decades.