Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.
Hasnain says:
“Many researchers say that mathematicians are unlikely to be replaced by machines any time soon. Proof assistants can’t read a maths textbook, they need continuous input from humans, and they can’t decide whether a mathematical statement is interesting or profound — only whether it is correct, Buzzard says. Still, computers might soon be able to point out consequences of the known facts that mathematicians had failed to notice, he adds.”
Posted on 2021-06-19T18:44:27+0000