Hacker News Reader

Comment by dale_glass | Hacker News Reader

> And what if you start digging into it? Won't other people say - "Hey Euler go back to ploughing the fields? We can have Djinn's answer all the math questions but this field isn't going to plough itself."

Seems like an overly pessimistic take to me.

If you have a magical Djinn happy to answer questions, why wouldn't you badger it a bit for the details? I can't imagine Euler of all people just wanted the answer.

View on HN

I’ve been on the other side of that, getting badgered for details by people who don’t have the conceptual frameworks to understand what I’m doing, and my experience is that it doesn’t really work. Sometimes, when they have a concrete goal in mind, they can communicate it to me and I can produce a demo showing that the software I’m working on achieves their goal. More often, they ask questions that don’t fully make sense, and can’t understand either my answers or my guidance towards the questions they should be asking.

If I were a Claude instance, rather than a software developer fielding these questions as a small component of my job, could I take a step back and instruct them from first principles until they do understand? Maybe. But maybe there’s just too big of a gap to be crossed in one step.

It’s not pessimistic at all. Look at the advances in math thanks to hundreds years of pursuit to prove Fermat’s Last Theorem before Andrew Wiles finally did it in the 90s. You will not get that with LLM. That’s what mathematicians are mourning over.

Well you could, but would it produce its own unique theory just to simplify for people? Probably not. It definitely didn't do it for Navier Stokes.

This genie only knows the details that other people already formulated, because it doesn't actually think for itself, it just regurgitates human thought. That's what everyone seems to be forgetting.

Remove the human theorizing and the LLM won't be able to fill in that gap. All it can do is remix. It cannot formulate and, equally importantly socialize new mathematical theory. Without social acceptance and promulgation theory is meaningless. I might have a private "sort of graph theory but not" studying a slew of new mathematical objects called quizzgams, but if I cannot actually articulate this theory to anyone and get an active participatory body of people around it, it's pointless. Any "theory" an LLM can create de novo is such a theory. Because, again, it doesn't actually produce novel thought, just novel byte sequences. A thought is more than just its encoding, it is processual and social, which all the nerds and vc bros seem to not understand.

Reply on news.ycombinator.com