Resolution criteria

This market will resolve to "Yes" if DeepSeek releases a new AI model on or before August 15, 2025. A release is defined as an official announcement by DeepSeek, accompanied by public availability of the model or its documentation. Verification will be based on official communications from DeepSeek, such as press releases or updates on their official website: https://www.deepseek.com/