Comment by fruitl00p
1 day ago
I thought one of the implicit points of the open letter was that unsolved problems are not something that falls out of the sky, they are a curated resource that people have spent time on and shared for the benefit of like-minded peers and humanity as a whole. And the AI companies treat them like they treat absolutely everything else: natural resources, literature, art, code etc. as something to be chucked into the ravening maw and pooped out the back as profit. They don't care if mathematics advances, they don't care if they strip-mine the available problems and damage the field. In fact, as with programming I think they see that as in their long-term interest - soon there will be no intelligence or creativity but the one that Sam Altman bills you for.
I don't understand this logic.
Ok, so unresolved math problems are often something people discover while trying to solve a different math problem.
However, math problems are really there to solve a real world problem. We have unlimited real world problems no matter how smart AI gets. Therefore, we will always have unresolved math problems.
> math problems are really there to solve a real world problem
I think this is totally wrong. Math problems are almost by definition problems with a particular theory. That theory might be inspired by the real world, but the problem itself is purely theoretical. I can't think of any theoretical problems like this that actually support a practical problem, as opposed to being an internal knot in the theory that indicates something is wrong with it. Not to say that cannot happen - certain optimization problems were historically actually hard to solve and solving them helped us to genuinely optimize a real thing (rather than just explain why the answer we already had was correct, which is much more common). In particular, none of the millennium problems have anything to do with a "real" problem, including the Navier Stokes one.
If this is the viewpoint of mathematics, why does it make a difference that human or AI solve it? And forget about "understanding", because "understanding" in mathematical sense means in a very narrow way: top experts of math in certain field would understand and accept it (my estimation is that ~100 people in the world would understand Fermat's Last Theorem proof). Mathematicians could spend the whole year digesting FLT and "convince" the public that this is correct, and for most people (including math PHDs and professors), FLT is correct because some smart people say it is.
Agreed, though for the hn audience I want to advocate a bit for the utility of mathematics. The development of applicable mathematics has often not been through the direct means of solving an open problem. It has however often depended on theory which was developed for the purpose of human understanding. It is difficult to pull concepts out of the aether on demand, but when there is a general milieu of human understanding economic applications can be developed in post.
I have in mind GPS, cryptography, numerical fluid simulation, lasers, etc…
11 replies →
As an aside, it's amusing that this conversation is a re-statement of a main point in TFA:
> However, math problems are really there to solve a real world problem.
vs
> That theory might be inspired by the real world, but the problem itself is purely theoretical.
From TFA:
> In my essay The Two Cultures of Mathematics a quarter of a century ago, and which can be summarized by saying that there is a spectrum of attitudes in mathematics to the relationship between problem-solving and conceptual understanding.
The author thinks this letter was choosing only one of them as the "right" approach whereas the better stance is "porque no los dos?"
2 replies →
Humans only invest in solving problems that matter one way or another.
I also disagree that none of them solve "real" problems. They clearly do. Solving them have implications on real world problems.
13 replies →
> However, math problems are really there to solve a real world problem.
this is ABSOLUTELY not how actual mathematicians see their field. A problem in mathematics is just that: its interest to a pure mathematician is not related to any applications in other disciplines.
I don't really understand what makes a mathematical problem "interesting" because of my bias as an engineer. Nothing is interesting to me unless I can use it to solve a "real world problem". But, I'm willing to concede that "solving real world problems" is really not how mathematics advances.
Things like complex numbers or quaternions were often thought about way outside of the context of their modern applications in physics and engineering. When Hamilton thought about quaternions I really doubt he cared that it would make some programmer's life easier 200 years later:
> Every morning in the early part of October 1843, on my coming down to breakfast,
> your brother William Edwin and yourself used to ask me:
> "Well, Papa, can you multiply triples?"
> Whereto I was always obliged to reply, with a sad shake of the head,
> "No, I can only add and subtract them." [1]
If we go back further, Pythagoreans weren't trying to solve "real problems" either, they were like a weird religious cult.
My point is, the practice of "real" mathematics is really something that odd people feel driven to do, not unlike painting or playing an instrument. All the applied stuff is just a byproduct (not unlike ad billboards or elevator music).
[1] https://en.wikipedia.org/wiki/History_of_quaternions
> this is ABSOLUTELY not how actual mathematicians see their field
While this might be true, I think this is the big pivot that will need to happen. Math, as a human endeavor, will all be applied. We will use LLMs to do the math and discover the math, and humans will apply it to whatever problem they are working on (likely using another LLM to integrate it).
1 reply →
Thanks for building the elevator though, guess I'll hit the gymn(asion) now.
Yes, and here towards the bottom the author gets to the reason he didn’t sign with the other medalists:
> I felt that there was nothing to be gained from criticizing AI companies for generating too many solutions too quickly.
> Under the circumstances, I think the best we can do is recognise the changes that are coming and try to work out the least unsatisfactory way of dealing with them.
Basically let’s make it a short-term problem and deal with it. Groups of people can deal with short term emergencies. Don’t turn it into a structural issue.
And in my view what’s the alternative in the letter exactly? The tools exist. Is there going to be drama every time somebody decides to use them?
The tools exist, so let’s try to figure out as humans the best way to use them to promote humanity, and let’s advocate against ways of using them which are a detriment to humanity, which is exactly the charge the letter makes. There are cultural norms around the use of every technology.
Let's figure out how to use the iron fist of the state to keep people from doing things the math establishment doesn't like?
Yeah, that's really great for humanity. Just super.
2 replies →
Well I think in response to 'what are you going to do', what people are probably going to do is stop sharing on-going work, stop bothering to curate problems that are just going to inflate someone's IPO valuation, basically accelerating the tragedy of the commons that the AI companies are driving.
Seems legit. I speculate their are emergent mechanisms for the development of memory that are not dependent on what ever mechanism is behind the "improve $model for 'everyone'"*
Is someone knowlegeable on research that engages the question on the development of something that could be considered as some emergent mechanism of memory, that is independent of instances and their contextwindow an specifically also independent of the use of conversations for trainingsdata?
*(This is regarding the value of selfhosted models - maybe small selforganisations that share ressources to do though to do so? Generally the value of machine learning seems to be to big to reject)