Remix.run Logo
Smallest transformer that can add two 10-digit numbers(github.com)
96 points by ks2048 a day ago | 33 comments
alexlitz 2 hours ago | parent | next [-]

I made a blogpost on my submission (currently the top handwritten one at 36 parameters) https://alexlitzenberger.com/blog/building_a_minimal_transfo...

sowbug an hour ago | parent [-]

I ask this question as someone who can't do much more than confirm that your blog post is written in English by someone who knows math.

Does this result suggest that if we had N clever humans manually building an LLM, they might come up with something as smart as a frontier model, but potentially 45 times smaller? (1644 / 36 ~= 45, N = very large, time not specified)

alexlitz an hour ago | parent [-]

I imagine getting things to be polysemantic in a way that does not interfere would lead to sublinear scaling. Also there are smaller ones that were trained so would still be more like 311/36 ~= 8.6.

Lerc an hour ago | parent | next [-]

>I imagine getting things to be polysemantic in a way that does not interfere would lead to sublinear scaling.

True, but with even smarter humans, you could exploit the interactions for additional calculations.

While it sounds a bit silly, it is one of the hypotheses behind a fast takeoff. An AI that is sufficiently smart could design a network better than a trained one and could make something much smarter than itself on the same hardware. The question then becomes if that new smarter one can do an even better job. I suspect diminishing returns, but then again I am insufficiently smart.

sowbug an hour ago | parent | prev [-]

Thanks!

(I see the Trained Weights results now, thanks.)

delta_p_delta_x an hour ago | parent | prev | next [-]

Very cool, but can I suggest the `add` CPU instruction instead? Supports 64-bit numbers, and it's encoded in hardware, and no need to cross a PCIe interface into a beefy, power-hungry GPU and back again. And chances are it's cross-platform, because basically every ISA since the very first has had `add`.

mcdeltat an hour ago | parent | next [-]

"smallest supercomputing cluster that can add two numbers"

nurettin an hour ago | parent | prev [-]

I mean, yeah, no need to put a bunch of high powered cars in a circular track to watch them race really close to each other at incredible speeds, causing various hazards, either. Especially since city buses have been around for ages.

amelius 4 hours ago | parent | prev | next [-]

> In short: if you can swap in a different set of weights and use the exact same inference code for a different task, your setup is legitimate. If the inference code is inseparable from the algorithm, it's not.

I wonder why they don't just write the code themselves, so by design the focus can be on the model.

E-Reverance 3 hours ago | parent | prev | next [-]

Not sure how much this fits into the rules but I saw on twitter someone claimed 28 params : https://gist.github.com/SeuperHakkerJa/da3050739bea97aabd86e...

medi8r 3 hours ago | parent | prev | next [-]

You can do that in a single matmul of course.

hyperhello 3 hours ago | parent [-]

So can you take an arbitrary transformer and somehow turn it into a compact set of low-power fast gates by some algorithm?

measurablefunc 3 hours ago | parent [-]

I think you're misunderstanding the joke.

medi8r 3 hours ago | parent [-]

Yes joke is:

    [A B]
times

    [1]
    [1]
is

    [A+B]
hyperhello 3 hours ago | parent [-]

From context then, I infer that a transformer is not comprised of matrix multiplications, because it would simply be one that adds two 10-digit numbers.

medi8r 2 hours ago | parent [-]

A transformer tokenizes input, does a bunch of matmul and relu set up in a certain way. It doesn't get to see the raw number (just like you don't when you look at 1+1 you need visual cortex etc. first.)

Lerc an hour ago | parent | next [-]

Notably the difference is that ten digits is not the same thing as a number. One might say that turning it into a number might be the first step, but Neural nets being what they are, they are liable to produce the correct result without bothering to have a representation any more pure than a list of digits.

I guess the analogy there is that a 74ls283 never really has a number either and just manipulates a series of logic levels.

Filligree an hour ago | parent | prev [-]

So the question is, why do we tokenise it in such a way that it makes everything harder?

i000 2 hours ago | parent | prev | next [-]

