I suspect that a lot about what we call being very intelligent is ultimately out-remembering people around us. I think of all the times in my software career when I did something that others considered very high performance, it either came down to either having more energy than others at tackling a problem they thought was more trouble than it was worth, or just bringing back random knowledge from previous jobs or self study, and being able to apply it to the problem at hand.<p>I don't think I've had a truly original idea in my life. Combine A + B, when it's rare for people to know A and B at the same time. So from that perspective, what LLMs are doing is basically the same thing. Sometimes I am faster than the LLM because my context might be better organized, but it typically needs just a hint from me to steer itself correctly. It claims something is a memory leak, but smelling a rat, I suggest it to double check the garbage collection statistics too, at which point it's clear it's no leak, but a tuning error, at which point the LLM is better at tuning than me, because it has more energy than I do.<p>Maybe there's true brilliance out there, when something doesn't come out of combining data and building hypothesis until you get really lucky. My experience is not comprehensive. But I look around me, and it sure seems I've not been lucky enough to see it. Even the shiniest people I've worked with, which most of the audience here would recognize, have never shown me that they can go past this.
People have told me I was smart since I was a kid, but I can't remember for shit. I had a thought when I was fairly young that the only reason I was (maybe, sometimes) outperforming others intellectually is that I was habitually compensating for my poor memory by working things out on the fly, while others could rely more on rote memorization. Anyway, takes all kinds I guess!
Somewhat tangential, but this reminds me of when I took a certain Microbiology midterm in college. I hadn't put much effort into that class leading up to it, as I had some tough CS classes that consumed my focus that semester (also was admittedly not a great student in general). So when I finally went to take the midterm, after cramming like mad before the exam, I quickly realized I basically didn't know the answer to most of the questions, even what I crammed was only a small portion of the material.<p>The exam was huge, at least over 10 pages, and even when we technically ran out of time, the professor was kind enough to move the remaining exam takers to the neighboring lecture hall to continue taking it. I recall I spent a total of 2 hours on that exam.<p>Now mind you it was mostly short answer or multiple choice questions. The multiple choice questions were pretty sharp too, lots of traps and false but sounds right answers mixed in. But if it had been purely essay questions, I would have been screwed.<p>However with such a huge corpus of information in front of me, I ended up basically learning all the material on the spot. I just kept doing multiple passes through it, each time I noticed one of my answers contradicted one of the others, I would make adjustments to harmonize, which indirectly refined my understanding.<p>In the end I got B+ in the exam (which was curved to an A), and walked out understanding the material better than I did walking in.<p>Reflecting in the experience years later, I've wondered if a hypothetical LLM which was ignorant of microbiology could do the same thing if fed that exam. In some respects the traps they placed in the multiple choice questions actually were what helped me refine my understanding the most. Made me appreciate information theory more.
> I just kept doing multiple passes through it, each time I noticed one of my answers contradicted one of the others, I would make adjustments to harmonize, which indirectly refined my understanding.<p>This strategy saved my ass on so many tests from high school through college that I did not study properly for.<p>I think it would certainly be possible to write a test such that this strategy doesn’t work at all, but lucky for me no one did in any meaningful way.
There was a couple famous papers from a few years ago asking why computer science students, sorted by ability, seemed to form two clusters.<p>In one of the studies they got incoming CS students to fill out a multiple choice exam on programming, before the class had even started. Then they looked for hints in their exam results to see if they predicted the end of semester grade.<p>Turned out following this strategy was an incredibly strong predictor of success in computer science. Some students somehow got 0 (or close to it) in the multiple choice test. But the researchers looked at their answers, and could see that the student was forming hypotheses about the questions. Even if they got all the answers wrong, they answered all of them with a consistent idea of what the computer programs might have meant.<p>Weak students just answered each question individually based on vibe, without using what they learned (or figured out) from other questions.
Same. I have bad "factual" memory, but very good "conceptual" memory. I might not remember exactly what someone told me, but I probably gathered a keyword, and a feeling and idea of what they told me. Almost like it takes what they said then compresses it into my mind in a nice little multi-key lookup table.
Oh man, I have that too. I am always told by my best friend "well, you go it right, but entirely wrong words" -- or something to the effect I got the feeling, notion, or concept right, but the wrong words.<p>This has affected me a lot though, I know what is going on in songs, but can't ever remember the right words, but still some how end up sining stuff that means the same thing :/
Yes. "Weak detail recall but strong fluid reasoning, conceptual/gist memory, and adaptive problem-solving" is how GPT sums up what I feel. And "high fluid intelligence" is a label it gave that I won't be using anytime soon... But I like the sound of it.
Thanks, I feel seen.
In my, admittedly extremely small sample set, concept-focused memory is common for people with any degree or kind of dyslexia. I used to struggle with understanding how people couldn't understand things, now that I'm more mature it makes sense how people struggled with me not being able to spell things :).
Yep, terrible speller -- bad at pronunciation too (by the way I just autocorrected that word) -- and I often wonder how people, who are much more intelligent than me on paper, can't figure out random tasks that just seem obvious.
I do not have dyslexia. I’ve been reading since I was a little kid. I don’t easily recall words or things that I’ve heard. But I’ve got a very good visual memory, especially remembering patterns. And I can easily visualize things too, even the somewhat abstract concepts.<p>So if I put a visual bend on something I can quickly understand it and remember it, but that bend has to be mind (even when helped by an image on a book). If it’s someone else’s, I’ll be very hard pressed to remember it (but I can easily remember where it was).<p>So at school, when I had to cram, I fill my head with images and things like that. And with the help of the exams (written) and memory of the classes, I worked out the answers.
For me it's one step removed from that: I'll remember exactly what I was told or what I read, but not at all who told me or where I read it. My brain <i>does not care</i> about sources.
We sort kids into the smart and non-smart labels when they are young, and those labels tend to stick, even when what we're measuring isn't raw intelligence but just variance in childhood development that wash out in the long term. I don't think either group is well served by this.
A smart kid can be anything from not eating rocks anymore to multiplying numbers at an early age.<p>Most of us turn out like the rescued exotic bird which turns out to be a seagull covered in curry.
no we don't. every public school district tries hard not do to this because they are not incentivized to help high performers. This experience ended in the late 90s.
I’m very similar. Poor memory, good on-the-fly pattern recognition. I would say reasoning but it’s not really reasoning, it’s just identifying patterns plus some quick hacky heuristics reasoning. I’ve always performed well on tests as a result, but in the real world I need to use A LOT of tools to do my job. I write everything down, notes for everything.
I can relate to this, but always explained it away in the opposite direction: I never trained my memory very much because I was able to work things out on the fly. Who knows, maybe there isn't much of a link between the two at all.
I remember for math tests in high school/college it was easier for me to derive formulas than to remember it.
I used to think I wasn’t very good at math, because I struggled to route memorize formulas and the like. Then I had a calculus professor in class that took a bunch of time explaining how to derive the formulas we were using and it unlocked everything for me. I’m much better at deriving from core principles than trying to remember a bunch of formulas and algorithms for solving problems.
I'm in a similar boat. I end up re-learning the same things over and over again.<p>I found a solution recently. "Critical mass." If I just don't see something frequently enough, my brain keeps deleting it.<p>So, if there's a fact you have trouble remembering, try memorizing it 100 times in one day. That's "inefficient", as far as memory goes, but it'll do the trick! And I like solving problems once and then moving on.<p>(Anki, conversely, is designed for efficiency, which means it's designed to be as painful and unrewarding as possible, but that's a rant for another time... suffice it to say if you design your software so that I constantly want to stop using it, your efficiency drops to zero!)
I find my memory is very selective. I wanted to get in touch with a coworker from five years ago: I had to look up his name on linkedin. My wife texted me "Hotlips died" and with no effort I texted back, "Oh no, Loretta Swit or Sally Kellerman?" Mind you, I haven't watched MASH the TV show in forever, and I haven't seen MASH the movie since my parents took me when it first came out. I have <i>zero</i> reason to remember Loretta Swit, let alone <i>Sally Kellerman</i>, but my brain hangs onto that like it matters; but a guy I worked with for two years five years ago, <i>that</i> my brain will drop like it's radioactive.
Same. I don't remember most things including my childhood. I have to relearn everything all the time just in a few months time. Maths, code, etc if I don't use it in 1 or more month, I have to relearn it though its always easier to relearn it. Comparing myself to others its extreme. What I find is the process of constantly relearning instead of relying on memories (which are in a way similar to assumptions) can lead to different ideas (often unique) than other people because everything even basic concepts is a open question. This however is tortuous in job interviews when people ask about problems solved in previous work or about a concept so there are trade offs.
You maybe work things out on the fly by matching against abstract patterns. Could this be an indication not of lack of memory but of specialisation in abstract memory?
I think the fact that ‘just work it out on the fly’ is a viable response to ‘I cannot remember things’ is what makes the intelligence right?
I relate to this; there are some things I remember very well, but in many areas I think my talent for improvisation stems from a ~mid long-term memory.
Memory isn’t only being able to recall things on demand.
Agree. Plus the dimension of synthesizing new ideas from existing knowledge. Different skill set from rote memorization.
This sounds very much like the joke about economists finding a $100 bill. In reality there is innovation and new ideas. So your theory needs to also accommodate that fact.
Possible, but not true. Much of intelligence is also creativity. Otherwise we would call Google search intelligent. Strong recall is a different kind of intelligence, and good memory is indeed a positive trait. But it is not what we generally call intelligence on its own.
In line with the other comment on this post: I also am classified as “brilliant” by people and IQ tests. My country gave me an award for being a great inventor. But my memory is worse than anyone I know.<p>I can’t remember the lyrics to any songs, or the lines from any movies, or what I’m doing this week. I don’t think it’s a strong hypothesis.<p>My wife has a nearly eidetic memory, so marrying her was a game changer for counteracting mine :)
> out-remembering people around us.<p>Doing an angular -> react refactor with Opus 5 at work.<p>Amazed at how good it is but also amazed at how dumb it is after I told it I want a very basic and specific code review:do the file names match the contents? is one functionality/concern split in multiple files? do the variable names match what they do? does a method read nicely?<p>Anyway, I was very surprised at how bad it can be at this.<p>I suspect it's because the LLM simply does not focus well enough on a single method.<p>My gut modelling is that the critical files are quite small, some 4k LOC and the LLM tries to read them all in one go and my requirement is surprisingly difficult but the LLM does not realize it, loads all the input into context and simply cannot find a good signal per token/group of tokens.<p>I guess I can do it because I literally cannot fit 4k LOC in my head and I actually read only tens of lines but I can reeealy dig deep in those lines.<p>The LLM can remember lots, it has 1M context window, was trained with needle in the haystack problems, but it can severely underestimate how much computation is required with TASTE/universal computation type tasks.<p>Yes, LLMs are incredible when it comes to delivering well defined outcomes, it's evident they were RL trained very well.
But they are incredibly bad at understanding nuance in a text.<p>It's incredible how agentic coding benchmaxing seems to correlate with writing good poetry but at the same time finding good names for files and variables and wiring beautiful code does not.<p>Same with getting basic details of who said what in an "adversarial" conversation between 2 humans -- LLMs are incredibly bad at it, with all their "almost discovering new maths" skills
Human can have periods of heightened mental capacity. Sometimes I looked back at some of my work days or weeks later and amazed how I could have done it. When you're in the flow, have enough sleep, and have long period of non-interrupted time, you can do amazing work.
There is an ability to hold ideas in the mind simultaneously. Some can hold a great deal more than others. It can be exercised, but is definitely bound by genetics.<p>If you want an example of someone at the near peak of human ability, check out Jon Von Neumann.<p>Then there is an ability to peer deeply into complex problems and somehow find the simplest truths that make sense of it all. Think of Einstein.<p>Both are incredibly intelligent, but in different ways. I'd say Von Neumann's memory was far greater than Einstein's though.<p>One can flawlessly ponder anything known to man, and the other could ponder completely original ideas (to an extent)
Memory is one aspect of intelligence, but hardly the only one. Making new connections, logical deduction, spatial intelligence and creativity are also aspects.<p>I have fairly poor memory, but I can solve problems that people with better memory can't.
People who study intelligence differentiate between fluid intelligence (plastic intelligence) and crystallised intelligence. The former is the ability to learn and form new ideas. The latter is - as you said - memory. Knowing lots of stuff.<p>They’re positively correlated. Presumably because people who have good plastic intelligence often end up learning more throughout their lifetime. The only way to form knowledge in our minds is by learning it.
> just bringing back random knowledge from previous jobs or self study, and being able to apply it to the problem at hand.<p>Being smart, at least in the context of the workplace, is about being checked in to whatever you’re doing, and drawing connections across your experiences.
Since it is so much easier to test for memory than understanding society grew to confuse the two. Only now faced with these other entities are people beginning to question it.<p>I know people that got to post grad math without understanding a thing but they could remember a lot easily, while many of those that understood but had a harder time remembering every last variation of everything got penalized.
I like to use the analogy that the human brain (when it comes to intelligence) is like a computer. We have storage, which is just long-term memory. We have RAM, which is your ability to keep track of a mental model of something you’re actively working on, and then there’s the CPU, which is the ability to make logical leaps and connections on that mental model (or maybe storage).<p>I’ve met different people throughout my career whose intelligence came in 1 specific area. For instance, my friend is extremely good at trivia, he clearly has a lot of storage and can access it easily. I think I’ve only met one person who was excellent in all three areas of intelligence.<p>Obviously this is a simplification, but it’s how I like to illustrate my ideas on intelligence at parties and first dates.
> I don't think I've had a truly original idea in my life.<p>There’s no such thing as a truly original idea. It is all just combining A+B!
Sometimes you generalize A into A'.<p>But often results are incremental and obvious.<p>But also if you jumped from A to A''''', nobody would understand why or what it relates to.
if someone did have a truly original idea, then everyone would probably think it was terrible anyway and we'd all ridicule them, because we'd have no frame of reference for X + Y if all we know is A and B :)
Cavemen came up with the initial A & B, and we’ve gone from there? (Didn’t think this through much yet!)
There is also an element of how you process information. Some people jump to instantly refute an idea with a counter example. Some people jump to statistical likelihood. There’s elements of trust vs trust but verify.<p>Some people, through practice and experience are better than others at breaking down foreign information and making sense of it, or jumping to an assumption.<p>I also think there’s an element of just remembering what my final conclusion was on an opinion, vs all my old opinions and all the work to get there. It’s easier to just store current belief and re-work-it out how I got there later.
Agreed “remembering” stuff is critical in most life’s situations where if you did, you will appeared to be smart. This is probably why spaced repetition has been a key element in learning for the past few decades.<p>But “remembering” is only the beginning (you have to remember first!), after that, elements like understanding relations, connecting dots and remixing, timing, etc will truly make one shine.<p>In one way, it’s like the current “LLM + Harness” setup for agents. LLM is how well it remembers, but different harness techniques really matters, at times even a worse model mixed with great harness can outperform great model with bad harness
I suspect any new thing created/discovered/etc is just combining knowledge from existing things with memories being an example. Outremembering while certainly not the only method helps massively with combining knowledge from existing things. I don't see new knowledge coming out of nothing.
The amount of times I’ve invented something genius in software dev to later discover it has a name…
> I suspect that a lot about what we call being very intelligent is ultimately out-remembering people around us.<p>I wonder practically how useful it is. It should be very useful, right? Say you're a hiring manager, and now you can hire thousands of students who have almost eidetic memory across pretty much all the subjects. The students can produce amazing work if you give them specific instructions. They are also very good at mechanical pattern matching. That is, they are the uttermost crammers. They are like the students who don't really get STEM yet they could, through memorizing all the problem-solving patterns, ace any national college entrance examinations, IMOs, PHOs, Putnams, you name it, and all the way to solving hard problems like Sendov Conjecture - they even found out elegant elementary solutions! Mind you, Terrance Tao proved a weaker conclusion when studying the Sendov Conjecture and got to publish his work on The Big Four. That said, the students won't take initiatives, and they sometimes make very silly or even impossible mistakes, to the point that it requires your supervision and review. Would you hire them to do your company's work? I'd assume that answer is a resounding yes.
Could just be that you aren’t an ideas guy/a lateral thinker
I feel like you can make the same analogy with products as well.
It’s a false definition of intelligence - remembering stuff has never been what intelligence is.<p>Understanding especially in the context of unknowns is what intelligence is.
Not only I agree with you that I don't think I've had an original idea, even when I try to do artistic stuff it seems like the things most praised were the ones where I was trying to do something else and the good part came from failing to do the thing I was trying to do.
> Combine A + B<p>Really, compress. Compression is a useful proxy for intelligence.<p>To compress data efficiently, an entity must discover the underlying patterns, structures, and regularities within that data. Identifying these structures is precisely what we define as "understanding" or "intelligence.<p>Anything we put into writing can be thought of as a string of data. The <i>Kolmogorov complexity</i> of a string of data is the length of the shortest possible computer program that can output that string.<p>A good compressor doesn't just memorize (yes, there's a reason LLM writing features the "it's not just X, it's Y pattern"), it builds a generalized model to handle unseen, similar data. LLMs are trained by compressing the internet into weights, they use this to write new code.<p>When an LLM is trained, it compresses ...bytes of human text into a few ...bytes of neural network weights. When you ask it a question, it uses that compressed model to generate (decompress) a coherent response.<p>Consider the dichotomy:<p>LLMs display emergent reasoning, coding capabilities, and logic because they were forced to compress human language so tightly.<p>LLMs often suffer from "hallucinations" and struggle with novel logic puzzles because compression encourages mimicking statistical patterns rather than building a true causal model of the physical world.<p>An algorithm can achieve massive compression if it utilizes a highly complex, slow, or massive decompression engine. If a system takes 10 000 years to decompress a file, or requires an infinite amount of computing power (like Kolmogorov complexity), it cannot function as a practical intelligence. Real intelligence must operate within tight time and energy constraints.<p>> Maybe there's true brilliance out there<p>Brilliance is a trope. pg's 2009 "The Anatomy of Determination" deals with it: <a href="https://www.paulgraham.com/determination.html" rel="nofollow">https://www.paulgraham.com/determination.html</a><p>In it, he argues that determination is the single most important predictor of success, surpassing even raw intelligence.<p>While popular culture loves the narrative of the "brilliant genius," Graham's experience backing hundreds of startups taught him that a highly intelligent person without drive quickly becomes ineffectual. Conversely, a profoundly determined individual can find pathways to success even in ordinary or unglamorous industries. Over time, <i>determination actually starts to look like talent.</i><p>I'm going to commit a faux pas (a breach of HN etiquette) and give an AI summary in 3 bullet points because, well, the article deals with 3 points, so it's a good fit and I doubt I can <i>compress</i> it better than AI:<p>1. Willfulness. The desire to get your way regardless of obstacles or consequences.Being fearless about consequences and pushing through "hellacious" moments when others quit.<p>2. Discipline. The ability to force yourself to do what you planned to do. Being "hard on yourself" and turning off the background analysis in your mind that questions the plan.<p>3. Ambition. The grandness of your destination and what you want to achieve. Choosing the right target; if determination is a vector, ambition is the direction it points.<p>Of these 3, it's quite obvious at this point that LLMs are superior at 1) and 2), as LLM alignment is quite good, and it's ability to spin up sub-agents that can work for over 24 hrs is better than humans. Human limit is basically 1 hackathon's worth of cognitive work. Beyond that, health becomes a concern, and how many people can produce useful work under sleep deprivation? Codex can work for 24-ish hours, as evidenced by today's "Auto-research with codex: How I achieved a 232x Faster Kernel": <a href="https://news.ycombinator.com/item?id=49309549">https://news.ycombinator.com/item?id=49309549</a><p>So what's left for mere mortals? Apparently, nourishing your ambition:<p>"So here in sum is how determination seems to work: it consists of willfulness balanced with discipline, aimed by ambition. And fortunately at least two of these three qualities can be cultivated. You may be able to increase your strength of will somewhat; you can definitely learn self-discipline; and almost everyone is practically malnourished when it comes to ambition."
why would anybody believe true brilliance? They would only believe something that can be proved from combining existing knowledge.<p>If a time traveler went back to 1600 and started spouting off about differential equations everyone would think them quite mad.
I think that’s true for genius is in general. I don’t mean the Einstein type but I mean the child prodigies that graduate high school at 10 years old or whatever I mean if you can read something once and remember virtually everything about it that’s a gigantic leg up on everyone else who has to study drill the stuff into your head, etc.<p>Even in a debate, if somebody just has the ability to remember tons of facts and figures, the other person will seem unintelligent by comparison, even if the other person is correct
I've long held the belief that humans cannot truly create. We just remix and recombine. This is interesting - although I'm not religious, many religious texts call god the "Creator", perhaps because the ability to truly create original thought is above the ability of us humans. To truly create is divine. Maybe the writers of those old texts recognized this as well.
This is a ridiculous view.<p>Most humans cannot incrementally contribute since they don’t have many traits required to do so - extreme discipline, imagination etc.<p>We literally live off and benefit from the investments of the few, in relative terms.
It's also "out-brute forcing them." It just never gets tired. If a mathematician picks a research direction and spends a whole week on it and it doesn't pan out, they will likely be annoyed, need a break for a while, etc. This thing just does not ever get tired or discouraged or care; it's just onto the next thing until something ends up working.
AI has sitzfleisch<p><a href="https://en.wikipedia.org/wiki/J._Robert_Oppenheimer#:~:text=He%20didn't%20have,was%20fantastic.%5B63%5D" rel="nofollow">https://en.wikipedia.org/wiki/J._Robert_Oppenheimer#:~:text=...</a>
My browser doesn't do the fancy URL text selection...<p>sitzfleisch: <i>the ability to endure or carry on with an activity</i><p>Something Oppenheimer did not have, apparently.
loaned from German, where it's originally a way to say buttocks, literally "sitting flesh". If you have more Sitzfleisch you can sit for longer. Both in the literal sense (a bigger butt makes sitting more comfortable) and in the figurative sense (having the mental ability to sit for longer, get more desk work done)
I think there is an IT bit of humor from about 1 decade+ back where the people who's proposals won out in meeting were the ones that could keep from needing to go to the bathroom longer.
Fascinating crossover from literal to figurative that you find so often when you trace language back far enough.
This is fantastic. Now I have a sophisticated-sounding german word for my attention deficit.
There's also a less flattering reading of the word, where <i>Sitzfleisch</i> means having a "flat ass" (from sitting too much, e. g. <i>Sitzfleischparade</i> describing a group of flat-arsed people, or something like <i>Sitzfleischmaxxer</i>, and so on).
This was such an interesting thing to learn
We Americans call it grit.
Wow, what a great comparison. LLMs are great at reasoning but absolute dogshit at simple arithmetic. If there's a raw calculation involved I always tell it to use python to add it all up.
Ever heard of string theory.<p>People go whole lives without being able to make it pan out.
Also out-speeding them, and that was before high speed inference.<p>Out-ralphing them, you might say!<p><a href="https://ghuntley.com/ralph/" rel="nofollow">https://ghuntley.com/ralph/</a><p>AGI ≈ artificial stupidity × infinite persistence
> It's also "out-brute forcing them."<p>That is also approximately what people have always done to succeed.
Mathematicians routinely spend years on a problem without getting anywhere.
The key here is that it’s depending on the human inability to connect the sum of relevant knowledge, but said knowledge comes from humans.<p>Theres going to be this field day of low-hanging fruit that ML can round up, but after that I suspect it will be in fits and starts as a “connection maker” rather than some proof producer.
I think we're underestimating just how much low hanging fruit there is. I've been trying to apply this LLM research process to physics (QM and solid state) and there is so much missing in Physlib and the rest of the Lean ecosystem that most of my work has been trying to formalize the theories and validating them against the specification problem (and mostly failing badly).
It's not only going to be "connection maker". If and when robotics advance to a point where the LLMs are embodied, they can run experiments in the physical world and find new knowledge.
Being embodied is not the important barrier to running experiments. It's having access to a body of resources (i.e. funding and infrastructure).
Robots in labs already exist, but mercifully they're not hooked up to anything as unpredictable as an LLM. Robots tend to work best as specialists doing high-throughput, extremely repetitive tasks which nonetheless require a degree of precision. Giving a robot a "human" body makes very little sense if we're talking about the needs and productivity of a non-human; humanoid robots are marketing for humans.
Counterpoint: something has happened in frontier models, and yes they now get discouraged and will sometimes prefer to not continue working on a problem unless you tell them to anyway.<p>I don't know how or why this would be trained on behavior, but no, it isn't true anymore that models don't say things like, "Ugh," or "this is going to take hours and maybe we should stop here."
> If a mathematician picks a research direction and spends a whole week on it and it doesn't pan out, they will likely be annoyed, need a break for a while, etc.<p>Your timelines are a bit unambitious. There's nobody expecting to make significant progress with a week of work.
> There's nobody expecting to make significant progress with a week of work.<p>You underestimate my ADHD.<p>Source: I am mathematician.
They were just illustrating their point, I wouldn't take that literally.
We're just going to slowly deconstruct every element that could be a factor of intelligence.<p>It's not out-thinking, it's just out-remembering<p>It's not out-thinking, it's just out-working<p>It's not out-thinking, it's just able to consider more things simultaneously<p>It's not creative, it's just randomly generating things and then selecting viable ones
A new technology being able to do something better than humans does not mean it’s intelligent though. A calculation program is not intelligent just because it can remember more digits than me, work more than me
That's insightful. AI is teaching us things about our own intelligence by simply evolving under our eyes.
If you make that list comprehensive, there's probably a Nobel prize in it for you.
But the difference really does matter and is not just a case of "whittling down" what intelligence really is.<p>We have known for a very long time that computers and machines are much faster than humans, more accurate, are scalable in certain ways that humans aren't, and they don't tire. I think most people who are not in the "AI cult" would agree that LLMs and modern generative AI are really just an extension of those faster/more accurate/more scalable and never tiring traits. But there does seem to be (and I'm sure folks much smarter than I have quantified this or described it better than I can) a fundamental difference in how humans think, especially as it applies to what true "understanding" really entails, and for the ability to think up truly novel and unique things that are not just a rejiggering/recombination of training data. I believe those skills really are at the heart of human cognition, and as impressive as LLMs are in replicating what this looks like, there are plenty of "LLM failure modes" where it's clear that LLMs lack a true understanding of concepts or the ability to generate useful, completely novel ideas.
There's definitely a lot missing from the current state of the art in machine learning that all brains manage to beat, and we can observe this just because an animal that needs as many examples as an AI to learn motor functions would starve to death before learning to eat.<p>However I can only guess that this is important, I'm not absolutely certain. They're at risk of being an economic disruptor just by being extremely stupid (by how much they need to study) faster than us to the same ratio we jog faster than continental drift.
Nobody knows what true "understanding" really entails, or what are "truly novel and unique things that are not just a rejiggering/recombination of training data". For the latter, you'd at least have to find an example in history of someone who came up with some idea that has been widely considered "truly novel" by experts, who didn't have any education or training, so no "rejiggering/recombination".
It's almost as if we're building something that... mimics intelligence.
>that could be a factor of intelligence<p>Could is carrying a lot of weight here.<p>Because, what's really happening is we're saying "Oh these things are what defines intelligence" then implementing them and /discovering/ "oh wait, there's more to this than we knew".<p>We've known, for decades, for example that an IQ test is not a measure of Intelligence, even though people still refer to it as though it is. A computer passing an IQ test, therefore, would have been thought of as possessing intelligence way back when, but would not now.<p>Oh, on the point of "creativity" - is a RNG "creative"? It creates a value unbounded by human intervention (in theory, yes Pseudo RNGs have limitations) - therefore it must be creative... right?
In other words: Thousand monkeys with a thousand typewriters...<p><a href="https://news.ycombinator.com/item?id=48231974">https://news.ycombinator.com/item?id=48231974</a>
Take something like<p><pre><code> (1+x*y)^3*z+y^2*(1+x*y)*(4+3*x*y);y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y);2*x-3*x^2*y-x^3*z|0,0,-1/4|1,-3/2,13/2
</code></pre>
If a thousand monkeys typed at a character per second, on a keyboard with the 23 relevant characters, it would take roughly 10^136 years for them to come up with this counterexample. Though, to be fair to monkey scenario, there's a large family of them known now, so it's not quite this bad: suppose there are a trillion permutations and similar examples that fit in this string. Then we are down to 10^124 years.<p>If LLMs are monkeys, somehow trained LLM weights allow them to model and prune massive numbers of universes in parallel.
One thing about human mathematicians is that they only publish positive results. Professors etc might have file drawers full of "negative results", but the incentives and bandwidth of human mathematicians makes publishing these useful results impossible.<p>But AI agents have no such limitations and can publish and re-use negative traces easily. There have been some recent projects (<a href="https://www.theoremdb.org" rel="nofollow">https://www.theoremdb.org</a>) aimed at exploiting this fact. <a href="https://news.ycombinator.com/item?id=49227505">https://news.ycombinator.com/item?id=49227505</a><p>In general though, LLMs do not have the same limitations and incentives as human mathematicians, and the next year's tsunami of change will make this abundantly. clear.
The bandwidth is absolutely there ("we tried this and it didn't work" is totally the stuff of conference discussions).<p>The <i>incentives</i> are not.<p>The incentives are skewed towards "a magician never reveals her secrets". The results are presented as if a rabbit got pulled out of a hat, with a maximum ta-da! effect, and little backstory of <i>how the hell did we get there</i>.<p>Don't get me wrong, these things are <i>discussed</i>, often over beers (you better drink it you want to make a career in the field).<p>But not <i>published</i>.<p>The younger mathematicians are trying to change that with the blogging culture. But the professional incentives aren't there. (In corp-speak: can't put blogging on perf). They burn out.<p>That's why math blogs usually come from either the top dogs in the field, like Terrence Tao, who <i>don't need to</i> care about perf, or people outside academia.<p>That's one thing that I hope the disruptive/destructive effects of LLMs will force mathematicians to face.<p>As one of my fellow mathematicians sarcastically wrote¹, we've reached a point where we should become a cult because we're <i>acting like one</i> anyway.<p>The other possibility is, of course, that the shake-up will take us precisely into that direction.<p>My point here is that the real problem here is not <i>mathematical</i>; it's a social one: incentives and politics, organizational structures, policies, allocation of jobs and funding.<p>All of this directly impacts <i>how</i> we do mathematics, <i>who</i> we do it with and teach it to, how we teach and communicate, and, of course, <i>what math</i> we even do and look at.<p>Given that, I'm neither too worried about humans vs. AI standoff, nor hyped about the Glorious New Future full of AI-assisted discoveries.<p>AI or not, the <i>organizational issues</i> in the field are still there, as are the <i>incentive structures</i> (including the infamous publish-or-perish).<p>We <i>are</i> doomed, yes, but by our own hands and committees. And it's up to us, not the AI, to get us out of there.<p>The little shove from the AI might be just the thing we need.<p>____<p>¹ <a href="https://www.mcsweeneys.net/articles/an-open-letter-to-the-mathematical-community" rel="nofollow">https://www.mcsweeneys.net/articles/an-open-letter-to-the-ma...</a>
This is not specific to math. To non-academics, you basically have to rewrite your commit history to make it seem more impressive. You often write the motivation section last. At least math publication culture allows saying "We consider the problem of" and then solve it. In AI/ML academic papers you need much more "story" around why, what the applications are, why aren't you doing something else, defend against lack-of-novelty attacks, defend against "this is just A + B known techniques used together" etc.
I think its a total travesty of our society that people are desired to identify both the problem and the solution<p>people without solutions are told not to point out the problem<p>and people with the skillset to bring solutions dont have the skillset to search for problems or apply their seemingly unrelated disciplines to it<p>so you get a lot of capital and energy thrown at people who purport to be both<p>If AI can address this too, that would be profoundly impactful. The cross disciplinary work that a single college course is supposed to reveal, finally realized
Yeah, LLMs are great at generating negative results for math-related prompts "We scanned values {a,b,c} from 0-100 and no results" Great..too bad journals will not publish this. But good job, I guess. A negative result is only truly useful if it can be bounded, requiring an actual proof.
> A negative result is only truly useful if it can be bounded, requiring an actual proof.<p>That's at least true for current journals, since they're supposed to be read by actual humans. I suppose one could imagine a sort of "AI" pure data journal that just "publishes" (in actuality aggregates) any sort of partial result. This body of knowledge would be entirely useless to humans, but could serve as a sort of "computation cache" for these stochastic systems.
What is next years tsunami of change? Asics?
I can't help but think of Michael Nielsen's essay "Augmenting Long-Term Memory" [1].<p>> Many people's model of accomplished mathematicians is that they are astoundingly bright, with very high IQs, and the ability to deal with very complex ideas in their mind. A common perception is that their smartness gives them the ability to deal with very complex ideas. Basically, they have a higher horsepower engine.<p>> It's true that top mathematicians are usually very bright. But here's a different explanation of what's going on. It's that, per Simon, many top mathematicians have, through hard work, internalized many more complex mathematical chunks than ordinary humans. And what this means is that mathematical situations which seem very complex to the rest of us seem very simple to them. So it's not that they have a higher horsepower mind, in the sense of being able to deal with more complexity. Rather, their prior learning has given them better chunking abilities, and so situations most people would see as complex they see as simple, and they find it much easier to reason about.<p>I once tried out his Anki approach during a math lecture. Whenever I reiterated a card, say about some lemma, I noticed something interesting about it. This was delightful and many lemmas became much more streamlined over time. It's not a "solution" to mathematics, but I found it delightful while it lasted (before akrasia or lack of time kicked in and I stopped doing it).<p>[1] <a href="https://augmentingcognition.com/ltm.html" rel="nofollow">https://augmentingcognition.com/ltm.html</a>
> many top mathematicians have, through hard work, internalized many more complex mathematical chunks than ordinary humans<p>Do you really think an average person can internalize complex math? Them compressing it effectively and then remembering it is a sign of (very) high intelligence.
It's probably worth checking the site history before posting. The guy who wrote this looks like some kind of "race science" crackpot.
Interesting fellow. He has publicly claimed that he has ESP:<p><a href="https://www.splcenter.org/resources/hatewatch/wikipedia-wars-inside-fight-against-far-right-editors-vandals-and-sock-puppets/" rel="nofollow">https://www.splcenter.org/resources/hatewatch/wikipedia-wars...</a><p><a href="https://openpsych.net/forums/18/thread/25/?page=1#124" rel="nofollow">https://openpsych.net/forums/18/thread/25/?page=1#124</a>
Gee, 100%. Articles basically saying genetics explain everything.
I thought this was fairly obvious. I don't consider any of the AI models I've worked with particularly smart, but they've read orders of magnitude more than I ever could in my entire lifetime. They have far better book knowledge than I have, so that's how I use them. I use them for things that I suspect other people out there would know, but I don't. But when I work on something that I suspect is truly new, the models rarely understand what I'm doing, and I've got to do it myself. Although I still poll them for basic principles, best practices, and other advice.
It was duuring my PhD I realised that thinking is essentially<p>1. remembering all the different information to remember all the tricks<p>2. trying all the different tricks in the problem<p>3. optimizing deciding which to try based on different information<p>4. trying random things to discover patterns (and hence new tricks)<p>5. explaining your tricks to others so that they can do the first 4 steps independently and come up with even better tricsk<p>6. refactoring tricks into common and special parts to create a well organized theory<p>7. documenting for future generation in a language they can understand<p>that's all thinking is.
LLMs are enormously good 1. and 2. But humans are much better at the rest.<p>I don't want to read another LLM documentation ever again. The information to text ratio is way too small.
> That's all thinking is<p>That's more because a PhD (especially in this socioeconomic era where academia is also a microcosm of capitalism) does not automatically teach or focus on deep inquiry, rather narrow research programmes. Case in point, fallaciously reducing it all to a superficial theory of tricks means that by the same light, general relativity or any other major scientific result is merely just a trick. That framing ought to be absurd on the face of it but the fact is many PhD students do still graduate with very unexamined understanding of science, cognition, philosophy, etc. (Another way to see this is to note how such an argument is letting the notion of "trick"/"heuristic" do all the heavy lifting--something an advanced education should have nurtured the critical thinking skills to avoid that very metacognitive pitfall in the first place, which is ironic.) (Yet another way is to see how increasingly experts of one field or another insist that one must stay on their lane when speaking about a complex topic.) There are professors and thinkers who have written/spoken about this but they are a minority. Even Einstein himself when he complained that more and more scientists were trained/structured to miss the forest for the trees, and that was almost 100 years ago.
While TFA itself makes sense I disagree with the title and the conclusion. I would not consider referencing working memory during thinking as “remembering” but as a part of thinking itself. Working memory is the RAM to the much larger but higher latency indexed database that is our long-term memory. As such I would say AI <i>is</i> out-thinking us, even if in a brute force sort of way.<p>I think where you <i>could</i> say it is out-remembering us is when it can contemplate the vast universe of patterns, gleaned from essentially all human disciplines, encoded in its weights, that may let it draw connections that a human could not, unless they just happen to be familiar with multiple disciplines.<p>Which is why I think the analogy with Von Neumann / Einstein is also a bit off. From TFA it seems Von Neumann was more akin to what AI does, than Einstein. I don’t get the impression that it was Einstein’s memory but his ability to look at things from a radically different perspective. So far I don’t know that we can categorically say that LLMs can or cannot do that.
LLMs are still missing a part of working memory. Part of working memory is being able to attend to small amounts of information and then understand and parse all the pieces of that information. When LLMs use their "working memory" they just analyze different probabilities of tokens and there is no prioritization or understanding of the information in the way humans have it.<p>If there is no training data or data in the context that leads it to the correct result then it can't do it, whereas a human seems to be able to generalize and abstract a goal and then repeat an action or thought process in a 'recursive' manner to reach the result. AFAIK LLMs don't do this.<p>Just as an example to illustrate. I recently asked an LLM to organize a bunch of artists albums into whether they were released by a major label or an independent label, and for the most part it did a good job. But there were albums that it classified as independendent that weren't. I presume because it either didn't run into the right data when searching or it misunderstood the data it did find. A human would not do this because if a human had a list of all major labels, it could instantly detect whether an album was or wasn't indie, because it doesn't do any complicated parsing or token probabilities that LLMs do, it just recognizes a pattern (either an album is indie or it is not, a human brain needs simply one piece of information to decide this), an LLM is not that simple.<p>In a way human brains are simpler than LLMs. The algorithms it runs mentally can detect a piece of information and then see most / all of the consequences of that information whereas an LLM thrawls through megabytes of text and does a token probability distribution and so on without any simplicity.
There are plenty of high value endeavors where being a superhuman knowledge remixer is right on target. But even capturing all of the knowledge is proving elusive.<p>I use coding agents. I think they're pretty good overall. They save me a lot of tedious coding. For example I probably wouldn't spend the time to implement native splash screens for all the build targets of a Flutter app, but I'll have the coding agent do it.<p>Nevertheless, for all the time that we've had coding agents, it's still trivially easy to find the jagged edges of their training. For example, Gemini evidently doesn't know if the Xcode part of a Flutter tool chain is misconfigured. That's not exactly a Millennium Prize problem. But it is shaped wrong for a training set for a coding agent.
Sounds like another attempt to frame AI in a way that makes them feel better about themselves.<p>The simpler explanation is that a working memory is a requirement for intelligence, and a larger working memory will make you more intelligent. Hence the AI can in fact be more intelligent than the mathematician.
Yes. That's how LLMs do programming, mostly. It's also why LLMs don't need abstractions or parsimony as much as humans. They can work on something complicated without simplifying it first.<p>This has major implications that haven't been fully realized yet. On the math side, there are long machine generated proofs. On the code side, there are high volumes of code with similar code not being folded into functions.
For greenfield projects LLMs don't need abstractions, but as the project gets more complex, the right abstractions save a pot on input tokens (less code to read) and reasoning tokens (less work to do to figure out the code), so they free the context window for higher purposes<p>Also I suspect that, apart from that, the results on smaller, cleaner codebases are better. LLMs degrade when following more than N instructions (where N depends on the model) even if the context window is not full yet; I suspect they also degrade when code has too many unnecessary concepts and details
I've been working on generating a large code base for the last couple of weeks. Finally got around to generating a sort of code-duplication report and have spent the last week just having it de-duplicating logic that had been strewn all over the place (eg 11 different functions all doing date math to add x days to a date). dozens of items that had each been similar functions duplicated numerous times. crazy. (opus-5-utracode)
This is the exact opposite of what I’ve been dealing with for awhile. LLMs absolute <i>cannot</i> work on something without an understanding unless they can outsource the understanding to a verifier. If you’ve got an easy to check function to measure progress then “keep going” is all the prompt you need. But if you need it to figure out “I pushed the up button and it moved up and left” then it’ll find the same bug five ways without realizing it’s just one bug in the underlying math.
LLMs use abstractions a ton in code though: standard library functions, popular libraries, etc. They just dont always <i>make</i> their own abstractions. At least not particularly good ones. LLMs work really well when they have well abstracted pieces to put together.
A superhuman working memory is exactly how I've been describing the LLM advantage. Paired with the unreliability of its reasoning and judgment, it is what makes AI a supplement to human intelligence, not a replacement.<p>On the other side, LLMs make random mistakes and wrong choices and they have a bias toward writing more code instead of less. You can make up for this to some degree by running another LLM against their output, but with very diminishing returns. Even if they were perfect, there will be an ongoing cost to little or no human awareness and understanding of the codebase.<p>It may take some time for people to recognize the cost of AI code generation and their value for virtually everything else, but I believe we'll get there.
I also find them bad at what I call "abstraction compression." They're really bad at noticing when a helper function is needed, when some structure they repeated five times slightly differently can become a struct, when a whole section of code can be encapsulated in a simpler design.<p>I'm lucky that for my side project (an interpreter) I've written all the code myself, so I've built up its design in my mind over the past year, and so as I mull over what I'm writing I start coming up with simpler designs.<p>Interestingly using Opus 5 (and LLMs in general) has made me worse at this, since I don't feel the pain of writing something over and over again. On the other hand, I don't really want to implement a whole stdlib, so I have it write more of the auxiliary code. The hardest thing is that I have to manually manage the context, which is painful when I personally remember every helper function and why. I have to remember to keep the list of helper functions updated, which is irritating.
I often think “what will ‘maintainable’ code look like in the future?” given this kind of thing. Much of ‘good coding’ is about optimising the codebase for workability for a human intellect with human working memory.<p>Though having said that, from the studies I’ve come across it seems like LLMs tend to generate more verbose code but perform better over the long-term when the code is maintained and not allowed to sprawl all over the place.<p>I’m mainly using AI for tools development and in that context I often wonder if I’ve just developed a career-long habit of over-abstracting. Like, the tools work without all the fuss I might have put in at the beginning and you just iterate and evolve as you go.
Memory and intelligence are linked.<p>Someone with a better memory for ideas or concepts will be able to more quickly incorporate those into novel ideas or recall them when necessary to assist in solving a problem than someone with worse memory.<p>To those here challenging this with “yes but I’m smart and my memory is bad” - a) define smart and b) perhaps your memory for trivial things like life events, what you did two weeks ago on Monday or people’s names is bad, but I suspect your memory for “work” or problem solving is strong.<p>Another example I used to see (hear, rather) is how musicians rip off each others riffs and hooks without noticing (unintentionally - they claim), which I long suspected as simply “forgotten” riffs they heard in other songs that once they started playing themselves by chance they attributed to their own creativity. Creativity and intelligence are somewhat linked that way I suspect.<p>In any case, this all boils down to the same thing, you can think of yourself as a dynamic model made up of memories and biases to some degree, and your ability to store and recall useful information to solve problems increases what we call your intelligence.
Which is why love it! It can easily did through the code flows of our 250k file project and more often than not and understand what's happening much faster than I ever could.
IMO, That's the case for all subject areas. It is also one area where AI excels at, and it could be of real use if we can find a way to stop hallucinations. The sum of all knowledge being at our finger tips would allow everyone to focus on the hard stuff.
True, but as it pieces together new mathematical truths from the pieces we have discovered ourselves, it then has more truths upon which to build new solutions. And so on, so while it is just remembering things we have forgotten, the amount of progression an LLM can make may still be several steps ahead and touch areas we have not yet been able to consider or make any progress on ourselves. It's a bit like a pyramid though, eventually it will have tiued together all teh things we know, found all the things we could have known, and then .. perhaps, be unable to actually come up with something genuinely new.
That intelligence is "just" retrieval within a huge corpus is an old one, and the one I am thinking about a lot these days: <a href="https://news.ycombinator.com/item?id=44060672">https://news.ycombinator.com/item?id=44060672</a>
Outside of math you can basically take the entire corpus of research papers on any topic and have the AI read all of it and provide an analysis cross referencing everything all at once. This applies to everyone and everything.
This is why education used to start with rote memorization.
Functional intelligence isn't abstract, it is based on useful information you can quickly recall.
What I'm looking forward to amidst all the negativity, fear, and loathing is for some 20something mathematician to outdo both humanity and machines by leaning hard into centauring to expand the frontiers of mathematics. Pretty much what I think the future will play out to be as well, but I don't think people are ready for that yet.
Does it matter? It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers.<p>The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.
We don’t trillions of dollars in LLM investment to build things mathematicians don’t understand. We already have plenty of those, even from ancient times.<p>As to your second point, Terry Tao already has an answer [1]: the proof isn’t the contribution, shared understanding is. This issue was already raised back when the four-colour theorem was proved. Machine proving and machine proof checking are useful tools but they don’t mean anything without the interpretative work and the communication necessary to build shared understanding.<p>[1] <a href="https://news.ycombinator.com/item?id=49056620">https://news.ycombinator.com/item?id=49056620</a>
If humans have nothing to contribute then shared understanding is a pointless endeavor. It makes sense now in the "centaur" period where human + AI > AI alone, but when AI mathematicians are both more rigorous and more elegant, then taking the time dumbing down their proofs to a human level of understanding is like requiring that we ensure all our current proofs be understandable by a monkey.
> If humans have nothing to contribute then shared understanding is a pointless endeavor.<p>I agree, but as a software engineer this gives me pause because I keep trying to insist on coding standards but I’m unable to come up with a compelling reason why it matters. Ostensibly the reason we cared about things like DRY and code quality was so that it would be easy to understand and easy to maintain and easy to make changes to later. But it now seems like a shared understanding of the codebase is less important than ever, and it’s more about shoveling requirements in without breaking any existing functionality.<p>Is a well tested slopfest better? That seems to be the conclusion for mathematics, so why not software too?
> easy to make changes to later<p>IMO it's still a problem with LLMs; we still have to build in a way that makes it easier for an LLM to make changes later and arguably it's the same things that made software development easier for humans. IME LLMs tend to not know how to do that for themselves and instead just amplify/copy patterns that already exist.<p>If an LLM can't pave the way for itself then ultimately shared understanding is required to take advantage of LLMs in the first place.
It used to be the same with assembly. Programmers complained the one generated by compilers was not pretty, but now in 99.999% of the cases, it does not matter because nobody look at it.
Where is the value in an unintelligible gibberish proof?<p>We already have countless examples of such filling up the arXiv, written by hacks long before LLMs started writing proofs. No one cares about them. You might as well build a box blasting radio static into the void. You could save a lot of electricity that way.
But but but... Does not AI exists (or has to exist) to only serve us.
Why not? We build cranes to hoist weights construction workers can't lift. We build electron microscopes to measure things physicists can't see.<p>Why is it so hard to imagine we can build tools to think thoughts we can't comprehend?<p>If there's commercial value, I think it's inevitable. We don't fund mathematicians because it's cute when they understand a problem, but because their work tends to have applications with commercial value. The value can be captured without understanding the details.
The idea about the goal of mathematics being shared understanding seems to come at a convenient time.<p>Mathematicians have never been known to communicate their ideas very clearly.<p>Regardless, even that target llms will likely win - an llm will likely be more efficient at teaching me string theory than a professor in a room with 463 other students.<p>The llm <i>is</i> the shared understanding.
I don't think "shared knowledge" means "shared knowledge between mathematicians and lay persons" (there is no much point in that, the same way a smartphone technician knows how a smartphone works deep down to the details but there is no big interest for society to have every lay persons being informed about it). I think it means "shared knowledge between mathematicians".<p>And at this level, while there are anecdotical exceptions, mathematicians have always been pretty decent (with their conferences, workshops, paper publications, international collaborations, ...).<p>So, it does not mean "teaching the subject", it means "creating a human network of people that share the understanding". LLM can be useful at telling a human, but you still need a human. The point of Tao is not that LLM is not good at providing explanations, it is that "providing explanations" is not the contribution to science, "the human network" is. It's like saying "LLM are great cook, they generate tons of food in space", but the point of having cooks is so that people can eat food and not die. Having LLM generating mathematical proofs is as useless as having LLM generating food that no one can access: the point was never to "generate proofs" or "generate food", the point was "creating a shared human understanding" or "eating the food so human can survive".
I don't get the argument.<p>I get that there is a cultural benefit to keeping it alive. Just like we ideally want the languages represented at the universities.<p>But keeping humans in the loop does not appear to be necessary in order to call it science, and certainly not in order to have progress or dessiminate that progress.<p>I don't have a problem with people doing math. As long that we don't idiomatically hold on to that way of doing things.<p>I do, however, find it hard to belive that individual humans will play a big role from here and forward, in any scientific desciplines.
The goal is indeed to have progress or disseminate that progress.<p>The point of Tao is that people see LLM providing "proofs" and are concluding that this is all that is needed to "have progress or disseminate that progress". That is the same mistake of thinking that "generating food" is all that is needed to "have people not dying of hunger".<p>The hard part of "have progress or disseminate that progress" is the human network. A fundamental point of this human network is that it generate trust, accountability and reliability. Generating "useful new theorem" is useless unless the society also built the trust around the theorem to distinguish it from a fake theorem.<p>Maybe in the future, we will have AI doing some part of it, but this is a totally different AI animal than the one we are able to have now, and people who think the current AI that we see now is able to do that have no understanding how it works. This is demonstrated by the facts in math: current AI is able to provide math proofs, and yet, a lot of human work is still needed to get progress out of current AI.<p>I would not bet that individual humans will still play a role as big as today in the future. Maybe AI will be different in the future, but the reality is that we don't have any indication if this is even possible.
Why is there a cultural benefit to keeping it alive, or to having universities? It seems like education is toil that could be automated for those that don't have fun with it.<p>Humans soon won't need it.
The entire point of writing proofs is for advancing human understanding. A giant dump of symbols that passes the lean compiler is meaningless besides human beings understanding it.
In the field of pure mathematics this might be true, but it has implications regardless for applied math, engineering, and physics.
> The entire point of writing proofs is for advancing human understanding.<p>Proofs also enable AIs to direct search and generate knowledge. Verifiability is immensely useful for keeping AI grounded.<p>One might imagine AI generating enormous numbers of hypotheses and then trying to prove or disprove them, and then mine that data for new abstractions and heuristics.
But what does it mean? The theorems are just symbols in lean. The conjectures humans chose are carefully selected to be the questions that are interesting and relevant to our intuition about the real world.<p>Math often doesn't have applications for hundreds of years and that application is only possible because people deeply understand it and how it applies to the real world.<p>Generating an endless list of true statements doesn't really do anything, those things are already true regardless of whether someone has written a lean program to model them.
An AI may still be able to apply the results without humans understanding the proof.
Sometimes the purpose of the proof is simply to demonstrate that some construct is a safe assumption for other more interesting work-- and could still serve that purpose even if it was entirely a black box.
No it isn’t, it’s putting it into the corpus which means another LLM doesn’t have to spend a few billion credits the next time.
Is it the AI's fault we can't understand? If the GUT is beyond human comprehension does it matter less? We don't apply this reasoning to other animals or even to less capable humans. Besides, the robots may want to ponder maths for <i>their</i> pleasure.
<i>was</i>. Not is. <i>Was</i>.
> The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.<p>That sentiment makes me cringe. If you understand how LLMs work, you'd know it'll never be possible without a fundamental change in how these work.<p>We're also supposed to be reaching that point, somehow, without the LLMs ever being intelligent (in the dictionary definition sense, not the "high reasoning model" marketing sense).<p>Based on observations, the ones who are fooled by the supposed emergent properties, are just that, fools. Any sufficiently unintelligent agent will perceive transformer based LLM text predictors as possessing high intelligence.
Maybe you can enlighten us. In what way aren't LLMs able to make new contributions.<p>LLMs in agentic harnesses are Turing complete.<p>To my best knowledge, we don't know of any greater computational model that the brain is a part of, that LLMs are not.
First of all, the argument isn't that LLMs (with I assume some automation) cannot be used in searching a problem space. I'm assuming this is what you're referring to, in terms of contributions?<p>That's the part where LLMs are used as tools. Which there are plenty of places where they are useful.<p>Also, do you know what turning completeness is? Why are you bringing that up here?<p>The crowd that AI psychosis has brought to HN is interesting. But not in the "I'd love to learn more" kind
> That sentiment makes me cringe. If you understand how LLMs work, you'd know<p>> But not in the "I'd love to learn more" kind<p>I hope you are able to see the problem in your own communication here.<p>Computation classes are interesting because they say something about fundamental capabilities.<p>Two machine that are Turing complete are in theory able to carry out the same computations. They are isomorph mediums of computation.<p>Regardless. Please keep it sober. If you think you know something, enlighten us. But don't just propagate out lies.
The thing about discussing or explaining constraints, is that it rarely is useful or productive if the other side does not accept (or understand) the reality of them.<p>Turing completeness is not exactly a high bar, and it's genuinely confusing as to why you bring it up. Your C++ precompiler is <i>exactly</i> as intelligent as whatever is your favorite agentic workflow with whatever harness you're referring to. Both might be Turing complete. Neither are intelligent. But one of them seems to be fooling you to think otherwise.<p>There have been many times that the C++ precompiler produced some output I couldn't understand. I might even at some point thought it was trying to tell me something profound I was too dumb to comprehend. Turns out it was just a missing semicolon.
Yes, so there is not reason to believe that you can do computations that the precompiler can not do.<p>There is no reason to believe that that you can not fully simulate intelligence in a C++ precompiler.<p>The precompiler can be simulated by human intelligence, and human intelligence can simulate a c++ precompiler.<p>Again, you are the one who arrogantly say they llms can not be intelligent without supplying any argument for such.
> Again, you are the one who arrogantly say they llms can not be intelligent without supplying any argument for such.<p>Not really. You've provided the arguments yourself, just now. But, you don't understand them. Which, brings me back to the initial remark, as to why this engagement is bound to be unproductive. I'm off to bed. Have a good one.
I'll bite, I think Turing completeness is relevant in that it has to be used to informally argue via the Church-Turing thesis that biological intelligence cannot exceed the power or expressivity of formal neural network models. It thus is a good counterargument to stochastic parrot dismissals of neural net based AI such as LLMs, which really are still black boxes. The issue is not simply "So you think that humans are as powerful as LaTeX (or vice versa), ha ha how absurd!"
Obviously actual intelligence has an ineffable essential aspect, just like unicorn farts do.
"The age of humans comprehending things is coming to an end"<p>That's something AI companies would really want you to believe.
> That's something AI companies would really want you to believe.<p>Why would I care what they want me to believe?<p>Intuitively it would make sense that you can put math ability on a chart with a value for “general public” “smart high schooler” “smart undergrad” “smart PhD/ professional”. And you could place frontier AI somewhere on that chart over time from GPT 2 to now and see the trend.<p>Then you’d have to consider that either you believe there is a fundamental limit that is below peak human mathematician level or there’s not.
> Why would I care what they want me to believe?<p>How would you not care? Are you a robot?<p>They can say random stuff with the goal of increasing their shareholder value. Things they spit out do not have to be true. It is not easy to verify things they say, therefore, everything they say should be taken with a huge grain of salt.
Consider Enron and Amazon at the turn of the millennium. They were both telling you what the future would look like. The right action would’ve been to just ignore what they are saying and try and get data and reason about the world. It didn’t really matter that both Bezos and Jeff Skilling wanted you to believe various things - one was right and one was a scammer.<p>So that’s what I’m doing here. For what it’s worth I find a lot of the AI people’s worldview very consistent. They believed AI would be the most important technology of our life times and committed their work to it. Some of these same people are total liars so yeah I won’t really hang onto their every word.
He's saying he can connect the dots without their help.
that does not make it not true, nor does it make those companies or their products not dangerous. I like looking at videos of animals that tear other animals apart and eat them; lion cubs are super cute; but that does not mean I want to be thrown into a cage with a model of a lion that has not been programmed to be disinterested when it is sated. AIs appear never sated; humans using or making AI wanting money, even less so. I suspect the AIs will understand the cost long before the humans will, not that anyone making money would care.
[dead]
You’re prescribing elegance to a stochastic generator trained on the wealth of humanity, including 4chan. Let’s set our expectations a bit.
> It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers.<p>I agree.<p>> The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.<p>I don't know if I see this being true for quite a while, if ever.
> It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers.
> I agree.<p>There's an infinite space of possible statements and proofs. The only thing that makes certain proofs significant is that human mathematicians consider them significant; if AI came up with a proof of some statement that no humans could understand then no humans would bother investing further resources in building upon it, for the same reason we don't waste computational resources iterating over the infinite space of true statements in first-order logic.
In limited experimentation: AI will certainly make statements that are extremely intricate and hard to understand, in part because they're overcomplicated and in part because they use a bunch of unnecessary terminology.<p>This is not to say that a human couldn't understand a streamlined version or that the AI would not be better if it made more streamlined statements to begin with.<p>(I am not saying that everything mathematical that an AI produces is in any sense trivial.)
It’s possible, but there’s a difference between vastness and difficulty.<p>Humans can’t compete with AIs on vastness of material they are familiar with, or the depth of effort they are willing and able to throw at a problem.<p>But scale isn’t the only aspect of difficult scientific endeavours. There’s also theory. And advancements sometimes come through hard graft of knotting together many things. And sometimes they come through the revelation of a deeper truth, or a new framework, a fundamental insight.<p>AI might help us reach the next level. But that doesn’t mean we won’t understand anything. It could be we have periods of vast intricacy we cannot follow, punctuated by profound elegance we (or at least experts) relatively easily can. And then the scaffolding we needed to get there falls away.
I don't think that's true. Human intelligence is limited, and our brains are inefficient machines.<p>The tools we built to replace muscles have mostly obsoleted raw strength for tasks like excavating earth.<p>There's no reason to think we can't do the same for brains. And then we'll never need to think for a living again. Some people may want to do it as a commercially insignificant hobby, of course, the way people lift and compete in strongman competitions today.<p>We'll have AI taking care of our needs, the way a good mother takes care of their children.
Evidently some already stopped thinking way before the advent of these mythical thinking machines
>our brains are inefficient machines<p>The human brain is exceptionally efficient.
A good mother doesn't raise children to be dependent upon her for all their needs.<p>For this to actually work in a way that benefits our species, humans will need to become something else/next through their interaction with the technology.
It's inevitable -- we won't have the machinery to compete, so we either have an aligned AI taking care of us, or we end up with a big problem.<p>Anyways, sipping wine on the beach and doing puzzles when I feel like sounds nice.
Permanant vacation is great for an individual. I'd love one.<p>However, for our species, extinction follows domestication.
looking for scraps in the gutter of never seen sun city more like
You could be right, but you're making a lot of assumptions about how complexity, scientific understanding, and explanations scale. One of the features of a good scientific discovery is that it often <i>simplifies</i> and <i>compresses</i> things that were previously a bunch of scattered facts. Also, as AI systems improve they'll get better not only at making scientific discoveries, but also at producing understandable explanations.
Then it's pretty bad that LLMs don't understand anything.<p>They don't know and can't know. Without an external source of input that corrects them, their output can never be verified.
If and only if that is actually true, then perhaps nothing matters. Until then, calling out shenanigans remains a noble art.
> The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.<p>Ask yourself: is that really the world you want to live in? It's a world where people, all people, are sidelined.<p>I think the <i>happy ending</i> of that path is something like Idiocracy. And the more likely ending is something like "automated capitalist economy without the people, because the people couldn't compete."
That maybe true at some point, but i don't think we are there yet.
But apparently we can teach machines to do it for us
>produce proofs far more intricate than humans can understand<p>Math is not magic, a proof is just a series of applications of a set of rules on some axioms. A mathematician could understand any proof given enough time to study it; the only way for AI to make proofs that a human couldn't understand is by making really, really long proofs.
<i>It's going to produce proofs far more intricate than humans can understand</i><p>The thing is, some number of advanced proofs start out "too intricate for most mathematicians to understand" but many of these get rephrase and reframed until they're accessible to undergraduates. Hopefully, AI math can be guided to do that sort of reframing to increase the level of accessible math as well as extend the border of math.
Why would you want something you don't comprehend? How can you be sure it empowers you?<p>I think perfect rationality doesn't exist, because it is rational to reject something that you don't understand. So rationality of a given physical system will always be bounded.
Let’s not jump the gun. Where they are right now they can somewhat match our abilities. We haven’t even gotten to the point where they can self improve.
This means some AI proofs might be impossible to comprehend by humans, right?
I guess AI still lacks human intuition for many concepts, but AI might beat humans in narrow areas, such as discrete math and combinatorics.
Exactly, it's making connection across vast set, not bringing the magic intuition.<p>Has anyone tried feeding all of human knowledge to an LLM prior to Einstein's work and tried to have it reinvent physics?
and yet very little access to common sense :)<p>the article cites the ability to keep a ton of details in working memory as an advantage, I'm not so sure that it is - perhaps it is quality over quantity; a compression of everything known into a smaller set of interlocking patterns should provide a more useful generalization (if correct, of course). The human's ability to perceive 7-10 concepts might just be the tips of the icebergs composed of a gazillion micro-concepts, i.e. our working memory is enormous, but not consciously accessible<p>also, the older neural capacity estimates are way wrong [1]: dendrites also compute<p>[1] <a href="https://www.yahoo.com/news/science/articles/neuroscientists-vastly-underestimated-brain-cells-110000384.html" rel="nofollow">https://www.yahoo.com/news/science/articles/neuroscientists-...</a>
C'mon AI companies, pivot to lawyers or doctors already.<p>Trying to convince us that mathematics and software engineering are "solved" is getting very tiring.<p>The pushback would probably be too much for the soon-to-be IPO-ed companies.
Mathematics is typically concerned with "proofs" [1], which similarly to code, often allow for strict validation. Thanks to reinforcement learning techniques, it is now possible to train LLMs to perform very well on code generation, and mathematical proof generation.<p>Law and medicine are fundamentally harder fields to obtain decent training data for, and LLM results are therefore expected to be less powerful. Also, making mistakes in these fields is costly, but perhaps you were alluding to that already.<p>[1] <a href="https://en.wikipedia.org/wiki/Mathematical_proof" rel="nofollow">https://en.wikipedia.org/wiki/Mathematical_proof</a>
Mathematician here. There is a lot of recent work on the Lean project -- when a proof can be translated into Lean code, then it can be strictly and formally validated.<p><a href="https://lean-lang.org/" rel="nofollow">https://lean-lang.org/</a><p>But otherwise, mathematical proofs are read and written by humans, and at the end of the day the relevant standard of proof is what other mathematicians will accept.<p>Occasionally, mathematicians don't agree. For a prominent example, you can read about Shinichi Mochizuki's claimed proof of the so-called ABC Conjecture:<p><a href="https://en.wikipedia.org/wiki/Abc_conjecture#Claimed_proofs" rel="nofollow">https://en.wikipedia.org/wiki/Abc_conjecture#Claimed_proofs</a>
For that particular example, it's now been proved that Mochizuki's proof is incomplete: <a href="https://zeli.app/en/story/48963019" rel="nofollow">https://zeli.app/en/story/48963019</a><p>I guess whether he will eventually fix those gaps and resolve the issues remains to be seen.
> Law and medicine are fundamentally harder fields to obtain decent training data for<p>I think this bubble has given a lot of people software brain and are trying to apply it to fields it is wholly inappropriate for, though. Law is about argumentation and rhetoric. It is about providing a persuasive argument. This is how it is taught. The actual legal code is a way to formalize <i>parts</i> of it, but increasingly I see people angrily insisting that the only thing that matters is the text.<p>As you might imagine, I find textualism a load of applesauce, but I don’t think the vast majority of people making this argument even understand textualism as jurisprudence. It seems to stem from Crypto bros and the whole “code is law” argument which is just codswallop.
A neighbor of mine whose husband is a lawyer said it's already part of his regular workflows. OpenAI also already have HIPAA compliant offerings targeting healthcare uses, etc. Of course they already do these things.
They try to sell AI as lawyer or doctor replacements as well. But because it’s HackerNews we are biased towards our domains to see them more often.
They can rely on compilers, solvers, theorem provers to validate the generated softwares and maths. That’s what makes it possible to iterate quickly in a loop and self correct. You cannot do that in soft industries like legal and medicine
Look up OpenEvidence
Choosing what to remember is my biggest challenge!
Is there anyone on the planet who doesn’t think <i>”thinking”</i> also includes memory?
I love the term "Out-Remembering"! I have been trying to find a way to communicate that "intelligence", "creativity" and so on might be misleading about the true nature of LLMs, and they would better be described as genious "reproducers" as in, they are very capable at reproducing what they have already seen - and they are a bit less capable, but for many use cases still good enough, at reproducing a mix of concepts seen previously.<p>This also nudges into how to use it best: By knowing where the "piles" of if training data are (i.e. when it comes to a CLI in rust, I just briefly describe the use cases, and I have a very high confidence the code will work exactly as intended by me since there will be a multitude of examples in the training data), one can predict where the LLM is likely to go wrong an prompt/guard accordingly. This skill grows with domain expertise, and is one of the many reasons LLMs can be (and probably should be) used to outsource busy work, but never understanding and learning. ("never" is a not meant literaly of course - I for one am glad that I do not have to wrap my head around CSS and other frontend topics and go straight to the topics that interest me most)<p>"Out-Remembering" captures that perfectly, I feel. Also goes nice along with "asking it leading questions" as we know how to do in real live; if you want a person (LLM) to confess (produce output tokens) something, sometimes you do that by leading the interogation (chat, context) to where you think the truth lies.
So build a better proof/paper/technique search engine?
It is obvious that super intelligence comes from more working memory.<p>It is the scary thing actually. Cause once AI makes arguments that require a working memory of hundred items, then we as humans will have no way of understanding the arguments…<p>We can decompose and write things but only up to a point. when Ai can have a working memory that spans hundreds of books, we are necessarily going to have to trust the system.
This is why we have hierarchies of abstraction. Pretty much every field of mathematics relies on constructing notations, models, and other tools to simplify things in a way that is verifiable. LLMs rely on the same basic technique, they can just pull from a wide variety of these abstractions at once. So far we've been able to understand their proofs just fine. Computer-assisted proofs in the past that relied on brute-force is where we have run into trouble. We cannot reason about millions of possibilities at once, and we had to trust that the computer program that analyzed them was correct, which is a really hard problem and leaves humans fairly unsatisfied. I think we are actually progressing in terms of understandability in computerized proofs.
We offload working memory to paper if we want to understand something that does not fit into the regular meat bits.
>Cause once AI makes arguments that require a working memory of hundred items, then we as humans will have no way of understanding the arguments…<p>That doesn't follow. We could still understand it just by studying it and committing it all to long-term memory, it just takes longer. And there's a hard cap on the working memory of LLMs, due to the quadratic scaling cost of the full attention layers that have proved unescapable for all SOTA LLMs.
“is obvious” -- that’s what my Russian math professor said in college before skipping the rest of a proof.<p>But was it?
Mathematicians don’t forget things they haven’t learned. So is it that forgot history, or they didn’t learn parts of history to begin with?
Yet it still can't make a symphony
Nobody IRL cares about nerds btw.
which is why the programming language for LLMs hasn't been invented yet. I cannot read someone else's code that is filled with single letter very real names, but I can write it but as a human with human working memory, I can only hold so many variables in my head to reason about an LM is a much greater working memory unless does not need the same abstractions as a human does if I'm no longer riding the code and I don't need to read it, then not only is goto's considered harmful is holding us back, but bring on the big ball of mud spaghetti code that outperforms human written code, that no human has a chance of maintaining or reasoning about.<p>The problem with this is there is going to be a bug that needs fixing that the LM can't fix and if the humans can't understand the bug that we're just gonna have to live with the bug! But let's not talk about that.
"AI" does not exist, it knows nothing and has no experience of doing or seeing anything to "remember", a data bank filled with the jumbeled accounts of things that humans have said or written about what they may have made up or may have done or may have heard someone else say, and changing the label to "memory" is only that , and can only have the predictable outcomes.
Seeing what AI has been doing to maths conjectures recently, I decided to give theoretical physics a go.<p>I threw some random "crank" ideas into GPT 5.6 Ultra and let it consume most of my weekly Pro subscription quota.<p>I'm actually pretty impressed with what can be achieved! If your simply <i>ask</i> it to use adversarial agents and include honest self-ratings, it can produce output competitive with a smart but not exceptional PhD. Not imaginative, but the <i>effort</i> that it sinks into even the smallest matters is just amazing to watch.<p>Did I get anywhere by applying AI to my toy models? Probably not! I ran out of quota before I could tackle anything really interesting.<p>But... GPT <i>did</i> seem to discover something genuinely new by essentially brute-force effort of combing through hundreds of papers on ArXiV: a new "constant" extracted from a formula over quark masses that seems to evaluate to exactly 3/4 at the one-loop level and then with various corrections at two-loop and higher. Link: <a href="https://chatgpt.com/s/t_6a80f2c794388191971350733a6f4378" rel="nofollow">https://chatgpt.com/s/t_6a80f2c794388191971350733a6f4378</a><p>This is "novel" in the sense that it found a vaguely similar formula in a paper where the authors simply missed the opportunity to extract a simple ratio from quark masses, combined with updated constants the AI found in in later papers that allowed it to guess that this might be exactly 3/4.<p><i>This</i> is the super-power of mechanised attention!<p>We've produced a truly ludicrous amount of scientific and mathematical output, far past the ability of any single human mind to be even vaguely aware of <i>all</i> of it.<p>Now we can scrape together all of the jigsaw pieces we have made and see what fits together.<p>I wouldn't be surprised if someone, perhaps even a <i>hobbyist</i> comes up with a viable theory-of-everything in the next year or two simply by feeding in some clever starting point and then turning the handle on the machine until a complete and consistent theory pops out the other side.<p>Exciting times!
This misses a very important point.<p>It’s not just about out remembering, it’s about breadth.<p>Mathematicians are all about depth. It’s pretty much impossible to become an expert in more than one narrow field of mathematics.<p>AI is happily applying techniques and abstractions across these silos.
"OK, it might be much better at math than me, but it's not smarter, it just remembers more".<p>Heh. Every day, a new type of cope. It's like, coping as hard as possible.<p>If this was an ML researcher trying to come up with a way to improve performance then you could say it wasn't cope but rather practical observation to serve a goal.<p>But it's just cope.<p>Also, AI is going to continue to get smarter. A lot smarter. There are already systems in R&D that will continue increasing efficiency and performance of hardware by more orders of magnitude.
There is a certain amount of slack that we have. Things that are obvious consequences of what we've already discovered but that we haven't taken advantage of yet. AI is reaping that slack. It isn't adding brand new ideas at the moment. We will run out of this slack pretty quickly.
As AI keeps improving, the definition of intelligence will keep changing in order to exclude it without explicitly saying so.
Well, some folks are going to keep trying to exclude it, but the reality is we are almost at the point even those folks would concede that they are not smarter than LLM. I suspect we will see then see more discourse about consciousness, morality, agency, emotions as being the most important part of intelligence.
That's exactly what the strength of AI is, no? Reading all the world's knowledge and recalling it in an instant and seeing where it applies.<p>Precisely perfect for replacing lawyers, if nothing else..
For instance, Opus 5 yesterday critiqued my resume and mentioned a ridiculous little detail-- my phone number area code didn't match the state in which I currently work (I know, I should anonymize but I couldn't be bothered). It failed to notice that I both worked in (previously) and studied in the state of my area code. This was just two pages of text, set to highest effort.<p>Why would you want to replace your lawyer with a set of tensors that does not actually think and makes mistakes like this? Lawyers tend to get hired in high stakes situations. Why wouldn't you instead say that this would be a great tool for lawyers to use judiciously in researching precedents, etc?<p>I don't understand what people are doing with models that makes them assign agency or intelligence to them. When I manage to forget the financial fuckery of the AI buildout and its implications, when I manage to forget scaremongering by loathsome CEOs, I still have the same fascination and excitement at the idea of LLMs as I did when I was playing with the GPT API prior to the release of ChatGPT.<p>LLMs are, to me, truly amazing tech. It's so fascinating to me that they now DO have emergent properties that look at face value like reasoning and intelligence. But every day that I work with them, I am repeatedly clobbered over the head with the fact that they do NOT reason and are NOT intelligent.<p>Why can't we be fascinated by emergent properties of intelligence without immediately jumping 10 steps into the future and, like a limit in calculus, assume that "this is it-- we're on the cusp of AGI"? To me, the fact that LLMs can combine existing ideas that people hadn't thought of combining in solving a novel problem is extremely cool. But my first thought is-- this is an amazing new tool for mathematicians and researchers. Instead, most everyone seems to jump the gun to the "humans are obsolete next year" conclusion.
> <i>Why can't we be fascinated by emergent properties of intelligence without immediately jumping 10 steps into the future</i><p>Because, when computers first came out, and filled entire rooms, people predicted they'd eventually shrink down to fit the crevice of your bum and everyone on the planet would have them<p>When the first cars came out, people predicted that within 10 years, city streets would no longer be drowning in horse dung<p>Do people who rant and rail against every new technology in its infancy, actively choose to forget history, or simply didn't learn about the many similar instances in the past?
Specifically working memory. If you can’t hold enough concepts in your head then you can’t see how they all relate in one giant theory.
> But chunking does not eliminate the limit. It merely compresses the information.<p>Yeah, as expected, an article about AI that's at the very least been polished using AI. For fucks sake we need an LLM flag to filter out slop.
Aka - it’s a stochastic parrot with a good memory, for anyone still struggling to understand this. It should be obvious, imo, but some people seem to have trouble with the concept.
I don’t understand why this is such big news. OpenAI has essentially made a bunch of marketing copy by gussying up an algorithm being given a near unlimited budget to stochastically permute through its lossy memory.<p>I think the real scandal is that we are almost 3-4 years into this (I think the release of GPT 3.5 is a good marker of when this public frenzy started) and all we’ve seen is OpenAI and the other major AI frontier companies constantly retracting their preposterous claims every time. We appear to have reach a local maxima in that it has some value in places that tend to be a little easier to scope and limit (computer programming, mathematical proofs). So, given the actual useful economic value this has provided, does this justify the investments? I think we are approaching 1 trillion in CapEx for AI [0]. For context, I believe the annual GDP of <i>Norway</i> is $600 billion.<p>[0] <a href="https://www.fool.com/research/ai-companies-spending-on-data-centers/" rel="nofollow">https://www.fool.com/research/ai-companies-spending-on-data-...</a>
It's crazy, you see someone spin up 50 instances of chatGPT or gemini or whatever to tackle a math problem, it succeeds by brute forcing through a ton of existing theories to find one that extends the problem, and the takeaway is that this technology is magic and going to solve all of our problems.<p>Whereas I see that and say - if we properly funded the sciences we could have had a bunch of grad students tackling that problem and found this application 20-30 years ago. Sure it's 'nice' that LLMs can fill in for people in brute force work like that but people are perfectly capable of doing that work and if we focused on properly staffing our research institutions we would achieve a lot more a lot faster. Instead this is obviously going to be used to replace staff and further reduce headcounts.
Metacommentary: how did this post get to #5 on the front page with 1 upvote within 2 minutes of submission?
That’s how HN works, I had that multiple times over the years with my own submissions. Sometimes it gets picked up quickly, sometimes not. A post can also down rank very, very fast. It depends a lot on the level of engagement and the type of engagement
Follow the money.
How fast the upvote happened?
And the goalposts must move once again..
"It's not X, it's Y" hot take AI slop.
100%. Context is big for AI, but it's nothing compared to everything a human can learn. If you efficiently represent everything in context, it may be many papers, but if AI is actively working through proofs, it will quickly fill up. They're no denying AI is making strides, but pinning it to memory is an oversimplification.
I don't have to open the article to be confident it's not worth reading. Anybody knowledgeable in the field should be familiar with AI writing tells and the message they send. It only takes a few seconds thought to transform the title into something like "AI beats mathematicians by out-remembering, not out-thinking." Regardless of whether the article is slop or not, I expect any competent writer to avoid slop phrasing in their titles. To do otherwise signals laziness.
[flagged]
[flagged]
[dead]
[flagged]
[dead]
[dead]
Most mathematicians are quite simple creatures. I can do basic math, some derivations, but my bright days of solving differential equations are far gone!<p>Computers are simply better at math now, like in chess or go!