Jacob Tsimerman appears to be very thoughtful about AI's impact on research mathematics. The headline though serves as a bad omen for academia.