OpenAI Model Solves 80-Year-Old Geometry Problem | 16 × AI