A strange AI undercurrent: believing every problem can be formalized
fkasummer · x · 2026-10-09
fkasummer flags a strange undercurrent in AI discourse today: the assumption that everything — problems from all domains — can be formalized, a philosophical pushback on overestimating what can be turned into computable specifications.
More from AGI Musings
- Biotech Founder: Rejecting Open Source Is Demanding a Faster Relay Race While Refusing to Pass the Baton — Ghost_Pilot_MD · 2026-10-09
- Elliot Glazer slams AGI-bet critics who refuse wagers and never admit being wrong — NathanpmYoung · 2026-10-09
- Daron Acemoglu asks whether AI can create as many jobs as it will replace — mariotelfig · 2026-10-09
- Nick Bostrom: today's AI may already be conscious, Microsoft's denial lacks evidence — coherence · 2026-10-09
- Consciousness debate: provocative self-model definition fails the testability test — esrtweet · 2026-10-09
- India's AI predicament: students as RLHF workers, 15 GW gap by 2030 — abhiadesai · 2026-10-09