OpenAI says AI solved a $1 million math problem. Can it prove where the ideas came from? — Steemit