问题特指在Cursor下可以选择很多模型。 
我们只挑选最强的几个： 
1.Opus 4.5 (thinking) 
2.Sonnet 4.5 (thinking) 
3.GPT-5.1 Codex Max Extra High Fast (thinking) 
4.GPT-5.2 Extra High Fast (thinking) 
5.Gemini 3 Pro (thinking) 
6.Grok Code (thinking) 
注：模型后面有个🧠图标 我就标记为thinking了 
我想知道的是，在使用cursor编程，主要是后端，逻辑多一些，以及一些科研性质的repo的编程 
用哪个模型更强呢？ 
对于 强 ，我的定义是： 
1.准确性高，没有bug，错误， 
2.全局思维高，避免出现顾头不顾腚，前后不适配，更容易出现打补丁，屎山代码等情况 
3.对于长程序，大repo的理解，...