5 ms·
I was watching a talk by Terence Tao a couple of days ago, and I noticed a shift in his attitude towards AI. His enthusiasm seemed to have waned; he was becomin
by Turfie 5d ago
I was watching a talk by Terence Tao a couple of days ago, and I noticed a shift in his attitude towards AI. His enthusiasm seemed to have waned; he was becoming more dismissive of it, and I was wondering why.
“A Severe Misalignment of AI in Mathematics,” with a list of important mathematicians.
This post makes it clear that, to put it bluntly, they’re psychologically butt-hurt.
They talk about misalignment, but this revolution is a massive step forward in the advancement of mathematics. Everyone has access; everyone can collaborate.
Yes, “plagiarism and attribution” are current-day problems for them. But guess what? Those were stupid things to concern oneself with anyway if your real goal is to advance mathematics and the spreading of it.
This whole post kind of reads like their egos being butt-hurt.
There are tons of developers who published open-source code that made all of this possible without any attribution. And that is indeed the future we must inevitably head towards, if one’s ego would allow it, that is, and if one is properly “aligned” with the right goals.
I envision us all collectively talking to a centralized and open AI. This would really ignite human sharing and collaboration.
It is indeed problematic that currently it’s in the hands of some companies, while it should be a public good.
I hope this progression will eventually, finally, trigger the real solution to all of our problems: true global cooperation, global politics, and genuine collaboration as a human species.
But I hold my heart, because if even these mathematicians have misaligned egos, then what’s to be expected of the rest of the decision-makers?
- Koffiepoeder 5d agoI think their point is more on the fact that just proving something is only half the work. Intermediate results and proofs are often also of immense value. Right now the output is sloppy proofs and LEAN code. This is useful, but a large part of the effort still lies ahead. And if you are a mathematician you'd rather be working on hard problems than fixing slop.
- Turfie 5d agoThe main ideas for solving Navier Stokes have been exposed, it's not something buried in slop. And if it were, you could have AI write up the big ideas that actually mattered in these said slop proofs. I think they're more afraid of the current status quo. Distilling, writing textbooks, teaching, ... And currently, I could be wrong but, I see them being blind to the possibilities it brings. AI could very well be distilling maths, spreading it, and nurturing the ecosystem way better than the few elite mathematicians ever could.