Rob Leclerc 断言 P≠NP 不会被证明：若 P=NP 成立，AI 将几乎无所不能

Rob Leclerc 断言 P≠NP 永远不会被证明，并认为 P=NP 一旦成立，AI 将几乎无所不能。他将这一突破形容为相对论级别，指出它能把 2^n 步算法转化为多项式时间 O(n^c)。jenzhuscott 则认为，解决 P=NP 将是机器具备通用创造性数学智能的最明确信号。