Consider any man at his job, fighting the good fight. Your boss says "I've hired this man to assist you" and you are happy to finally have some help with your difficult task. Then one morning you come into work and see that the coming day’s work was done overnight by this other fellow. And the realization sinks in, he isn't there to help you, he is there to replace you.
In this view his reaction seems totally expected. I expect many professionals, e.g. doctors, lawyers, accountants, etc. will make this realization sooner or later. The companies are saying these tools will assist professionals, but in reality they are aiming to replace them.
lol. lmao even.
I guess there is a first time for everything.
basically both sides now dislike that he flip flopped
its either you are anti-AI all the way or flexible and adaptive without making strong opinions that can be put on record.
most people are in the latter and its growing. math is solved.
No, the dumb thing is the idea that there are "sides".
> basically both sides now dislike that he flip flopped
Literally the only people with this opinion of Tao are internet forum warriors who have no expertise in the field and who's opinion of Tao don't matter in the slightest.
Similarly, Tao being ‘on the warpath’ does not matter in the slightest when it comes to formalizing math and finding proofs to important unsolved problems with AI.
Do you think that this is a quote from the article you just read?
I swear half the comments here are just from people reading dunks on r/singularity and x and getting real mad at strawmen.
Terrence Tao is famous because of solving problems better that most mathematicians because he has an uncanny ability to look across different math fields. AI gets everyone this ability for 20 to 200$ per month, eventually free.
Most mathematicians are happy to see interesting problems in their field being solved, and are looking to build on these to find more interesting problems.
The point is to make the field progress by discovering new things!
Who gets credit for what and how credibility is assigned is going to be muddy for a while but that’s the case whenever a bunch of new science happens in close sequence. History is full of math/science discoveries having debated and dubious provenance.
It provides deep insights into logic, computation, provides tools for us to understand the universe, establishes mind blowing relationships between seemingly unrelated things.
For example “how much information can a black hole contain?”
To whom? If there are no humans in the field, there is no one to get the insight. Maybe you are right, and there is just a new type of a mathematician being born, but as an outsider I just can't see what they could look like, what will be left for humans to contribute
AI solves math problems to
> If there are no humans in the field
Realistically, math will be done by well funded teams of people instead of cult of personality mathematicians.
Also, insights from scientific discoveries are for everyone. You do not have to understand the complex multi dimensional algebraic geometry of general relativity to appreciate that gravity bends time as well as space. You don't need to understand fifty years of linear programming research to use a modern solver.
Eh... That “everyone” is a multi billion (trillion?) $ company paying top mathematicians specifically hired for generating math proofs.
We’ve yet to see the democratizing fantasies in math field to materialize.