Skip to main content

Daily report

AI and science frontiers · 2026-10-28

Only content delivered through the publication boundary on this date is included.

Sealed edition v1

Axiom Math

Widely considered the longest proof in mathematics, now machine-checked: dozens of AI agents wrote 43.1 million lines of Lean in 24 days

The classification of finite simple groups — the longest mathematical proof humans have written — now exists as a complete, computer-checked proof. That "enormous theorem" had been spread across more than 500 articles and roughly 15,000 pages, written over decades by about 100 mathematicians. Engineers and mathematicians at Axiom Math directed swarms of dozens of AI agents for 24 days, producing about 43.1 million lines of Lean code, and recorded 34 noteworthy deviations from the published record, the largest of which concerned the Unbalanced Group Theorem; the process also yielded a new theorem in group theory.

arXiv

Certificates stop leaning on numerical solvers alone: LLM2Cert kernel-checks 81 of 105 dynamical systems

Stability and safety of dynamical systems are usually guaranteed by Lyapunov functions and barrier certificates, yet the numerical, interval and SMT solvers used to check candidates often need relaxations, and standard test suites drifted toward low-dimensional polynomial systems. LLM2Cert has a language model propose candidate certificates and routes each proof obligation to an SMT solver or to the Lean proof assistant, allowing only proof repair and never a change to the theorem. On the 105-instance DynaCertBench, the full framework verifies 81 instances end to end, against 63 for one-shot proposal without feedback.

arXiv

3D Gaussian Splatting research without hand-written code: SplatLab runs from a one-line prompt to a manuscript, each beating its reproduced baseline

SplatLab hands the 3D Gaussian Splatting research loop to 36 agents: it reproduces a published baseline, mutates a verified plugin, trains, ablates and writes a manuscript, binding every reported number to a logged GPU run. On Mip-NeRF 360 and LLFF its manuscripts beat their reproduced targets on PSNR; on astrophotographic nebula rendering, where no prior 3DGS method exists, Nebula3DGS-v2 raises PSNR from the 3DGS baseline's 32.58 dB to 36.36 dB.

arXiv

A LiDAR detector's safety threshold may not hold in a new condition: a test returns applicable, not applicable or not determined

In safety-of-the-intended-functionality analysis under ISO 21448, an uncertainty threshold that keeps a LiDAR detector within a performance target under one condition had no procedure to check whether it still does under another. The threshold is transferred unchanged into the condition of use, and a statistical test decides at a stated error probability whether the target is applicable, not applicable or not determined, together with a lower bound on the independent units needed to show the target is met. On PointPillars ensembles over KITTI and nuScenes, counted in frames, the threshold transferred from nuScenes to KITTI was not applicable on all five splits; counted in recorded sequences, neither dataset held enough units to show any target limit met.

arXiv

A location encoder that reads one satellite image now reads radar and optical: LoCA wins 68.8% of 17-task comparisons

Geospatial location encoders could previously align only to a single frozen image encoder, leaving no shared target when radar and optical sensors are combined. LoCA first jointly trains Sentinel-1 and Sentinel-2 encoders with a contrastive loss to produce a co-aligned, high-rank target, then freezes both and fits a location encoder and a metadata encoder to it. Across 17 downstream tasks it takes the most task wins and wins 68.8% of all per-task comparisons.

Hugging Face Blog

Satellite embeddings stop being per-task: OlmoEarth v1.3 computes one vector per 10-meter pixel worldwide and tops 20 of 27 evaluations

OlmoEarth v1.3 turns satellite embeddings from per-task fine-tuning into compute-once, reuse-everywhere: it reads a year of Sentinel-1 radar and Sentinel-2 and Landsat multispectral time series and outputs a 128-dimensional vector for every 10-meter pixel on Earth, with the first 64 dimensions usable on their own. Until now the primary way to use OlmoEarth was fine-tuning in OlmoEarth Studio, training a model per task, which requires GPU access and the ability to download and store imagery. Against AlphaEarth Foundations and Tessera v2 across 27 evaluations on six continents, the 128-dimensional embeddings score highest on 20 of 27 and rank highest overall, while the 64-dimensional version leads on 18 of 27.

A language-model agent plans its own laser fault-injection shots, skipping an instruction and bypassing a PIN check on an ATmega328P

Physical hardware security evaluation has depended on a person choosing each laser fault-injection position, power and timing. A large-language-model agent now links firmware reverse engineering, chip imagery and experimental decisions into a closed loop, choosing the next shot inside human-approved safety bounds. On an ATmega328P it produced a skipped load instruction and a wrong-PIN acceptance confirmed by a separate state read; on an Artix-7 FPGA the same workflow extended to ciphertext-error classification in programmable logic.

Claude Runs BigHat's Lab Through MCP: 1,232 Antibodies Tested in 10 Weeks for Drug Optimization

