RecodeX 重构消息，GPT-5.6证伪30年图论猜想，展示AI数学推理突破。