OpenAI just wants to win

OpenAI has spent the last few years planting flags across the increasingly difficult terrain in mathematics.