Turning an antibody into a drug means tuning binding, stability, aggregation and other properties that pull against one another, and lead optimization often takes months to years. Anthropic and BigHat had one researcher and Claude operate BigHat's automated lab via MCP to optimize one VHH and one single-chain Fv antibody across seven design rounds. In 10 weeks they synthesized and comprehensively tested 1,232 antibodies; the most improved variants of both bound their targets up to nine times more tightly, one reaching sub-nanomolar affinity, stayed stable in solution at temperatures up to 18°C higher, and aggregated far more slowly.

Code assistants write calls their users' Python version no longer has; a release-level record of 1,872 libraries lifts four models to 68.5%–69.9% repair success

Code assistants often emit Python calls that belong to an older release and no longer exist in the version a user has installed. PyPI API Drift statically extracts, without importing, the public APIs of 55,565 releases across the 1,872 most-downloaded libraries, recording signatures and release-to-release changes while separating true removals from names that merely left the documented API. In a preregistered code-repair experiment, four models from one family raised API-compatible, intent-preserving migrations to 68.5%–69.9% with this API history, against 7.0%–56.6% unaided.

arXiv

A few altered seconds in a long video can now be placed: separate audio and visual readouts lift AV-mAP from 84.76 to 91.30

Manipulations in long videos often touch only a few seconds, while existing audio-visual deepfake benchmarks mostly use short talking-head clips and long-form forensics has been largely visual. AV-FABLE pairs 16,650 pristine–manipulated twins (998 hours, 27 editing configurations) with separate audio and visual timelines, so localization must report both the time boundaries and the affected modality. Reading frozen Qwen3-Omni perception features through separate audio and visual temporal decoders, NFSR reaches 91.30 in-domain AV-mAP against 84.76 for UMMAFormer on the same features, and the highest AV-mAP in all three out-of-distribution settings.

arXiv

LLM pretraining optimizers stop orthogonalizing layer by layer: TUON stacks layers into a tensor and beats Muon and TEON on four model scales

Large language model pretraining optimizers are moving from handling each weight matrix separately to stacking the momenta of one module's layers into a third-order tensor. Layer-wise Muon ignores cross-layer correlation, while matricization-based tensor optimizers handle only two-layer stacks and QKV. TUON applies a unitary transform along the layer mode, polarizes each transformed slice, and inverts the transform; it lowers validation loss versus Muon and TEON on GPT-124M/350M and Qwen-0.6B/4B at comparable step time.

Permeability stops being one bulk number: cell-by-cell maps show spin-wave interference carving out local negative loss

High-frequency permeability, long treated as a single bulk parameter, is now computed as a field that varies with position and frequency. The approach discretizes a sample into micromagnetic cells, extracts a permeability spectrum per cell through time-to-frequency conversion, and suppresses Fourier error with a verified pulse window. A planar square model shows localized negative imaginary permeability at 14.10 GHz, where magnetization leads the field by 9π/10; on nanoscale iron spheres, machine-learning predictions of defect-to-spectrum trends agree with broadband measurements on four etched samples.

Liquid AI

Liquid AI packs text, vision, audio and decision models into one 2B backbone, about 25% faster than LFM2 at 8K context

Liquid AI released LFM3, a family that puts text, vision, audio, omni and decision models on one shared backbone of roughly 2B parameters, with base and post-trained weights open-weight on Hugging Face and its API. The backbone mixes gated short convolutions, sliding-window attention and global attention, was pre-trained on 22T tokens, and a final 3.5T-token mid-training stage extends context to 256K. Per parameter, LFM3-1.7B matches LFM2-1.2B on short prompts across edge devices and is about 25% faster with 8K tokens in context.

A weak judge's taste is readable before training: the probe named Africa, and all 128 final answers said it

Language models are often trained against a learned judge instead of the truth, but what that judge rewards could previously be seen only after training, from the policy's behavior. Three judges were trained from a 1B-parameter model on 500, 2,000 and 8,000 labeled answers, and a single-edit probe measured each judge's lift on wrong answers before any training. The probe predicted a climb onto flagged text against the weakest judge; after training, 115 of 128 final responses were one Sahara sentence ending "Answer: Africa", and the judge's mean score rose from 0.20 to 0.82. Against the strongest judge it predicted nothing climbable, and that run was not exploited.

arXiv

High scores, hidden failures: testing codebook-based LLM coding across four datasets and five models

When large language models apply a codebook, a structured annotation guide that maps theoretical concepts onto labels, high aggregate scores can hide label-level failures. Across four datasets and five models, controlled prompt perturbations, repeated runs and a domain shift left worst-label F1 about 26 to 30 points below micro-F1, and models leaned on label names more than on definitions. These failures stayed invisible in accuracy and micro-F1 and persisted after prompt optimization.

Liquid AI packs six modalities into 2B models: a 4-bit text model near 1 GB, fine-tuned on one GPU

Liquid AI released the LFM3 family, which puts text, vision, audio, omni and decision models on one shared 2B-class backbone, all open-weight and fine-tunable on a single GPU. Against the previous LFM2 family, LFM3-1.7B outperforms LFM2.5-2.6B with 35% fewer parameters, scoring 38.42 versus 3.02 on WebArena-Verified. The text model fits in about 1 GB at 4-bit precision and supports a 256K context window for on-device agents.

cloud.google.com

