RecodeX 重构消息，计算机科学家Donald Knuth透露，他研究数周的一个开放问题被Anthropic的Claude Opus 4.6模型解决，这促使他重新评估生成式AI的能力。