October 7, 2024

A.I. Is Coming for Mathematics

Science & Technology

A.I. Is Coming for Mathematics

By: Claire Zhou

For more than 2,000 years, Greek mathematician Euclid’s text, the Elements, was the standard idea of mathematical reasoning.

“Euclid famously starts with ‘definitions’ that are almost poetic,” said Jeremy Avigad, a Carnegie Mellon University logician. “He then built the mathematics of the time on top of that, proving things in such a way that each successive step ‘clearly follows’ from previous ones, using the basic notions, definitions and prior theorems.”

However, beginning in the 2000s, mathematicians are now battling with the latest technological force: artificial intelligence. This could lead to mathematicians not being needed and losing jobs.

In 2022, a computer scientist named Christian Szegedy predicted that a computer would reach or exceed the problem-solving ability of human mathematicians by 2026.

Terence Tao, a mathematician at the university, said that A.I. has potential threats to humanity. Can you explain in one sentence why AI is threatening? Community members are now broadcasting the issues and exploring the possibilities.

Back To Top