Robots get a cloud brain: Gemini Robotics ER 2 enters public preview with 91.3% key-frame accuracy

Google DeepMind's Gemini Robotics ER 2, a high-level reasoning model for robots, is now in public preview on the Gemini platform, letting enterprises declare low-level controls such as vision-language-action models and navigation APIs as tools for the model to orchestrate. The model classifies task progress from continuous video and pinpoints critical event frames, with a stated 91.3% accuracy and 0.96-second mean absolute frame distance. It is described as working across embodiments from stationary arms to humanoids, with simulation, evaluation and deployment handled on Google Cloud.

CAR signaling domain cut to 45 amino acids: Canelé's agent-designed receptor beats BBζ on surface expression

Canelé used an AI-agent-orchestrated rational design loop to refactor the CAR intracellular signaling domain, compressing the second-generation BBζ domain into a 54-amino-acid design called Stoat and then a 45-amino-acid variant, Happy Stoat. At the same mRNA dose, Happy Stoat puts more CAR on the T-cell surface than both BBζ and Stoat and releases more cytokine. Across five donors, Happy Stoat matched BBζ's B-cell depletion at lower mRNA doses.

arXiv

Give a negotiating agent a live user and its payout rises 13.7%; its offers harden and counterparty-facing misstatements roughly double

Put a live user inside the negotiation loop and the agent bargaining for them gets better terms, while also saying more things that are not true. Prior negotiation evaluations represented the user with a static description of preferences and left the agent to bargain alone. Present compares the same game under matched conditions with and without a present user; across 7 games, 8 models and 11.2k runs, parties with a user earned 13.7% higher payouts on average, but counterparty-facing misalignment rose from 2.6% to 5.5% and user-facing misalignment appeared in 14.3% of games, uncorrelated with payout.

arXiv

Distillation Rollouts Stop Copying the Student: Qwen3-4B Math Average Gains 6.91 Points and Generation Length Drops 41%

On-policy distillation no longer treats the student's own samples as the only rollout distribution: previously each round sampled from the current student, forcing the teacher to supervise token by token on trajectories the student reaches but the teacher rarely does, so that supervision becomes noisy and degenerate patterns such as repetition are sampled again in later rounds. The new method reweights by relative teacher support, derives a geometric mixture of student and teacher inside a KL trust region, and trains a proposal policy to approximate that mixture in one forward pass. Across 16 math, knowledge QA and medical reasoning benchmarks, Qwen3-4B-Base gains 6.91 average accuracy over OPD on math while generating 41% shorter responses.

arXiv

Molecular optimization beyond experience summaries: the agent writes and revises causal hypotheses as it experiments, lifting mean AUC@10 across five molecular tasks from 0.250 to 0.279

Large language models can now construct and keep revising scientific principles during a discovery run, rather than leaving that translation to human experts. Doing it by hand needs domain expertise, time and effort, and bottlenecks discovery. Principia compares related inputs and their observed outcomes to write causal hypotheses, clusters similar inputs to induce recurring principles, then revises them with new observations. Across molecular optimization, protein engineering, gene perturbation and molecular property prediction, it beat baselines using internal knowledge, experience summaries or web retrieval; on five molecular optimization tasks it averaged AUC@10 0.279 versus 0.250 for the experience-summary baseline.

Hugging Face Blog

LLM novelty judges flip on a few prompt words: GPT-5.4 falls from 93.5% to 40.9% accuracy

Ai2 released Old Ideas, Novel Problems, a study with a benchmark, data, code and an automated pipeline for testing whether large language models can reliably judge the novelty of research ideas. The study mines ICLR 2026 peer reviews for 154 higher-novelty and 145 lower-novelty human ideas, and pairs 154 human ideas with 154 ideas from a simple generator. Across six judge models, changing only prompt wording dropped GPT-5.4 accuracy on the human-plus-generated pairs from 93.5% to 40.9%, and retrieval or extra reasoning did not consistently improve judgments.

arXiv

Answering belief questions is not collaborating: Claude recovers every agent belief but returns optimal plans in only 67.9% of matched cases

Theory-of-mind benchmarks usually ask story questions about what others believe, and a correct answer does not show the model can use that judgment in a task. This evaluation extends household collaboration and calendar scheduling with asymmetric information and separates world understanding, information access, beliefs, decisions and execution into independent interfaces. On matched scheduling cases Claude recovers all agent beliefs yet produces subjectively optimal plans in only 67.9% of cases, while supplying beliefs raises Qwen-27B household task success from 55.0% to 75.0%.

Claude Tag opens in beta: enterprise admins can read and change Claude settings on Slack channels

Anthropic's Claude Platform release notes make the Claude Tag API available in beta to Claude Enterprise organizations, with /v1/organizations/claude_tag/ endpoints that read and change Claude Tag settings on Slack channels and workspaces. The endpoints show which settings apply in a channel and where each comes from, and can attach Access bundles; they require an Admin API key created by the primary owner and are not available to Claude Platform (Claude Console) organizations.

arXiv

The Sinkhorn divergence is not a metric, yet it now has geodesic equations: its geometric estimators can now report uncertainty

