OpenAI claims to have solved hundreds of long-standing maths problems

It is judgment day for mathematics

aiindia

Sources