Computer finds flaw in major physics paper for first time
Machines can help spot mathematical errors Alamy Stock Photo A computer language created to spot errors in mathematical theorems has uncovered a fundamental error in a widely cited physics paper for the first time. The researcher behind the discovery says it is the first physics paper he has analysed in this way, which raises a…