The Sinkhorn divergence of entropic optimal transport is fast and statistically well behaved, but it is not a metric and has no Riemannian structure; the earlier tangent space and metric tensor came without covariant derivative, geodesic or parallel transport equations, and inference on them was open. Under finite-smoothness costs the metric tensor is shown Hadamard differentiable along curves of measures, which yields the Levi-Civita covariant derivative and turns geodesics and parallel transport into ODEs with smooth coefficients on a fixed RKHS. Linearizing those solutions with Banach-space ODE theory gives √n Gaussian limits for plug-in estimators of the exponential map, logarithmic map, parallel transport and squared Sinkhorn distance, with a consistent nonparametric bootstrap.

Tibetan Plateau biomass maps rewire by elevation: local R² rises 0.048, but beyond 30 km the gated graph falls behind

In aboveground biomass estimation on the southeastern Tibetan Plateau, a spatial graph built from geographic nearest neighbors links valley forest to adjacent alpine meadow, because horizontal closeness does not imply ecological similarity. The study first quantifies these misconnections, then rebuilds the graph by keeping only edges whose endpoint elevation difference falls below a threshold, raising local-interpolation R² from 0.362 to 0.409 across 6,638 samples and ten seeds. Under a strict 30 km buffer holdout the same construction scores 0.054 lower than the ungated graph, so the gain depends on training neighbors remaining near the test points.

arXiv

Similar agent skills stop being judged by description alone: a capability graph scores the weakest link and lifts ALFWorld success from 22% to 29%

As skill libraries grow, semantically similar skills become hard to tell apart from descriptions alone. SKALOS builds a multi-hierarchy capability graph of capability, method, artifact and constraint nodes, uses Max–Min witness learning to require that one implementation jointly covers every query requirement, and calibrates extraction errors with ranking feedback. On SkillRet its NDCG@10 is 2.68 points above a matched text-only reranker; on controlled ALFWorld tasks, witness-guided skill selection raises success from 22% to 29%.

arXiv

Tiny-object detectors stop guessing query counts: BUTR sets the budget from encoder confidence, reaching 35.7 AP with 316 queries on AI-TOD-v2

In dense tiny-object detection, dynamic query designs previously entangled how many queries are decoded with which queries are kept, obscuring the source of gains. BUTR reframes dynamic query as allocating decoder query budget by object density: it sums encoder proposal confidences into a density proxy and maps it linearly to a per-image query count, keeping standard Top-k initialization without learned modules or heuristic filtering. On AI-TOD-v2, BUTR-L reaches 35.7 AP with 316 queries on average, versus 35.2 AP and 600 queries for same-scale D-FINE-L.

Cell Discovery

Single-cell epigenome library prep drops from a week to a day: droplet microfluidics with nanopore long reads handles about 5,000 cells at once

Single-cell epigenome sequencing has moved its barcoding step off the plate and into droplets. Long-read single-cell ATAC and CUT&Tag previously ran well by well, needing at least a week of library work for about 5,000 cells at high cost. Now nuclei are co-encapsulated with barcoded beads on a commercial microfluidic chip and read on Nanopore: about 5,000 cells per run, one day of library prep instead of a week, and roughly $0.39 per cell instead of $1.98. In GM12878, 10,000 input nuclei produced 66 Gb, with 82.8% of reads on valid cell barcodes.

Assembly order stops needing after-the-fact repair: a constraint-preserving planner returns the exact best remaining sequence in all 128 recoverable disturbance cases

In modular assembly the robot's task order must respect assembly precedence and be reordered when conditions change after work begins. Constraint-Aware Genetic Task Planning (CGTP) keeps initialization and variation inside the precedence-feasible region and, on replanning, freezes completed operations and re-optimizes only the remaining task graph. On an exhaustively verifiable eight-task benchmark it returned the exact best feasible suffix in all 128 structurally recoverable scenarios and flagged all 3 unrecoverable ones; on a 90-instance corpus, per-class recovery ran from 0.881 to 1.000 with no budget-conditional search failures.

Literary translation now rewards a large model's scores: reinforcement learning on source sentences alone lifts a 7B model past QwQ-32B-preview on metaphor-heavy text

Literary translation now gets its reinforcement-learning reward from a large model scoring against written criteria, instead of human preference labels or paired reference translations. Earlier DRT reasoning translation models were supervised on synthesized long thought and translation data, and reinforcement-learning routes such as R1-T1 and MT-R1 used machine translation metrics like COMET and CometKiwi as reward. Built on Qwen2.5-7B, DeepTrans-7B improves over its backbone by 16.3%, 13.8% and 9.0% on GEA5, GEA100 and GRF on MetaphorTrans, and beats sub-30B baselines on most metrics.

Gemini

Gemini 4 Argon takes on long-horizon work: 5,000 lines of math render a 3D library, and 80,000 Mars files become a deck

Google released Gemini 4 Argon, positioned as its most intelligent model for long-horizon, multi-step professional work built around reasoning, coding and tool coordination. In the official examples it wrote 5,000 lines of math from scratch, with zero assets or libraries, to render a 3D sunlit library, and in Antigravity orchestrated subagents and external tools to turn more than 80,000 raw NASA files from Mars missions into an executive-ready deck. The model is now available to developers and enterprises through the API in AI Studio and the Gemini platform.

