Will Mathematician Be Replaced by AI?
Advertisement
Theorem Provers
There are two different kinds of computer programs to prove theorems. One is automated theorem provers (ATPs) which perform prodigious computations, crunching out long sequences of logical steps leading from the axioms to the conclusions. Once written, they can work without any human intervention. They have been successful in proving some results. The other is interactive theorem provers (ITPs), which are used by mathematicians to assist in proofs. These proofs require a combination of creative thinking and meticulous mechanical reasoning. An ITP can carry out the laborious tasks, while the mathematician provides the creative insights.
Computers have led to some important progress in mathematics: the four-colour theorem and Kepler’s conjecture both required intensive computation for their proof. But some mathematicians dispute these proofs, as reviewing those calculus programs is beyond human’s capacity. Another difficulty is that computers can generate proofs that are difficult or impossible to understand.
Advertisement
Controversy
There are still some controversies over the role of computers. There is no doubt that computers have played a role in checking proofs and in deciding on the validity of theorems submitted for publication. Many mathematicians are not that enthusiastic about computers, and they incline to the methods they have always been using. Even though they considered that some simple procedures in the process of proofing can be conducted in a mechanized way, they remain doubtful whether computers can generate interesting conjectures or not. They deem that the creativity is the characteristic of human beings fundamentally, which cannot be made in an automated fashion.
Advertisement
- Previous article
- Choupette, Karl Lagerfeld’s Beloved Cat
- Next article
- Virtual Reality Therapy Can Help People Cope with Eating Disorders
Advertisement
OTHER NEWS
How to Upgrade Blued in Latin America
BY Christine
How Many Times you can Shave Before a Steel Razors Become Dull
BY Jones
Sometimes the thicker the liquid, the faster it flows.
BY Nancy
Can Blue Light Filter Improve Sleep Quality?
BY Janice
Emoji Feature - Launched by Bumble
BY Linda
Can Dogs Navigate With the Geomagnetic Field
BY Judith
RECENT NEWS
-
PUBG Mobile Esports Generated 200 Million Hours of Viewing in 2020
-
Mario Kart Tour Races to $200M revenue and 200M Downloads
-
Game Acquisitions Expand Globally in Q1 2021 with 280 Deals Worth $39 Billion Surpassing That in 2020
-
Free Fire Shows Strong Momentum, with Its Revenue Overtaking PUBG Mobile in a Single Market for Q1 2021
-
The Games Fund Launched a $50 Million Early Investment Fund to Invest in American and European Companies
-
How to Download and Install Wyze App for Free?