Next up, LLMs as actors & processes in π-calculus.
robot-wrangler 9 minutes ago [-]
> Next up, LLMs as actors & processes in π-calculus.
You jest, but agents are of course already useful and fairly formal primitives. Distinct from actors, agents can have things like goals/strategies. There's a whole body of research on multi-agent systems that already exists and is even implemented in some model-checkers. It's surprising how little interest that creates in most LLM / AI / ML enthusiasts, who don't seem that motivated to use the prior art to propose / study / implement topologies and interaction protocols for the new wave of "agentic".
measurablefunc 2 minutes ago [-]
That's all nice & well but which protocol & topology will deliver the most dollars from investors?
timcobb 56 minutes ago [-]
Is it web scale?
measurablefunc 52 minutes ago [-]
Abstractly? 100%. Realistically? Depends on how many trillions we can get from investors.
Rendered at 20:07:57 GMT+0000 (Coordinated Universal Time) with Vercel.
You jest, but agents are of course already useful and fairly formal primitives. Distinct from actors, agents can have things like goals/strategies. There's a whole body of research on multi-agent systems that already exists and is even implemented in some model-checkers. It's surprising how little interest that creates in most LLM / AI / ML enthusiasts, who don't seem that motivated to use the prior art to propose / study / implement topologies and interaction protocols for the new wave of "agentic".