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: Researcher slams goalpost-moving in AGI debates and untracked small wins(3 posts)→

Original post →

More from AGI Musings

AGI Musings channel →