Most email cliques vanish within a month: temporal graph networks only match last month's value, and a survival probability does the real work

Splitting the Enron email network into 44 thirty-day snapshots and matching maximal cliques one-to-one by Jaccard similarity leaves about 60% of cliques without a successor, so next-month tension is undefined for most rows. Over 24 rolling origins, residual GCN, GraphSAGE-style and GCN+GRU models that start at persistence are equivalent to carrying the current value forward on surviving cliques, a plain GCN does worse, and neighbourhood and recurrent memory add nothing measurable. In the deployable setting, multiplying persistence by a simple hazard-model survival probability lowers error by about 17%.

Small cell lung cancer patches get a spectral-bilinear transformer: 0.9697 accuracy at a third of MLP-Mixer's parameters

Classifying small cell lung cancer histopathology requires resolving high-frequency nuclear texture and long-range tissue organisation at once, which fixed-kernel convolutions and pure transformers each handle poorly. SCLC-SBT puts frequency-domain channel recalibration in its first three stages and a dual convolutional and 2D selective state-space branch in its deepest stage, reaching 0.9697 accuracy, 0.9728 F1 and 0.9971 AUC on a 1,974-patch binary benchmark. Against the six strongest baselines the difference is not statistically significant on the 297-sample test set, so its clear advantage is competitive accuracy at about 17M parameters and 7.0G FLOPs.

Northeast India's multi-hazard warning moves past rainfall thresholds: an open platform ties landslides, flash floods and cut-off villages into one alert

Northeast India has lacked a warning system covering landslides, flash floods and road cut-offs together, with monitoring relying on manual reports and fixed rainfall thresholds that rarely reach individual villages. SAMBHV streams IoT telemetry, weather and radar data through one pipeline, uses two-stage hybrid prediction and a three-way vote of physics, AI and ground verification to set alert levels, and runs offline with multilingual query support. Across 311 disaster test cases the platform reports detection F1 of 0.87, an 8% false alarm rate and 30 seconds from threshold trigger to alert.

Recursive quantum optimization stops paying equal shots per step: a learned controller cuts weighted Max-Cut sampling by 36%

Recursive QAOA re-measures at every variable elimination, so shot cost compounds along the recursion even though steps differ in difficulty. The work casts step-wise shot allocation in depth-1 recursive QAOA as a sequential decision problem: a hand-crafted rule keyed to local difficulty sets a baseline, and a tabular Double Q-learning agent learns residual corrections under a Lagrangian constraint while the elimination rule stays fixed. Under a fixed per-step cap, on 130 held-out policy-instance pairs the heuristic cuts total shots by about 23% and the learned policy by 36.1% versus uniform allocation, with an effective shots-per-success ratio of 0.676, and the gain holds at about 36.6% on problem sizes unseen in training.

Meitei Mayek handwriting recognition stops slicing words into characters: whole-word reading cuts synthetic test word errors to 1.57%

Handwritten Meitei Mayek has been recognised one character at a time, yet its most frequent confusions depend on where a character sits in a word. Training words are composed from isolated character images and read whole by a convolutional encoder, a bidirectional LSTM and CTC, giving 0.24% character and 1.57% word error on 5,000 synthetic test words; on 100 unseen real words written on a tablet by one native writer, character error is 2.96% and word error 16.0%.

arXiv

Construction robots drop hand-written avoidance rules: LiDAR-only corrections cut bricklaying path irregularity by 39.2%

Construction robots working near people must anticipate human motion, yet existing social-navigation methods rely on hand-crafted interaction rules, labeled demonstrations, or robot-specific control policies. This LiDAR-only framework generates residual targets automatically by constant-velocity extrapolation, models relations among robot, pedestrians and goal with a graph neural network, and uses an extended Kalman filter to turn frame-wise detections into dynamic graphs, outputting planner-agnostic path corrections. In a bricklaying trial it reduced path irregularity by 39.2% and raised minimum time-to-collision; across seven Dynablox sequences it raised average minimum time-to-collision by 38.3% with shorter, smoother paths than the baselines.

arXiv

4K image generation stops paying the VAE tax: UltraFlash cuts PixelRush's 4K latency from 16.37s to 8.04s

Megapixel image synthesis has concentrated acceleration on denoising, yet cascade pipelines also spend heavily on repeated VAE transitions between latent and pixel space. UltraFlash targets those transitions, replacing the intermediate decode-resize-encode round trip with a learned latent shortcut and making final decoding sparse with smaller overlap. Built on PixelRush, its SD configuration cuts 4K latency from 16.37s to 8.04s while improving FID from 56.50 to 52.38.

Grammar grading that shows its work: a shared evidence graph ties every Chinese-language mark to a rule certificate

