Arithmetic Without Numbers – How LLMs Do Math
Posted by old_sound 4 days ago
Comments
Comment by stared 2 days ago
Very often it involves spatial thinking. Vide one example there:
> Once I mentioned this phenomenon to Andy Gleason; he immediately responded that when he taught algebra courses, if he was discussing cyclic subgroups of a group, he had a mental image of group elements breaking into a formation organized into circular groups. He said that 'we' never would say anything like that to the students. His words made a vivid picture in my head, because it fit with how I thought about groups. I was reminded of my long struggle as a student, trying to attach meaning to 'group', rather than just a collection of symbols, words, definitions, theorems and proofs that I read in a textbook.
Comment by stymaar 2 days ago
And obviously Terrence Tao is up there in the response.
Comment by Npovview 2 days ago
https://www.youtube.com/watch?v=U719vQz-WFs
Leslie Lamport : "I am not smart. I have the gift of abstraction."
Real mathematics isn't about details. Its about concepts and abstractions and how we compose them (LLMs are good at those aspects).
Comment by helterskelter 2 days ago
Comment by BobbyTables2 2 days ago
Comment by Chu4eeno 1 day ago
Comment by iammjm 3 days ago
Comment by ACCount37 2 days ago
External tool call has an overhead. It requires a round trip into an external tool. It requires an LLM to run in agentic autoregression - it can't be used in prefill.
Which means that having native arithmetic capabilities is useful. Forward pass arithmetics are an LLM version of quick mental math.
An LLM can read "#define SILLY_TIME_CONST (3*20*60*60*1000)" and have "SILLY_TIME_CONST is 60 h expressed as 216000000 ms" already cached by the end of the line, before it even emits its first token.
Comment by defrost 3 days ago
When humans stall on these tasks, they reach for pen and paper, a slide rule, a calculator, etc.
Mathematica is overkill for arithmetic, in addition it's licenced and can cost a bit extra.
If an LLM were to reach for a light cheap arithmetic tool something like bc would be a good first stop - a CLI tool with a language that supports arbitrary precision numbers with interactive execution of statements.
Comment by jampekka 3 days ago
Previously it used to run Python scripts, and may still do for more complex calculations.
Comment by steveBK123 2 days ago
In X years is it just going to be a thin OS-like layer where a majority of work is being handled by other "programs".
Comment by beernet 2 days ago
So, in essence, just like human beings?
Comment by BobbyTables2 2 days ago
Worse, this is really human beings trying to pretend that their AI is AGI.
Comment by steveBK123 2 days ago
Comment by grey-area 2 days ago
Comment by steveBK123 2 days ago
Also big picture its hard to see it as some sort of self-improving intelligence if humans are hand crafting these paths and tools for it.
Comment by BobbyTables2 2 days ago
Comment by tzs 2 days ago
Comment by BobbyTables2 2 days ago
Comment by singpolyma3 2 days ago
That is my hopeful ideal
Comment by steveBK123 2 days ago
Comment by ragebol 2 days ago
But I don't as well, and I have some intuition about numbers that I would probably not have if I always relied on calculators. Would the same sort of thing apply to LLMs? I'm probably anthropomorphising here...
Comment by breezybottom 2 days ago
Comment by 0x59 2 days ago
- color wheel
- oxidation reactions
- interpretive dance
- migratory patterns of curlew sandpipers
Whether one should is another question
Comment by throw1234567891 2 days ago
Comment by euroderf 3 days ago
Comment by soupspaces 2 days ago
Comment by cwmoore 2 days ago
Comment by dominotw 2 days ago
now everything looks the same and i can no longer read on kindle.
Comment by singpolyma3 2 days ago
Comment by xyzsparetimexyz 2 days ago
What is it with LLM writing where it gives a smaller heading just before the main heading? Its nonsensical!
Comment by zdc1 2 days ago
Comment by old_sound 4 days ago
Comment by andrewstuart 3 days ago
Comment by mavhc 2 days ago
Comment by sebzim4500 2 days ago
Comment by singpolyma3 2 days ago
Comment by silvestrov 3 days ago
Comment by rubyfan 2 days ago