OpenAI claims to have solved century-old maths problem

The company announced in early September it solved a major mathematics problem that had remained unsolved for nearly 100 years.