AI could recalculate mathematics

For thousands of years, mathematicians have adapted to the latest advances in logic and reasoning, but they may not yet be ready for artificial intelligence.

More than 2,000 years ago, Greek mathematician Euclid built the study of this discipline proving things in such a way that each successive step “clearly follows” from previous ones.

But by the 20th century, mathematicians began questioning mathematics based on this intuitive geometric foundation, developing instead formal systems of precise symbolic representations and mechanical rules.

This new formalization allowed mathematics to be translated into computer code.

Now mathematicians are grappling with artificial intelligence, which could match or exceed the problem-solving ability of the best human mathematicians within a decade by the year 2026.