国内目前编程最强的应该是DeepSeek Prover V2或Qwen3 235B A22B吧?   感觉这两个经常表现不虚openai的4o。 欢迎佬友们补充讨论。