Tag
Artificial Intelligence
6 posts tagged Artificial Intelligence, newest first.
The FORGIVE protocol
Fabric-Overload Relief: Gradients under Iteration-Varying Exemption. A receiver acknowledges past bytes a switch trimmed, within a loss budget that tightens on steps most sensitive to loss. A congested ML training network can then trade bounded loss for less time spent throttled.
Machine-checked proofs for AI-written software
A product manager writes the requirements, one agent turns them into Lean, another writes the code, and the checker proves the code satisfies the spec. The human reviews only the formalization, and most of that pipeline already works today.
Pruning the LLM context beats the maximalist approach
An agent I built for an HCI study in March could search a chunked psychology textbook, carry memory across tool calls, reach a few MCP servers and run a web search, on every question. Calling all of them every time turned out to be the wrong default.
Functional correspondence without isomorphism: evaluating the brain-ANN analogy
A term essay: the brain does not run backpropagation, and language models still out-predict neuroscientists on their own literature. Marr's levels let both be true; the brain-ANN analogy lives at the computational level.
Language as a cognitive scaffold: inner speech and chain-of-thought
A term essay: inner speech in humans and chain-of-thought prompting in LLMs do the same job, using language to break hard problems into steps. The differences a well-known comparison found are mostly methodology.
Upgrading the Turing Test beyond imitation
A term essay: the Turing Test rewards convincing conversation, and Eugene Goostman showed convincing is cheap. Telling imitation from understanding means looking inside the model, at its attention and activations.