5 hours ago
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
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).
an hour ago
One could use many things to do arithmetic:
- color wheel
- oxidation reactions
- interpretive dance
- migratory patterns of curlew sandpipers
Whether one should is another question
4 hours ago
There is a beautiful MathOverflow thread on how mathematicians imagine concepts, https://mathoverflow.net/questions/38639/thinking-and-explai....
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.
8 hours ago
Why doesn’t it just call tools such as Mathematica for such operations?
5 hours ago
For the same reason you don't run "4+6" on a calculator.
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.
7 hours ago
This is more how an LLM thinks about math internally - an LLM version of drilled tables being used for mental arithmetic "as humans do".
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.
6 hours ago
They do. I asked CharGPT for 327 x 48 and it used the "ChatGPT Instruments" calculator.
Previously it used to run Python scripts, and may still do for more complex calculations.
32 minutes ago
What's interesting is that one one hand LLM pumps are claiming a path to AGI.. while on the other hand, they are duct-taping in deterministic plugins for specific prompt types they find it better to offload...
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".
30 minutes 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"
That is my hopeful ideal
20 minutes ago
In which case it’s just a neat extension of search
3 hours ago
ChatGPT does, and has since 2023
8 hours ago
The spirit of Rube Goldberg is alive and well.
an hour ago
We evolved to do incremental fixes, not full refactoring
2 hours ago
Why does every exhibit made with AI look the same?
2 hours ago
i dont like this new trend of generating html with ai to say something. i think some guy from anthropic started this trend .
now everything looks the same and i can no longer read on kindle.
28 minutes ago
Everything looked the same before too. One of the same 6 Jekyll temples etc. Fads in design come and go
2 days ago
What happens inside an LLM when it tries to calculate with nothing but matrices.
8 hours ago
This is a very nice and fresh page layout.
6 hours ago
I assumed it wrote Python or some sort of other code.
28 minutes ago
Usually yes
5 hours ago
writing and calling an entire python setup seems massive overkill, surely just have an internal way of calling a simple calculator function would be millions of times faster