Comment by simianwords

No it’s not automated proof checking? It literally closed open problems that mathematicians couldn’t solve. In other words it primarily helped solved the problems that otherwise would be unsolved.

Do you first agree on this?