Zach Weinersmith @zachweinersmith.bsky.social · 09/09/2026I don't know enough to warrant an opinion, but my impression from CS friends was that P=NP is on the level of... we don't even know how to start thinking about how you'd resolve it. 3160
Ariel Chinn @yellyc.bsky.social · 09/09/2026I’m not saying anything about how I think it will be solved (quite the opposite, I’m saying I don’t think it will be solved), just that the consensus is that P≠NP and that my prior is that if an LLM does find a solution it will come in the form of some kind of counter example. 130
Ariel Chinn @yellyc.bsky.social · 09/09/2026But of course my conviction on the latter is very low for exactly the reason you stated. 120
