[gnubison]

> the solution of any one of which would change not only the career of the person who solved the problem, but possibly life on Earth. Many have stood like mountains in the distance, rising above the clouds, for generations.

Whether or not this is AI, this comment is not true. An axiomatic derivation of a formula doesn’t change how it’s used. We knew the formulas were experimentally correct, it’s just that now mathematicians can rest easy about whether they were theoretically correct. Although it’s interesting, it doesn’t change or create any new applications.