It's not as famous as Fermat's Last Theorem. In fact, the math problem, which has not had a correct solution since it was proposed in the 1960s, doesn't even have a name. But a new, elegant solution ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...