The proof engine is becoming the product demo

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…