What AI cannot do, no matter how capable it gets

Frontier models now rank just behind specialist verification tools at deciding whether programs terminate, which is supposedly undecidable. Both facts are true, and the reason they coexist is the thing most people get wrong.