00:00
2026-09-16
blog.kolen.dev
ai-agents
Long-horizon agents write dead programs
Long-horizon AI agents can now produce logically sound outputs, such as the Lean-verified proof in the OpenAI Navier–Stokes incident, that no human holds a theory for — what Peter Naur in 1985 called …