OpenAI Claims AI Solved 80-Year-Old Math Problem | 16 × AI