OpenAI announced on Sept. 8 that researchers using an unreleased internal model had solved a historic math problem. But the claimed breakthrough comes amid allegations from two mathematicians who say ...