It's time for the social fabric of math to be ripped up, it's an industry being disrupted. No one has the right to prevent others from working on a math problem. If you're working on a problem the best way to not get…
So mathematicians are no different from any other labor group that fights automation for their own benefit at the cost of overall welfare. Most artists are unpaid hobbyists, mathematicians should get expect the same.
I'm smart and I think others are stupid
The point of understanding is to get better at proving new things. Now that humans are obsolete for proving things, human understanding is unnecessary.
Yes however, whether a natural language proof and a formal proof "correspond" is subjective.
How do you know the natural language proof is incorrect?
> Maybe read the original article before replying, at a minimum. Maybe read the comment before replying, at a minimum.
alternative TO Microsoft
Why creepy? Apparently the AI did most of the work, so they put the spotlight on that, duh.
Pure math has been overvalued for a long time. Now that we don't need humans for it, it's really time for pure mathematicians to pack it in.
"Warren"? You know him personally?
Robbery implies taking it away from you so you can't have it anymore. How is that the case?
If solving a problem is "purely" theoretical it's of no use outside the math community's enjoyment. Otherwise it's not purely theoretical. > none of the millennium problems have anything to do with a "real" problem P vs…
> this is ABSOLUTELY not how actual mathematicians see their field Yeah and they should start seeing it differently
Whatever justification for lamplighters existed before exists now?
Congratulations on your opinion?
Indeed. As Nassim Taleb says, "Something bad for the (existing) class of mathematicians as they lose their privilege, but not necessarily bad for mathematics & our body of knowledge?"…
> the vast majority of the locals hated the protests and didn't support them Totally false
People have been saying we've been "at peak hype-cycle" for years
A better alternative is just to make all your work open and public, then everyone can see what you should get credit for.
> it convinces decision makers that human mathematicians are obsolete, and it convinces young people that their passion for mathematics has no future Maybe those things are true, so maybe they should be convinced?
Tao seems to be stuck in a pure-math-for-the-benefit-of-pure-mathematicians mindset. The rest of us care about applications of math, not math itself.
Plenty of new open problems will come from applications, and applications are what actually matters. Pure mathematicians are wrapped up in math for the sake of math which is a fun academic game but not something the…
People don't use SQL because it's a good language
You mean "benchmarked"?
It's time for the social fabric of math to be ripped up, it's an industry being disrupted. No one has the right to prevent others from working on a math problem. If you're working on a problem the best way to not get…
So mathematicians are no different from any other labor group that fights automation for their own benefit at the cost of overall welfare. Most artists are unpaid hobbyists, mathematicians should get expect the same.
I'm smart and I think others are stupid
The point of understanding is to get better at proving new things. Now that humans are obsolete for proving things, human understanding is unnecessary.
Yes however, whether a natural language proof and a formal proof "correspond" is subjective.
How do you know the natural language proof is incorrect?
> Maybe read the original article before replying, at a minimum. Maybe read the comment before replying, at a minimum.
alternative TO Microsoft
Why creepy? Apparently the AI did most of the work, so they put the spotlight on that, duh.
Pure math has been overvalued for a long time. Now that we don't need humans for it, it's really time for pure mathematicians to pack it in.
"Warren"? You know him personally?
Robbery implies taking it away from you so you can't have it anymore. How is that the case?
If solving a problem is "purely" theoretical it's of no use outside the math community's enjoyment. Otherwise it's not purely theoretical. > none of the millennium problems have anything to do with a "real" problem P vs…
> this is ABSOLUTELY not how actual mathematicians see their field Yeah and they should start seeing it differently
Whatever justification for lamplighters existed before exists now?
Congratulations on your opinion?
Indeed. As Nassim Taleb says, "Something bad for the (existing) class of mathematicians as they lose their privilege, but not necessarily bad for mathematics & our body of knowledge?"…
> the vast majority of the locals hated the protests and didn't support them Totally false
People have been saying we've been "at peak hype-cycle" for years
A better alternative is just to make all your work open and public, then everyone can see what you should get credit for.
> it convinces decision makers that human mathematicians are obsolete, and it convinces young people that their passion for mathematics has no future Maybe those things are true, so maybe they should be convinced?
Tao seems to be stuck in a pure-math-for-the-benefit-of-pure-mathematicians mindset. The rest of us care about applications of math, not math itself.
Plenty of new open problems will come from applications, and applications are what actually matters. Pure mathematicians are wrapped up in math for the sake of math which is a fun academic game but not something the…
People don't use SQL because it's a good language
You mean "benchmarked"?