Why You Should Care Whether Anthropic or OpenAI was First to Solve a Millennium Prize Problem