Comment by pred_
12 hours ago
Are you aware that Tao is among the largest proponents of using AI in mathematics? The usage itself is not the point here.
12 hours ago
Are you aware that Tao is among the largest proponents of using AI in mathematics? The usage itself is not the point here.
Tao doesn't go as far as Baudelaire, but there are some similarities. In particular, Tao has criticized that AI is not being used to create new interesting conjectures, and that the rush to prove old conjectures is not giving human mathematicians enough time to carefully analyze and understand the proofs and the methods used in those proofs.
My answer to both is the same: nothing stops mathematicians from doing both of those things, with or without the help of AI. And we all understand that it will take time to do that. But complaining about the dawn of a new era of advancements seems counterproductive.
But the point is your original analogy with Baudelaire now just boils down to "both of them were critical" which is quite shallow indeed.
It's especially annoying given that many people are making repeat Baudelaire's critique of photography (or Socrates critique of writing) in the context of AI and the declaration is interest because it's not that.
> But complaining about the dawn of a new era of advancements seems counterproductive.
you completely misunderstood the critics. your analogy is awful. this is much closer to the industrial revolution in the uk: it brought a lot of progress, but also extreme inequality and concentration of power.
I am very specifically addressing what I have read Terrence Tao say on AI and mathematics, as that is the subject of this submission.
Are we on the same page?
14 replies →