Fickle Futures14h ago

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 many other papers may harbour similar issues"

→ 2

Show threadFickle Futures
https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity
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 many other papers may harbour similar issues

New Scientist
6:15pmWeb