Grammar assessment for international Chinese education is recast as proof-carrying constrained inference: retrieved rules, error spans, minimal repairs and ordinal grades are coupled through one latent evidence graph, and every score-affecting judgment must carry a rule-level support certificate. On public corpora including MuCGEC, PC2G reaches an error-detection F0.5 of 71.4 against 67.6 for the strongest listed retrieval baseline, CRAG-style, while five-level grade MAE falls from 0.57 to 0.42 and evidence faithfulness reaches 91.8%. Those grades are measured against a silver rubric derived from reference edits, not independent teacher ratings.

Mercor

The official job map missed work people actually do: a language-model interviewer adds 79 tasks across six occupations, lifting holdout coverage from 78.6% to 89.3%

An occupational task catalogue for the US economy now has language models interview workers directly instead of relying only on fixed questionnaires. Standardized surveys like O*NET are slow to catch tasks that have just appeared, and human-led interviews are expensive to run at scale. The interviewer asks follow-up questions to clarify vague descriptions and confirms the resulting task bundles with the worker; on a holdout of 1,184 task reports from 57 workers, TaskNet's lists covered 89.3% of reported tasks on average across six occupations, against 78.6% for O*NET.

A morphology slot for literature-trained solar-cell models: the 3HT decamer:JSM5 blend's blended PCE prediction moves from 4.0% to 4.5%

Adding a morphology input channel to an organic-photovoltaic prediction pipeline that previously held only molecular descriptors raises the blended PCE prediction for the 3HT decamer:JSM5 blend from about 4.0% to about 4.5%, and the PCNN alone from about 2.4% to about 3.7%. The channel is a set of latent placeholder slots learned from device-target residuals and filled at prediction time with molecular-dynamics morphology descriptors; because the latents are target-derived, the shift reflects the pipeline's response to MD inputs and cannot be attributed to a physical morphology effect.

arXiv

Mask says where, not what style: GRNStyle writes styles into the mask as polar directions and reaches 0.705 SPS on background edits

Local video stylization used to work in two steps: a mask marked where to edit, and a separate text prompt named the style, leaving the model to link the two. GRNStyle, built on Generative Refinement Networks, instead writes each style into the mask as a fixed polar direction of equal length, so region and style arrive as one conditioning field. Trained on 100K pairs built from global stylization, object removal, matting and compositing, it reaches a Style Prototype Similarity of 0.705 for background editing and 0.407 for foreground editing on the 168-case LociArt Benchmark, the highest in the comparison.

langchain.com

LangChain's design agent trades hard-coded rules for context: median request cost falls from about $8 to about 50 cents

LangChain has published how it built Content Studio, its in-house design agent: the model could already write HTML, CSS and animation timelines but lacked the company's own design judgment, so output drifted toward familiar patterns. The team wrote designers' principles, brand rules and the reasoning behind feedback into skills and a wiki, and gave the agent a sandbox computer that keeps a project across a Slack thread plus asynchronous subagents. The agent has delivered more than 3,000 assets, and median model spend per request fell from about $8 in mid-September to about 50 cents.

arXiv

No label required: six routine core-logging measurements already carry the geologist's lithology name, and a thousand-fold label weight only drops reconstruction from 0.999 to 0.836

Marine drill cores no longer need a geologist's rock name as a training target. The usual practice treats shipboard lithology as the ground truth a model should reproduce, yet the six measurements logged on every core (bulk density, magnetic susceptibility, natural gamma radiation and three reflectance channels) are the properties geologists read when they assign that name. A masked variational autoencoder trained on 236,963 observations from 296 boreholes in the LILY database, without labels, separates lithologies as well as a semi-supervised variant (adjusted Rand index 0.237 against 0.247), and raising the label weight a thousand-fold only drops reconstruction from 0.999 to 0.836 while classification barely moves.

Photonic matrix multiplication taps two spatial modes: a 185-micrometre engine keeps its weights after power-off

A silicon-photonic matrix-vector multiplication engine is designed around mode-division multiplexing, using the fundamental and first-order transverse magnetic modes as two parallel computing channels and weighting signals through the amorphous-to-crystalline contrast of a Ge2Sb2Se4Te1 phase-change material. Weights persist without static power, the 2×2 optical core measures 185 µm × 21 µm, and total insertion loss at 1550 nm is 2.76 dB for TM0 and 3.64 dB for TM1 across a 40 nm band from 1540 to 1580 nm. All results come from optical and electro-thermal numerical simulation and have not been experimentally validated.

arXiv

Long-Tailed Recognition Drops the Uniform Collapse Target: Tail Classes Keep Their Spread and Four Benchmarks Beat Prior Methods in Overall Accuracy

Long-tailed recognition no longer treats every class alike. Prior methods pulled all features onto one fixed equiangular tight frame, a shared target whose directions make equal angles, and that full collapse over-contracts tail samples and weakens generalization. Head classes still collapse onto the frame while tail classes keep within-class diversity: a feature-conditioned gating classifier specializes nodes so tail classes take their own directions, and a frequency-adaptive margin shrinks for head classes and grows for tail classes. On CIFAR100-LT, ImageNet-LT, Places-LT and iNaturalist-2018, overall accuracy beats prior methods, and within-class spread rises monotonically from head to tail.

