RecodeX 重构消息，Claude Opus 4.6成功解决了计算机科学家Don Knuth提出的一个数学问题，展示了AI在复杂推理任务中的进展。