OpenAI and Anthropic Both Claim AI Breakthroughs in Mathematical and Computational Proofs · Digg