IBM shows a problem classical machines can't solve — plus a way to check the result — type0 | type0