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
Does Stingless Bee Honey Have Special Health Benefits?
BY Lewis
Hedgehogs increasing popularity in Japan
BY Jennifer
PUBG Mobile Esports Generated 200 Million Hours of Viewing in 2020
BY Ellis
How Could Fall Guys Continue Its Success after Selling More than 11 Million Copies on Steam?
BY Parker
Follow-up: Facebook Was Hacked
BY Kathryn
Cable TV Will be Replaced by Streaming
BY Jimmy
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?