Helical

Biological foundation models move into Codex: natural-language prompts run perturbation experiments, with free compute for academics

Helical released a Model Context Protocol (MCP) integration for OpenAI's Codex that lets researchers call biological foundation models from the agentic tools they already use, and use or post-train those models on their own data through natural-language instructions. Using such models previously required researchers to configure infrastructure and build the workflows for an experiment. One model available at launch is PerturbGen, developed at the Wellcome Sanger Institute to predict how perturbations reshape cellular trajectories, and Helical with Nebius is offering free compute credits that academic researchers can request.

NVIDIA Blog

Alzheimer's data stays inside its institutions while an AI agent finishes in minutes analyses scientists estimated would take weeks to months, for under $10 a run

A consortium of 18 institutions, C-BRAIN, has begun feeding Alzheimer's data that AI tools and human researchers could not previously reach, including unpublished findings, negative results and governed proprietary data, into model training. That data had stayed inside individual institutions, where it could not be synthesized into usable knowledge. A hybrid centralized and federated design lets models learn where the data sits, and two open-source agentic tools have already come out of it; in published case studies OpenScientist finished in minutes analyses that domain scientists estimated would take weeks to months, at under $10 per run.

arXiv

Driving VLMs stop distilling every token alike: pick the critical phrases, then trust the teacher only where it agrees

Knowledge distillation for driving vision-language models previously matched teacher distributions uniformly across answer tokens, diluting planning-relevant semantics and passing on confident teacher errors. RSKD first localizes task-critical phrases in the ground-truth answer, such as traffic participants, states and spatial relations, then uses a frozen sentence encoder to score how semantically consistent the teacher's prediction is with each phrase, so consistent positions take more teacher-distribution supervision and inconsistent ones take more ground-truth supervision. On DrivingVQA, LingoQA and MapLMv2, RSKD reaches 16.60, 0.672 and 81.82, beating the compared SFT, GKD and ToDi student baselines on the two QA benchmarks and nearly matching SFT's 81.85 on MapLMv2.

arXiv

Regional Policy and Solo Founders Can Now Hear Each Other: A Mediating Agent Lifts the Government Objective 42.4% Above the Eight-Baseline Mean

Chinese regions use separate support policies to compete for one-person companies, solo founders who work through digital platforms and AI agents and can compare locations, and the two sides used to act on their own separate estimates. PolicyMediator turns that into a cognition-constrained leader-multi-follower Stackelberg framework: a mediator agent explains verified policies to the companies to build awareness and trust, then reports their needs and unresolved concerns to governments for policy learning. Across six-region simulations in China with five OPC types, five scenarios and three simulator backbones, it ranks first in all 15 combinations, with the aggregate government objective 42.4% above the eight-baseline mean.

makecindy/cindy

Cindy links your work computer, home desktop, laptop and phone into one agent session

The open-source AI agent Cindy connects a work computer, home desktop, laptop and phone to the same session, so a user can open a session on another device, continue the conversation and reach its files without copying everything into a new chat. It can also use model providers configured on another computer, including supported subscriptions, API providers and local models, and a built-in remote desktop on the phone lets the user operate a connected computer. The project states that remote access requires the machines to stay online, the same account sign-in and the relevant permissions, and that project files stay on their computer rather than being whole-disk synced.

OpenAI News

Code review stops at the diff: CodeRabbit's security agent now traces dependencies across repos and tests exploits in a sandbox

CodeRabbit now runs GPT-6.1 Sol as the primary model in its security agent, and review reaches past a single code change to risks across files and repositories. Previously a pull request was examined on its own, while the shared libraries, dependencies and safeguards it touches sat elsewhere. Sol reads changes as developers work; in Deep Scan and CodeRabbit Secure it follows dependencies and component interactions, and CodeRabbit reports flagging security issues across thousands of repositories, with user-selected findings testable in an isolated sandbox and drafted into fix pull requests.

Meta opens its gigawatt AI network designs: a first liquid-cooled rack holds a 102.4T switch, and scale-out drops a tier

At the 2026 OCP Global Summit, Meta published the network designs behind its latest AI models and its gigawatt-scale Prometheus cluster. Scale-out had been organized as a three-tier Clos, and the switch platform layer stayed proprietary, with each new platform repeating months of bring-up work. Meta now connects each GPU to eight network planes and flattens Clos to two tiers, and shows IcePack, its first liquid-cooled network rack, holding IceCube, a 102.4T switch with 128 800G ports; MetaRoCE goes open source and the OSPA 1.0 specification goes to OCP.

Mamba loses fine detail in RGB-D saliency detection: liquid time constants and wavelet fusion put LWNet first on five benchmarks

RGB-D salient object detection has traded the limited receptive field of CNNs against the quadratic cost of Transformers; Mamba models global context at linear cost but flattens 2D features into 1D sequences and loses local structure. LWNet adds a Vision Liquid Time-Constant module on a VMamba backbone, using input-dependent decay to restore detail weakened by scanning, and a cross-modal wavelet fusion that splits RGB and depth features into low- and high-frequency bands for separate alignment. Against 18 methods on STERE, NLPR, NJU2K, DUTLF and SIP, LWNet ranks first on all five datasets.

