The headline makes it sound very amazing, but reading the reasoning loops it didn’t strike me as outlandish. It feels no different from giving a human expert a printout of assembly code and figure out what it does. (The human expert can do it without tools too, but they probably wouldn’t do it because it’s tedious.)