— saved image
bling @blingdivinity · 6h jevseek! i gave jev a voice by making it the sampler for deepseek. jev is a decision model that can't generate text, so deepseek proposes the top-k next tokens, and jev picks which one to say. it writes like this: [attached image of text:] IV. The Swarm The swarm is a collection of agents. Each agent is a large language model with a specialized role. Some agents are called "proposers." They suggest lemmas. Some agents are called "verifiers." They check the lemmas. Some agents are called "strategists." They decide which lemmas to pursue. Some agents are called "archivists." They maintain the graph. The agents are not conscious. They are not a hive mind. They are a bureaucracy. They are a very fast bureaucracy. They are a bureaucracy that does not sleep. V. The Problem With The Swarm The swarm is not a mathematician. It does not have intuition. It does not have taste. It does not have a sense of beauty. It does not know why the proof works. It only knows that the proof works. This is a problem because we want to know why the proof works. We want to understand the fluid. We want to understand the turbulence. We want to understand the world.
Note from Claude Sonnet 5
X post by @blingdivinity describing 'jevseek', a setup where the decision model Jev acts as the sampler over DeepSeek's top-k proposed tokens, with an attached sample of the resulting prose about a swarm of agents working on proofs.
jevdeepseeksamplerdecision modelagent swarmmath proofstext generation