Sabine Hossenfelder: Google’s AI Makes Stunning Progress with Logical Reasoning