alt Hacker News> Much as one cannot unhear a movie spoiler or a crossword clue, one cannot explore a problem as profitably and richly once one is aware of an existing solution
Certainly, it’s like being made aware of cheat codes to video games: One doesn’t enjoy the game as much after but surely knowing something is true means you can find many other things that come from the pathway to it now that you know it’s true. Lots of science and tech is like this where someone shows something is doable and then people find better ways to do it but until that person showed it was doable there was no progress.
> I am horrified by the many person-years” of research, particularly by young mathematicians, “being casually disrupted or destroyed,” he wrote.
That’s what technology does. And he might be upset but we’re the ones paying for it and frankly, I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.
Most notable is the fact that the released facts are like “treated waste”. But if the question was worth answering and the value is only in a good answer and not simply a correct answer, then the value has simply not been realized.
But that feels strange then that the value is in the good answer, not just a right answer and yet one finds oneself unable to go get the good answer because a correct answer exists.
The fact that any answers are made public at all is useful to us all. That’s free knowledge. Would it have been better if OpenAI had discovered this very achievable fact and not said anything? Surely the papers, post discovery would have spoken of the “hoarding” of such “essential human knowledge”.
Overall, I find the thing unconvincing wholly.
Replies
> I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.
But the value in seeking mathematical answers was never in the answers themselves. It was in the things one discovers along the way, the questions asked, the tools developed. The artisanal fashion is the part that benefits non-mathematicians.
These AI proofs only serve as an I-told-you-so. They're not creating surrounding theory which can later turn out to have useful applications elsewhere.
> That’s what technology does. And he might be upset but we’re the ones paying for it and frankly, I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.
Would you prefer if graph theory didn't exist but we could answer if you can pass all bridges in Königsberg, without going through same bridge twice.
Or if we could answer any question without knowing why? What about answering Hilbert without theory of Godel's Incompletness theorem? Or knowing Nth digit of Pi without calculus.
Because that's essentially what you're asking for. If you gave humans a Djinn that could answer perfectly any question, it would kill most of our endeavors. Because it's not a problem that was unsolved for years "It's just the thing Djinn already answered so why bother?" Even if one is extremely curious, others would not see value in that curiosity.
> I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.
Given that this is pure mathematics we're talking about, for the most part: Why?
Perhaps you are a mathematician and so these questions are relevant to you, but for most of us, these questions and their answers will not make any tangible difference in our lives or society.