OpenAI Cracks 200-Year-Old 'Millennium' Math Problem—But Credit Dispute Looms