OpenAI’s proof for a ‘million-dollar’ math problem may resemble earlier work only superficially · Digg