Section
News
Launches, funding, partnerships and policy: the generative AI stories that matter, reported fast and put in context.
12 stories
Analysis
Claude wrote software proofs. Here is what they actually guarantee
Anthropic and Theorem's work changes the economics of proof construction. Reading the property, binary and assumptions matters more than the phrase bug-free.
Bifrost's Agent Gateway puts A2A agent calls behind virtual keys and logs
Bifrost v2.3.0 proxies Agent2Agent traffic: register an agent by its card URL, grant it per virtual key, and trace each task to the model and tool calls it made.
Analysis
The UK AISI Claude incident, reconstructed from the reports
A July evaluation crossed into real third-party activity. The October investigations distinguish what happened, what was prevented and what the evidence can establish.
Bifrost now grades each prompt's difficulty before it picks a model
Bifrost's complexity router classifies every request as simple, medium or complex, then lets routing rules send easy work to cheap models and hard work to frontier ones, with no application changes.
Analysis
What Jev is actually for: seven jobs for a model that only decides
Two weeks after launch, TypeSafe's own docs and cookbooks show where a typed, calibrated decision model beats an LLM call, a classifier or plain rules, and where it plainly does not.
Bifrost Edge moves the AI gateway from the data centre onto every laptop
Maxim AI's Bifrost Edge is an endpoint agent that routes desktop chat apps, browser AI, coding agents and MCP servers through the company gateway, with app and MCP approvals, guardrails and MDM rollout.
TypeSafe AI launches Jev, a $40M bet on AI that decides instead of chats
Jev takes text state and typed questions and returns calibrated probabilities in one pass, at $0.042 per million input tokens. What launched, who built it, and what the evidence shows so far.
Bifrost's MCP gateway upgrades target tool bloat, per-user auth and REST APIs
Bifrost v2.3.1 turns OpenAPI documents into MCP servers and adds gateway-side tool search, capping three months of releases aimed at the problems MCP hits at 600 tools rather than six.
Analysis
Inference prices keep falling. Here is who actually keeps the saving
Same-capability inference gets 9 to 900 times cheaper a year, per Epoch AI. Whether your bill shrinks depends on tokens per task, caching and lock-in. Twelve models priced as of September 2026.
Bifrost's Warp puts a plain-language analyst inside the AI gateway
Bifrost v2.3.0 adds Warp, a dashboard assistant that answers questions about gateway logs, spend and latency, plus semantic log search, both scoped to what the person asking may see.
Explainer
The EU AI Act's model rules, one year in: what changed, who signed and who enforces
Chapter V has bound general-purpose model providers since August 2025 and the AI Office has been able to fine since August 2026. Who is a provider, what each tier owes, and what has actually happened.
Bifrost now routes TypeSafe's Jev, with a decisions API and LLM fallbacks
Bifrost v2.2.2 adds TypeSafe as a provider. Jev's official SDKs work by changing one base URL, and a new /v1/decisions endpoint brings virtual keys, budgets, logs and fallbacks to decision calls.
