Live data from Hacker News

Transformers Can Do Arithmetic with the Right Embeddings

arxiv.org

141–150 of 215 posts

Re: Transformers Can Do Arithmetic with the Right Embeddings

#141

I went through the paper and thought immediately about how did they implement it; I missed they published their code as well. Here is the link for everyone who skimmed past it: https://github.com/mcleish7/arithmetic/tree/main

my bad, should have posted it with the link itself

Re: Transformers Can Do Arithmetic with the Right Embeddings

#142

I went through the paper and thought immediately about how did they implement it; I missed they published their code as well. Here is the link for everyone who skimmed past it: https://github.com/mcleish7/arithmetic/tree/main

my bad, should have posted it with the link itself

Good to start with the concept, I just had so many implementation questions. Working through the code know... which is way harder to digest.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#144
post #109
post #105

Earlier quoted context omitted.

This is cool, but special casing digits is unsatisfying. It makes me think that the authors have correctly identified an issue (positional embeddings) but don't propose a general solution. I'm not sure if such a thing is possible, but if it is, it would feel more complete. (Fwiw, positional embeddings have had issues for a long time! So a general solution to this would benefit more than just arithmetic. Helpfully, we…

but it makes sense to have a different encoding. Mathematics is a completely different language. Maybe we should have more than one class of encodings.

There were some recent posts (either here or reddit) supporting the claim that different regions activate when reading programs vs when reading text. If we take that to be true; and squint just enough, one could claim that arithmetic and mathematics should be treated differently to language.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#145
post #28

That's great, 99% math is absolutely good enough for real world problems /s

It's probably on-par or better than humans get unaided. Hell, I'd bet due to transcription errors it's better than what humans get in a lot of settings, even when aided by a calculator.

I guarantee you professionals using math at work - for example in finance - not have a 1% error quota. They use tools. We have tools. Nobody in any serious role (money, etc) works unaided.

Math inference is a palor trick as is the whole “world model” bullshit - physics doesn’t work with 99% accuracy.

It’s the same reason agents are bullshit right now - error compounding at 95% reliability per step murders them and currently there is no path to triple 9

Re: Transformers Can Do Arithmetic with the Right Embeddings

#146
post #28

That's great, 99% math is absolutely good enough for real world problems /s

How many "real world" problems require 100 digit numbers?

Not many. But all require 100% accuracy. If not someone has to take responsibility.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#147

Earlier quoted context omitted.

Your calculator is deterministic. Humans and AI are not.

Exactly

The point is don't ask an LLM to do tasks that a calculator can do. Ask if to use the calculator, just like most humans would.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#148

What is the point of this work? 99% on 100-digit arithmetic means there's a 0% chance anyone will ever use a Transformer as an ALU or anything of the kind. We already know how to hard-code a (literally) infinitely more accurate addition machine. And not only addition: all four arithmetic operations. The technique proposed in the article -imposing a strong inductive bias for addition- kiind of works for multiplication…

Minor point, but Blaise Pascal was centuries earlier than the 1850s.

Thanks, you're right - my bad.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#149

Earlier quoted context omitted.

That's simply not possible. Human understanding is still unreliable, even for geniuses.

That’s why I am asking a computer.

Solving that will be a much bigger deal but it's at odds with producing a highly accurate emulation of human thought and language. Language models can serve as tools to understand and experiment with logic formulated as natural language but it isn't their primary purpose. What you're asking is equivalent to creating an auditable trace of everything that goes into making a statement which is pretty much impossible even for the person making a statement. We can get close by limiting ourselves to narrow domains like mathematics but even then someone can come along and question the premises on which we construct such a system. I'm not saying it isn't worth pursuing, it just isn't the standard that we should hold a model to when we ourselves are incapable of it. The goal here is to create a system capable of doing the things that a human can do. If you prefer to have a system that behaves within the confines of a mathematical formalism with well defined rules then build that model instead.

Re: Transformers Can Do Arithmetic with the Right Embeddings

#150

What is the point of this work? 99% on 100-digit arithmetic means there's a 0% chance anyone will ever use a Transformer as an ALU or anything of the kind. We already know how to hard-code a (literally) infinitely more accurate addition machine. And not only addition: all four arithmetic operations. The technique proposed in the article -imposing a strong inductive bias for addition- kiind of works for multiplication…

>What is the point of this work? 99% on 100-digit arithmetic means there's a 0% chance anyone will ever use a Transformer as an ALU or anything of the kind. We already know how to hard-code a (literally) infinitely more accurate addition machine. Nobody's going to be replacing calculators with transformers sure but many are and will be using transformers to solve problems arithmetic is a necessary component of. >So w…

Yes, but humans invented arithmetic. And then we invented computers that are much better than us at arithmetic calculations. That's a pattern we can observe all over the place: we're pretty damn good at inventing rich models of complex environments and processes but we're not very good at calculating the results of such models when that requires a lot of computation.

E.g., take chess. Modelling a game of chess as a game tree and searching the game tree by adversarial search is a human invention. Humans are pretty crap at searching a game tree beyond a handful of ply, but we can program a computer to go dozens of ply deep across thousands of branches, and beat any human.

So the challenge for AI is not to get computers to calculate when we know how the calculation is to be performed. The challenge is to get computers to create their own models. And that's a grand, open challenge that is not even close to be solved, certainly not by LLMs. Yann LeCun and Yoshua Bengio have said similar things.

The linked work doesn't move the needle any closer to that and it just shows progress in calculating arithmetic using a transformer, which we already know how to do in a myriad different ways and much more accurately. Hence my criticism for it.

Post reply on HN