What if an AI proves P=NP with a proof no human can understand?

MoonL88537 · x · 2026-09-18

A short exchange on AI and the P vs NP problem. The poster assumes P≠NP and doubts a model's proof would help, then raises the scarier scenario: the worst outcome is an opaque P=NP proof no human can understand—"then what?? the floor is gone," pointing to fears about unverifiable superhuman mathematical results.

Original post →

More from AGI Musings

AGI Musings channel →