alt Hacker NewsI'm with @nilesh on this one, and not exactly sure how merely the existence of a solution precludes the advancement of human knowledge. If a problem is "solved" (say, symbolically verified) without any insights gained, it doesn't seem very interesting to the profession.
Navier-Stokes is a bit different (because there's a prize attached, so "scooping" matters), but almost all interesting problems don't have any prizes attached.
Replies
An AI-generated solution always provides two pieces of info:
1. proof that there is a solution
2. a solution that you can work backwards from to build understanding
So, both of these pieces of info would be at least marginally useful for advancing human knowledge.
More of a 'its the journey' rather than the destination type of thing.Since the insights , quirks, tricks and procedures gained along the way allows insights intoother at that moment unknown problem/domains in the future.
As far as researchers sharing their data/notes with the AI hyperscalars looks like that would be coming to an end wihth a mor guild-like structure going forward to prevent their progress being fron-run by the AI labs.
Mathematicians will be less likely to work on a problem if there is a solution - even an incomprehensible one.
Why was there a prize attached to this problem then? What does humanity get out of this being proved?
AI companies don't share the dead ends and only sometimes a bit of the process toward success so people don't understand what was curious along the way.
Current career structure of mathematicians works partially by looking at whether they have solved novel and interesting problems, or at least done theory-building that can help solve such problems. Many mathematicians are also motivated by being the world's first to solve such problems
Removing this measure suddenly means that academic mathematic norms need to adapt rapidly, and, even more importantly, intrinsic motivation for many mathematicians needs to change rapidly. That is understandably a sea change for the current mathematics community.
> and not exactly sure how merely the existence of a solution precludes the advancement of human knowledge.
You'd be more sure if you read the tweets.
Tao's point is very simple.
1. Working on problems that AI solvers can solve is a waste of human time.
2. We have no idea which problems can be solved by AI solvers...
3. ...Because the AI labs are keeping their negative results secret, and don't tell us which problems they've tried and failed to solve, and why they've failed to solve them (or succeeded at solving others).
There are additional points surrounding it, but that is the thrust of his argument. His issue is not the existence of AI, but the anti-scientific secrecy in how it is used to solve problems. All the incentives around its current use result in closed, uncollaborative work - which while very attractive to a vulture capitalist, is anathema to scientists.
---
He also posits that having a solution to a problem is a small part of the value of solving a problem. What the AI labs are doing is the equivalent of a student turning in their homework, which has 100% of the right answers, but with none of the 'show your work' steps. Those steps are a critical artifact for doing mathematics, because the process of solving a difficult problem teaches us things about other problems.
Humanity is very biased for the culmination of work, considering everything that comes before and after busywork for the lower masses.
Replicating a paper is just as valuable scientifically as publishing it, but how many careers advance through replication?
If we move the goal from "find the solution" to "clear up the LLMs work" that doesn't bode well neither for the attractiveness of the problem nor for the career of the professional that takes the challenge.