OpenAI announced on Sept. 8 that researchers using an unreleased internal model had solved a historic math problem. But the ...