What OpenAI doesn't get is math was never about theorems. It's about the friends you make along the way