RecodeX 重构消息，AI模型GPT-5.6 Sol找到了Maxwell猜想的反例，证明该猜想不成立。