3 ms·An OpenAI model solved a famous math problem that stumped humans for 80 years6 points by tartoran 5mo ago