Good paper on a first fast read. I have misc quibbles, eg "setting aside" the chance that N can't align N+1; the more a fair solution is hard, the more likely a fake solution gets found instead. The main point not spelled out is, "Absent a method, ASI must not proceed."

→ View original post on X — @esyudkowsky