Burkov 谈 P=NP 与 LLM Agent：没有人类就不会有证明

Andriy Burkov 认为，用 LLM Agent 证明 P=NP 只有两种可能：现有研究不足以让 LLM 组合出证明，或该问题本身不可证。他断言，除非有人类写出证明，否则 LLM 不会产生 P=NP 证明。