The harness, not the model, moved the numbers today — and OpenAI's provenance problem got a second accuser.
Top Signal
NVIDIA ships SoL-Pi as harness quality becomes the real variable
workflow
r/LocalLLaMA, GitHub Trending
NVIDIA Labs released SoL-Pi, a standalone extension to the Pi agent harness that wraps AutoResearch-style loops around the agent to cut token spend without cutting useful work. It landed the same day r/LocalLLaMA's "Harness does matter" thread showed the same weights producing materially different results under different scaffolding, and GitHub Trending surfaced two more harness-layer products: PI-Desktop (Electron + Rust host core wrapping the Pi harness with user-installable plugins) and Tencent's teamai-cli. Four independent artifacts, two sources, one thesis: the scaffolding around the model now moves outcomes as much as the model swap you were planning. What to do: pin the harness in your evals before you attribute a win or loss to a model, and re-run your task suite against your current harness with the model held fixed. If you already run Pi agents and cost is the binding constraint, SoL-Pi is a drop-in worth an afternoon.
Read more →
Fast Signals
DeepSeek V4.1-Flash opens weights — and "flash" now means 512GB
platform change
r/LocalLLaMA
DeepSeek dropped V4.1-Flash on Hugging Face, drawing three separate r/LocalLLaMA threads in a day. The running joke — a "flash" tier that ships at 512GB — is the actual signal: the small-model bracket has moved up an order of magnitude, so budget your serving tier by class name at your peril. Check quant availability before you plan a local deploy; nothing under a multi-GPU box or a large unified-memory Mac will hold it.
Link →
OUI-1 generates bespoke UI elements as model output, not code
new tool
r/LocalLLaMA
A new model, OUI-1, produces custom UI elements on demand rather than emitting a component file for you to wire up. That reframes the generative-UI problem: the interface becomes a runtime artifact of the model call instead of a build-time one. Worth a prototype if you're building agent surfaces where the right control can't be enumerated in advance — bookmark it even if you're not.
Link →
Lean 4 proof shipped with the Navier-Stokes result — that's the technique
research to practice
HN Front Page, Simon Willison
John D. Cook's writeup notes OpenAI's Navier-Stokes release included a machine-checkable Lean 4 formal proof, and Simon Willison covered the release alongside Terence Tao's reaction. Ignore the prize; copy the pattern. When a domain admits formal verification, a proof artifact turns "trust the model" into a pass/fail gate — the same move as types or property tests, applied to model output.
Link →
A second researcher accuses OpenAI of training on their conversations
emerging signal
r/LocalLLaMA, HN Front Page, Simon Willison
Another researcher claims OpenAI trained on their chat transcripts and then announced the result as its own breakthrough — the third straight day this provenance thread has run across r/LocalLLaMA, HN, and Simon Willison. Whatever the merits, the operational lesson is fixed: unpublished work pasted into a hosted agent is a disclosure decision. Audit your org's data-sharing toggles and route pre-publication material through a zero-retention endpoint or local weights.
Link →
Cognition's SWE-2 claims parity with Fable 5.1 and GPT-Astra on code
platform change
HN Front Page
Cognition launched SWE-2, a coding-specialized model it positions against the frontier generalists. Treat the benchmark claim as marketing and the availability as the news: a purpose-built coding model from a harness vendor is a different cost curve than routing everything to a frontier API. Run it against your own repo's task suite — with your harness held constant — before believing either number.
Link →
Forgejo <=16.0.3 critical RCE — patch self-hosted forges today
platform change
HN Front Page
Forgejo shipped 16.0.4 fixing a critical remote code execution bug. If you self-host a forge as the substrate your CI and coding agents pull from, an RCE there is upstream of everything they produce. Patch now; this is a one-command action with an outsized blast radius.
Link →
Shopify abandons React Native for separate Swift and Kotlin apps
workflow
Simon Willison
Shopify Engineering published its reversal back to two native codebases, citing the usual cross-platform ceiling. The under-discussed angle for AI builders: codegen has quietly lowered the marginal cost of maintaining a second platform, which weakens the main argument for a shared runtime. If you chose cross-platform on headcount math, that math is worth redoing.
Link →
Radar
PI-Desktop: local-first agent desktop with a plugin host
Electron shell over a Rust host core running the Pi agent harness, with user-installable plugins. It is the first credible attempt to make the harness layer itself extensible by end users rather than baked into a vendor CLI.
Link →
Tencent teamai-cli aims agents at teams, not individuals
A CLI pitched at making a whole team "AI native" rather than accelerating one developer. Worth watching for whether shared-context-per-team is a real primitive or just a wrapper around per-seat agents.
Link →
Neki brings Vitess-style sharding to Postgres
PlanetScale's horizontal sharding layer for Postgres, from the team that did it for MySQL. Relevant the day your embedding or event tables outgrow one box — bookmark rather than adopt.
Link →
.blend URL Viewer, and agents that drive Blender directly
Simon Willison shipped a browser viewer for .blend files while continuing his GPT-6 Astra + Blender experiments. The pattern to steal: coding agents driving a desktop app through its own scripting API, with no MCP layer in between.
Link →
Convergence Watch
agent harness
TRENDING
4 mentions across r/LocalLLaMA, GitHub Trending
SoL-Pi, the "Harness does matter" evidence thread, PI-Desktop and teamai-cli all landed today. The harness is separating from the model as an independently versioned, independently optimized layer. Expect harness-level benchmarks and harness lock-in to become real concerns within weeks.
ai research provenance
TRENDING
4 mentions across r/LocalLLaMA, HN Front Page, Simon Willison
Third consecutive day across three independent sources: a second researcher accusation, the Navier-Stokes Lean 4 discussion, and Tao on open problems being mined non-renewably. The builder consequence is unchanged and concrete — hosted agents are a publication surface for anything you paste into them.
deepseek-v4
TRENDING
3 mentions across r/LocalLLaMA
Third appearance in four days, now with V4.1-Flash weights on Hugging Face. Single-source so far, but the release cadence is fast enough that the tier names have stopped describing size. Verify quant and VRAM requirements against the class name, not the label.
lean 4
TRENDING
3 mentions across HN Front Page, Simon Willison
Second lab in a week to attach a formal proof artifact to a headline result, after the Fermat formalization on 09-04. Formal verification is becoming the accepted receipt for model-generated reasoning in domains that admit it — a pattern worth borrowing wherever your output is checkable.
STALE: Latent Space newest item is >48h old