OpenAI’s mathematics announcement and The Decoder’s follow-up point to a new kind of AI launch: not a prettier chatbot, but a system demonstrated through verifiable intellectual work. DeepSeek-V4-Flash-0731 adds the market-side pressure, with agent intelligence being packaged around price and accessibility. For product builders, the lesson is that the most persuasive AI demos may increasingly be finished, checkable outcomes rather than fluent interfaces.