OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a ...