Would it make sense to embed such single-purpose network with fixed weights within a LLM before pre-training?

Sophira 2 hours ago | parent | prev | next [-]

I get that this is technically interesting, for certain, but the sheer amount of energy and associated global warming risk needed to do something with >=99% accuracy that we've been able to do easily for decades with a guaranteed 100% accuracy seems to me to be wasteful to the extreme.

Lerc an hour ago | parent | next [-]

What would be an acceptable amount of energy to spend on something that someone has done in a different manner before? Would you rather we stick with all of the current known ways to do things.

Does this boil down to a condemnation of all scientific endeavours if they use resources?

Would it change things if the people who did it enjoyed themselves? Would they have spent more energy playing a first person shooter to get the same degree of enjoyment?

How do you make the calculation of the worth of a human endeavour? Perhaps the greater question is why are you making a calculation of the worth of a human endeavour.

mcdeltat an hour ago | parent [-]

Ok I don't really care either way but to play devil's advocate, what exactly is this specific challenge of adding numbers with a transformer model demonstrating/advancing? The pushpack from people, albeit a little aggressive, does have a grain of truth. We're demonstrating that a model which uses preexisting addition instructions can add numbers? I mean yeah you can do it with arbitrarily few parameters because you don't need a machine learning model at all. Not exactly groundbreaking so I reckon the debate is fair.

Now if you said this proof of addition opens up some other interesting avenue of research, sure.

Lerc 44 minutes ago | parent [-]

>what exactly is this specific challenge of adding numbers with a transformer model demonstrating/advancing?

Well for starters, it puts the lie to the argument that a transformer can only output examples it has seen before. Performing the calculation on examples that haven't been seen demonstrates generalisation of the principles and not regurgitation.

While this misconception persists in a large number of people, counterexamples can always serve a useful purpose.

coolsunglasses 2 hours ago | parent | prev | next [-]

>Hacker News

not any more, eh?

thereisnospork 2 hours ago | parent | prev | next [-]

You need to recalibrate your sense of scale if you think that this is a geologically relevant usage of energy.

nradov an hour ago | parent | prev [-]

Wait until you see the quantum computer that it takes to factor the integer 15.

ks2048 3 hours ago | parent | prev | next [-]

So, hand-coded weights can do it with 36 params and 311 for trained weights - did anyone try the former architecture, but starting with random weights and learning?

alexlitz 2 hours ago | parent | next [-]

For one the specific 36 parameter version is impossible without float64 so you might guess the corollary that it is not exactly amenable to being found by gradient descent. I think the question of how you can structure transformers and neural nets in general so that they can both very parsimoniously represent things like this and have it be amenible to learning by gradient descent.

bitwize an hour ago | parent | prev [-]

"Minksy, why did you close your eyes?"

"So that the room will be empty."

computersuck 40 minutes ago | parent | prev | next [-]

this is the dumbest fking thing to do math with

1over137 2 hours ago | parent | prev | next [-]

Now wrap it all in an Electron app!

munro 2 hours ago | parent | prev | next [-]

>=99% accuracy wtf?!?

I was initially excited until i saw that, because it would reveal some sort of required local min capacity, and then further revelation that this was all vibe coded and no arXiv, makes me feel I should save my attn for another article.

MarcLore 2 hours ago | parent | prev [-]

The gap between 36 hand-coded params and 311 trained params is fascinating and honestly underappreciated. It mirrors something we see repeatedly in ML: gradient descent finds solutions in a fundamentally different region of parameter space than a human engineer would design.

When you hand-code the weights, you're essentially implementing a known algorithm (carry-propagation) directly into the network topology. But trained networks often discover distributed representations that spread the computation across more parameters in ways that are harder to interpret but more robust to input distribution shifts.

I'd be curious whether the 311-param trained model generalizes better to bases other than 10, or to addition with different digit counts than it was trained on. In my experience, the 'messier' learned solutions sometimes capture more structural regularity than the clean engineered ones, precisely because they aren't locked into a single algorithmic strategy.