Comment by tomlockwood
12 hours ago
My big question with all these announcements is: How many other people were using the AI on problems like this, and, failing? Given the excitement around AI at the moment I think the answer is: a lot.
Then my second question is how much VC money did all those tokens cost.
I've tried my hand at a few of the Erdos problems and came up short, you didn't hear about them. But if a Mathematician at Harvard solved on, you would probably still hear about it a bit. Just the possibility that a pro subscription for 80 minutes solved an Erdos problem is astounding. Maybe we get some researchers to get a grant and burn a couple data centers worth of tokens for a day/week/month and see what it comes up with?
The question is how many people tried to solve this Erdos problem with AI and how many total minutes have been spent on it.
Why do you care about either of those questions?
Because it could be a massive waste of time and money.
Why do you think it's a waste of time and money? I really can't see it.
Capitalism already is a poor allocator of human effort, resources, and energy, why lock in on this specifically? There's entire professions that are essentially worthless to society that exist only to perpetuate the inherent contradictions of this system, why not focus more on all that wasted human effort? Or the fact that everyone has to do some arbitrary sellable labor in order to justify their existence, rather than something they might truly enjoy or might make the world better?
4 replies →
I think we should at least ask the latter, if it turned out it cost $100,000 to generate this solution, I would question the value of it. Erdős problems are usually pure math curiosities AFAIK. They often have no meaningful practical applications.
Also, it's one thing if the AI age means we all have to adopt to using AI as a tool, another thing entirely if it means the only people who can do useful research are the ones with huge budgets.
3 replies →
Neither does the Collatz conjecture, Fermat's last theorem, ....
(Of course, those problems are on another plane than this one.)
5 replies →
I would question at $60k. At $100k is a steal.
No meaningful, practical applications? You realize that sounds incredibly naive in the history of mathematics, right? People thought this way about number theory in general, and many other things that turned out to have quite important practical applications. Your statement is also a bit odd in that researchers are already paid throughout their whole careers to solve such problems. I don't know.
2 replies →
Can you imagine how many bags of chips we could buy if we stopped funding cancer research?
It's so expensive!
Can you imagine how much ChatGPT cancer research we could fund if we stopped funding cancer research?