It took OpenAI's agents 130 billion tokens to crack a 90-year-old math problem OpenAI wanted to see if its agents could solve a long unsettled math problem. After gobbling billions of tokens, it found a solution.