Gemini 2.5 Pro、Kimi K2、chatgpt o3、Deepseek R1，现在这几个哪个数学推理最强呢，比如说推导一些现在深度学习之类的理论什么的，例如扩散模型等等。