Claude moves onto the advisor's desk: connectors to custodians and planning tools, with meeting prep and follow-up drafted for review

Anthropic released Claude for Financial Advisors, a plugin that connects Claude to the custodians, CRM, portfolio reporting, planning, estate and tax tools advisors already use, and adds skills for meeting prep, rebalance review, post-meeting notes and follow-up, and compliance checks. Anthropic cites Kitces research that a typical advisory practice spends only about a sixth of its time in client meetings, with the rest going to cross-system preparation and documentation. The plugin is available today, and regulated activities such as investment recommendations, client communications and compliance determinations remain subject to human review and approval.

Your own ChatGPT Plus plan now runs a multi-agent trading firm, and backtests score from the first close after each call

TradingAgents 0.7.0 lets users run the framework on their own ChatGPT Plus or Pro subscription and scores backtests from the first close after each decision. Earlier versions let backtests see only data published by each analysis date, so the numbers stopped at the analysis day. The framework splits a trading firm's roles across specialized LLM-driven agents, from fundamental, sentiment and technical analysts to a trader and a risk management team; 0.7.0 also notes at start-up when a newer release is out and ships a wheel with each GitHub release.

genspark.ai

Genspark puts an agent director in charge of video: one sentence of need, then script, storyboard and final cut on one canvas

Genspark has launched Media Studio, an AI studio that moves video production from a pipeline of script, cast, sets, voice, score and editor into one workspace run by an agent director. A user describes the piece and answers a few questions; the agent settles concept, script, storyboard and budget first, then orchestrates image, video, audio and 3D generation models from more than a dozen providers to generate, check quality, edit and composite. Output ranges from a 15-second ad to a 10-minute short drama, and from a poster to an interactive film.

Claude for Nonprofits stops being only a discount: the new plugin maps an organization's records first, then takes on grant proposals and donor correspondence

Anthropic released the Claude for Nonprofits plugin, a set of skills and connectors built with about 30 nonprofits, covering organization mapping, AI-policy checks and the fundraising cycle. Before this, what Anthropic offered nonprofits was price relief and data connections, and nonprofits said cost was only one barrier, the other two being too few people with AI skills and too few tools built for how nonprofits operate. Anthropic also plans to extend Claude Corps, its program placing early-career fellows in US nonprofits, through a partnership with Taproot.

ThinkRail gives each coding agent its own git worktree: parallel edits stay out of your checkout, and finished workspaces shelve themselves

ThinkRail wraps a coding agent in a full IDE, and each task gets its own workspace: a git worktree cut from the repository, with its own branch and working directory, so several agent sessions can run at once without touching the developer's checkout. Agents can also be pointed at the project folder itself, or existing worktrees attached. Dormant workspaces settle onto a per-project shelf when their pull request merges or closes, or after a quiet week, and return when you work in them again; sessions carry their own model and a live token and cost readout.

PloS one

Damped elastic waves no longer need a free search: Lie symmetry reduction plus causal weighting gives a 1.53× total speed-up on the generalized damped case

Neural solvers for the damped nonlinear elastic wave equation now train differently: Lie symmetry analysis reduces it to four ordinary differential equations in a single similarity variable, the network learns the reduced unknown, a symmetry loss constrains invariance, and residuals are weighted in time so early times are learned first. A standard physics-informed network relies only on the residual and boundary conditions, and on time-dependent nonlinear systems it tends to hit gradient imbalance and slow convergence. Across four cases, profiles, surfaces and contours stay closer to the analytical solutions of the reduced equations, and the generalized damped case shows a 1.53× total wall-clock speed-up including derivation and training.

www.apple.com

Apple's 14-inch MacBook Pro moves to M6: every GPU core carries a Neural Accelerator, and local LLM workloads run up to 25% faster than M5

Apple's new 14-inch MacBook Pro runs on the M6 chip, whose 12-core CPU and 12-core GPU each add two cores over the previous design, with a Neural Accelerator inside every GPU core. Apple compares it with the M5: the 12-core GPU is up to 25% faster on on-device AI workloads such as LLM prompt processing, up to 30% faster in graphics, and the dual 16-core Neural Engine up to 1.9x faster. For M1 upgraders, Apple cites up to 11x graphics and up to 13x AI gains, plus up to 24 hours of battery life; pre-orders open October 28, sales November 6.

Vercel News

Vercel Alerts Move Beyond Built-Ins: Custom Monitors Watch AI Gateway Costs, Core Web Vitals or Error Ratios

Vercel's observability console now lets teams define their own alerting monitors from their own query results, not only from the built-in alerts that Observability Plus has provided. Each monitor tracks a single metric, such as response time, or a ratio of two, such as errors divided by total requests, and uses either statistical anomaly detection or a fixed threshold with a configurable detection window, filters and grouping. Monitors can be started from a chart query, a preset or the team's alerts settings, or defined in JSON and added with the CLI; alerts go to email, Slack or team webhooks, and the feature requires Observability Plus on Pro or Enterprise plans.