OpenAI's blockbuster math proof isn't what you think it is

scientificamerican.com