Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

Nature, Published online: 18 June 2021; doi:10.1038/d41586-021-01627-2

Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Source: Nature