Researcher pushes back: solving problems humans couldn't crack does contain insights

RexDouglass · x · 2026-09-08

Rex Douglass argues in a debate that systematic AI problem-solving inevitably becomes computational formalization and thus algorithmic search in all its flavors. He calls the goalpost-moving around "it's just search, no insights" absurd — the engineering and auto-formalization required to crack problems humans couldn't solve contains real insights by any reasonable standard.

Related event: AI proof of ζ(5)(3) irrationality sparks debate over what counts as research(20 posts)→

Original post →

More from AGI Musings

AGI Musings channel →