@fortnow
Computational Complexity Theorist
AI
One post argues that “essentially zero direct progress” on proving P ≠ NP leaves advanced AI little to build on, unless P = NP.