AI 两年内或证明 P≠NP，也可能只给出无实际用途的 P=NP 等价算法

burny_tech 预言，AI 可能在两年内证明 P≠NP，随后补充称也可能证明 P=NP，却只给出没有实际后果、极不实用的理论算法。这则半开玩笑的预言帖反映出业界对 AI 冲击基础数学既乐观又怀疑的情绪。