4 ms·
Why is Terry Tao even talking these arguments when all OpenAI did was a sophisticated brute force search with LLMs? Give them Navier-Stokes in a vacuum
by vatsachak 12d ago
Why is Terry Tao even talking these arguments when all OpenAI did was a sophisticated brute force search with LLMs?
Give them Navier-Stokes in a vacuum
- dcl 12d agoWhat do you think all the PhD's and post-doc students are doing...? It's not called graduate-descent for nothing :p
- EA-3167 12d ago> What do you think all the PhD's and post-doc students are doing...? Thinking.
- sinuhe69 12d agoBecause it’s high time to rethink the incentives and rewards structures to nurture the next generations of mathematicians when corporate money and automated AI systems are mining the pool of limited interesting problems without giving back or enhance our understanding. The problem they care about is not just “AI replaces human mathematicians” but rather the society thinks mathematicians can be replaced by AI.
- red75prime 12d agoBrute-force search is called that specifically for its lack of sophistication. A "sophisticated brute search" is an oxymoron.
- vatsachak 12d agoYou're right. But... Spending 132 billion tokens is definitely way more energy than human mathematicians would have thrown at the problem and probably would have solved within two years.
- unsupp0rted 12d agoSame reason Gary Kasparov and Lee Sedol started their morning in one universe and ended their evening in another. Brute Force or not, the game is being played and won without them all of a sudden, and even worse: at a level of output far beyond them
- vatsachak 12d agoNo it's not though. Can OpenAI prove Navier-Stokes from a vacuum with no human knowledge?
- gjm11 12d agoCan a human? (Evidently not, since humans hadn't managed to do it even with the entirety of human knowledge available to them.)
- vatsachak 12d agoThey used an agent swarm. Could humanity? Of course; it was close to being solved. It might have taken five years
- red75prime 12d agoReplication of the development of mathematics by human civilization is a task for an artificial hyperintelligence.
- jambalaya8 12d agoWhat will anyone do? What will anyone feel their purpose would be? Can't all have the same one, either. What will the planet 'need' homo sapiens for (arguably it never needed homo sapiens at all)? Would anyone's time or life really have significant value?
- red75prime 12d agoI didn't mean that as "we need hyper-intelligence." I mean that going all the way from nothing to singular, dual, plural grammatical numbers attached to particular nouns to abstract one, two, three, many to zero, one, two, three... to rationals to... is a very long way.
- demibabs 12d agoThe article wasn’t written by Tao.
- vatsachak 12d agoHe's expressed similar fears of being replaced in a recent talk