Keep in mind AI is a still-developing field, so our judgment of it today may look different in hindsight as things evolve. Terence Tao is known in the mathematics community for using AI as a tool to advance research & is a prominent advocate for such.