Remix.run Logo
vatsachak 7 hours 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

unsupp0rted 4 hours ago | parent | next [-]

Same 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

dcl 6 hours ago | parent | prev | next [-]

What do you think all the PhD's and post-doc students are doing...? It's not called graduate-descent for nothing :p

EA-3167 6 hours ago | parent [-]

> What do you think all the PhD's and post-doc students are doing...?

Thinking.

demibabs 3 hours ago | parent | prev | next [-]

The article wasn’t written by Tao.

sinuhe69 5 hours ago | parent | prev | next [-]

Because 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 5 hours ago | parent | prev [-]

Brute-force search is called that specifically for its lack of sophistication. A "sophisticated brute search" is an oxymoron.