中邮证券-AI动态汇总：通义千问发布Qwen~3模型，DeepSeek发布数理证明大模型-250506

- 通义千问发布的Qwen-3模型在多项基准测试中表现优异，尤其是Qwen3-235B-A22B和小型模型Qwen3-30B-A3B。

- DeepSeek推出了DeepSeek-Prover-V2-671B，专注于形式化定理证明，推动数理逻辑研究。

- 马斯克宣布Grok3.5将于本周发布，声称其能准确回答复杂技术问题。

- 小米开源的MiMo-7B-RL模型在数学推理和代码竞赛基准上表现超越其他小型模型。