feat: add new AI model releases for Qwen3 and DeepSeek-Prover-V2, and update Claude features in release notes