Well again, it shows that translation of existing logic is possible. It's impressive when compared to what came before, but it's categorically different to huma

Well again, it shows that translation of existing logic is possible. It's impressive when compared to what came before, but it's categorically different to human intelligence, let alone "super(human)intelligence"