OpenAI’s math team is sitting in a conference room, looking over today’s latest set of promising leads mined from user prompts. “Sssh! Don’t say the statement of Lemma 7.4 out loud! Someone might be recording us!”