Joscha Bach and Beff debate whether OpenAI's mathematical proof signals dangerous AI progression · Digg