logoalt Hacker News

abetusktoday at 12:17 AM1 replyview on HN

To me, this reads like a profusion of empirical experiments without any cohesive direction or desire towards deeper understanding.


Replies

scrubstoday at 6:17 AM

Yah Stephen Wolfram is too often grandiose thereby missing the hard edges.

But in this case, given how hard P=NP is, it might create wiggle room for progress.

Ideally it would have gone on and said in view of lemma/proof/conjecture X, sampling enumerated programs might shine light on ... no doubt that'd be better.

But here I'm inclined to let it slide if it's a new attack vector.