The inside story behind OpenAI’s million-dollar math proof Scientific American