A Microsoft researcher and two AIs claim a 25-year wireless-receiver theorem — type0 | type0