RecodeX 重构消息,GPT-5.6与Grok 4.5分别通过简单提示词独立推翻30年数学猜想Dinitz-Garg-Goemans,尚未经同行评审。