As AI infrastructure fragments into specialized tiers, CPUs are becoming the orchestration layer for agentic workloads.

Arbor separates strategy from execution using isolated git worktrees, so engineering teams can finally trace which optimization actually moved the needle.

Using software tools to explore the consequences of the design, derived directly from the mathematics, it showed that it has the desired behavior on many examples, and developed mechanized proofs that ...