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
Brute-force search is called that specifically for its lack of sophistication. A "sophisticated brute search" is an oxymoron.
You'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.
vatsachak · · focus · HN ↗
Give them Navier-Stokes in a vacuum
red75prime · · focus · HN ↗
vatsachak · · focus · HN ↗
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.