AI Math Proofs: How Anthropic and OpenAI Results Actually Compare

Anthropic's Claude and OpenAI's internal model both claim math breakthroughs. Here's what's verified, what's hype, and what it means for AI progress.