#PhysLib

Computer finds flaw in major physics paper for first time 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 ...

#Computer finds #flaw in major #physics paper for first time. #maths #formalisation #Lean #programming #MathsLib #PhysLib #Higgs
www.newscientist.com/article/2520...