Computer finds flaw in major physics paper for first time

By /
A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top