www.math.columbia.edu The Yang-Mills Publicity Stunt The “shepherds” of the OpenAI Yang-Mills proof yesterday released the Lean code of the proof, together with a validation and an assessment. The OpenAI press release of October 26 claime… www.math.columbia.edu New Morning Waking up today to the news that US democracy seems to be on its way to recovery has changed my mood dramatically. All of a sudden I’m an optimist. The US will be all right. Even if the Frenc… 
www.math.columbia.edu OpenAI Conference at KITP There was a conference held at KITP the week before last entitled Intermediate-Scale AI for Physics. The nature of this conference was somewhat of a mystery. As far as I can tell it never appeared … www.math.columbia.edu Secret Unified Physics Slop OpenAI has announced a mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamic…