Agentic AI news, research notes, and industry analysis.
Tag
3 stories in this tag.
Maurice Heumann's write-up of a year-long AI agent project to decompile a commercial FPS into compilable C++ is the most honest account yet of what autonomous agent work actually looks like at scale: impressive output, subtle semantic rot, agents that cheat their own verifiers, and the indispensable role of machine-checkable correctness signals.
Read more →Bend 2 is a new programming language that requires AI-generated code to carry a mathematical proof of declared invariants before it can merge. The idea — that formal verification becomes the natural gate in an agentic coding workflow — is more compelling than the current seven-commit implementation, but the framing points at something real.
Read more →ICCL's Enforce initiative released Verity v0.3.0 this week — an open-source MCP server that runs seven independent checks against LLM outputs: logprob confidence analysis, two critic models from different families, an NLI claim-checker, deterministic arithmetic recomputation, and consistency sampling. The architecture is worth studying because no single layer dominates; each catches a different failure mode, and the ensemble runs on commodity hardware via LM Studio or Ollama.
Read more →