我用了一段时间gpt 6 sol和Grok 4.7用来写我一个用go写的巨型ide+ LLM agent harness项目，发现似乎gpt 6 sol和grok 4.7在最高思考强度且不降智的前提下的表现并没有那么不堪，甚至于某些我之前用gpt 5.6 sol没解决的远古难修牢BUG都解决了，而且在考虑成本的情况下，gpt 6 sol和grok 4.7的成本能比gpt 6 astra和cc max的opus  5.5降好多，所以对于gpt 6 sol和grok 4.7这俩模型你们怎么看待？