apparently openai solved a bunch of math stuff again...