Skip to main content

Daily report

AI and science frontiers · 2026-10-14

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

Sealed edition v1 · 58 withdrawn or replaced articles omitted

Science

LLM writes Lean proofs: 9 of 353 open Erdős problems solved, a few hundred dollars each

AlphaProof Nexus pairs LLM proof generation with step-by-step Lean compiler verification in an agent loop, autonomously resolving 9 of 353 open Erdős problems, two of them open for 56 years, at a few hundred dollars of inference cost per problem.

arXiv

Random permutations turn universal at quadratic length: a log factor drops out, and Alon's weaker problem falls

A uniformly random permutation of quadratic length contains every permutation of that length as a pattern with high probability; the new proof removes a logarithmic factor from the previous bound and bounds the failure probability by a negative power of an absolute constant.

arXiv

Foreshock counts may be underestimated: reversing declustering finds 30-40% more small foreshocks in Southern California

Reversing the declustering metric so that the later mainshock's magnitude, not the earlier event's, sets the correlation range recovers more small foreshocks in both synthetic catalogs and the Southern California catalog, showing that foreshock counts depend not only on earthquake physics but on the temporal symmetry built into the declustering method.

arXiv

Distillation stops needing a stronger teacher: task-trained policy differences transfer across models, scale gaps barely do

Whether one policy difference transfers depends on the target: Qwen3 targets gain positively while Qwen2.5 targets under a Qwen3 reference gain almost nothing, and swapping in a Qwen2.5-3B reference turns those gains positive.

arXiv

Grid-pretrained physics models move onto unstructured meshes: swap the outer convolution, and cylinder flow runs zero-shot below most trained baselines

A mesh-native tokenisation layer that matches classical convolutions lets grid-pretrained physics foundation models deploy on unstructured meshes without retraining, reaching usable accuracy zero-shot and beating mesh baselines after a few fine-tuning epochs.

arXiv

Automatic differentiation drops the coordinate basis: one JAX transformation now yields curvature, divergence and rotor-group updates

Automatic differentiation can now run without fixing a coordinate basis: writing the geometric-algebra multivector derivative as a JAX transformation lets the same operator compute curvature, divergence and rotor-group updates.

arXiv

Jets faking hadronic taus get a new background estimate: multidimensional reweighting cuts the systematic uncertainty by up to 70%

CMS learns per-object multidimensional reweighting factors directly from observed data with boosted decision trees, replacing low-dimensional fake-factor parametrisations and reducing the systematic uncertainty from jets misidentified as hadronic tau decays by up to 70% on 62.4 inverse femtobarns of proton-proton collisions.

Hybrid architectures skip pretraining from scratch: reusing Transformer weights cuts cost by over 99%

Amazon Web Services introduces priming, which initializes hybrid state space models from pretrained Transformer weights and cuts the pretraining cost of hybrid architectures by more than 99%, enabling controlled comparisons of three state space layer types.

arXiv

Same attention heads, new task, new role: one internal activation edit changes which fact the model reads and how it influences later layers

Across five open-weight models, holding graph facts fixed and changing only the task instruction redistributes how the same attention heads influence later computation; in Gemma-2-9B and Qwen3-14B, editing one early internal activation vector switches which fact the model reads while the written instruction and weights stay fixed.

arXiv

A robot world-action model shrinks to 0.88B: 95.5% LIBERO success at 57 ms

SmolWAM compresses the 2B-parameter Cosmos Policy video world-action model to 0.88B, succeeding in 95.5% of 400 LIBERO episodes at 57 ms, 2.3 TFLOP and 2.4 GiB per 16-action chunk, 11 times faster than its teacher while still forecasting scene motion.

arXiv

Mass-spec structure splits drift as libraries grow: one component swallows 95.5% of 227,690 molecules, leaving a 4.5% holdout

The MCES-10 structure-disjoint split used to evaluate mass-spectrum structure prediction percolates once the public library grows from 29,000 to 227,690 molecules, so a single component holds 95.5% of the library, the usable holdout falls to 4.5%, and the surviving compounds are systematically heavier.

arXiv

Games hung on Petri-net places: a newly found phishing scenario joins an existing campaign through one entry value, no re-solve

A modeling scheme that attaches local games to places of a colored Petri net, so that a game's outcome becomes typed tokens that enable, synchronize, or block later games; in an intrusion campaign, a newly discovered phishing scenario is composed with the existing campaign through a single entry value, matching a full re-solve.

arXiv

Creativity benchmarks are really testing the tail: scoring only a benchmark's rarest items tracks human preference better

Sorting creativity benchmarks by how rare their items are under a reference corpus makes the tail subset's model ranking agree more closely with LM Arena creative-writing human preferences than the peak subset, so creativity evaluation can be read as task performance in the long tail.

arXiv

Same evidence, repeated: LQET stops models from treating relays as new corroboration

On a controlled binary benchmark with supplied report lineage, LQET makes models update beliefs by evidence provenance rather than report count, cutting new-evidence update RMSE by 41-44% and log-odds drift after eight relay steps by 89-91% relative to task-only training.

arXiv

Legacy Fortran atmospheric physics moves to GPU: four LLMs each wrote a JAX version, and the fastest ran about 357 times faster than serial Fortran

Four LLMs rewrote the Kessler warm-rain microphysics Fortran code into GPU-executable JAX, reproducing the Fortran reference to near floating-point precision while differing widely in GPU performance, with the fastest reaching about 357 times the speed of serial Fortran in cached GPU execution.

arXiv

Perovskite model scoring gets a new split: a lookup table matches the published best on random splits, and neural models overtake trees on unseen institutions

Evaluating perovskite solar-cell machine learning with provenance-grouped splits shows a lookup table that learns nothing matches the published state of the art on a random split, while neural models overtake tree ensembles on unseen institutions and later years.

bioRxiv

A 19-day human macrophage from iPSCs clears amyloid faster than standard microglia and signals harder through TREM2

A 19-day protocol that matures human iPSC-derived macrophages with M-CSF alone yields cells that take up amyloid-beta and zymosan more than standard iPSC-derived microglia and mount stronger TREM2-driven SYK and PLCγ2 signaling, giving Alzheimer's researchers an easier-to-perturb human macrophage model.

arXiv

Protein–ligand scoring stops asking only how much to pass: attention now encodes then decodes, docking success reaches 88%

TopoLIA extends attention from how much information is exchanged to how that information is transformed per target, beating its standard-attention counterpart on protein–ligand scoring and docking benchmarks and reaching an 88% docking success rate on CASF-2013.

arXiv

Precipitation generation skips retraining the weather model: one diffusion generator on frozen backbones cuts day-7 Brier score from 0.245 to 0.218

A separately trained diffusion generator maps non-precipitation atmospheric states from a frozen weather model to observation-aligned 24-hour precipitation, improving daily accumulation and event detection on Pangu-Weather, GraphCast and HRES without backbone-specific retraining.

arXiv

Counterfactual prediction skips the causal graph: a GNN reads observational samples directly, and a 10-node model transfers to 30 nodes

Counterfactual prediction can skip causal-graph estimation: CFGNP maps observational samples directly to a counterfactual distribution, achieves stronger predictive performance than existing approaches across synthetic and image-based benchmarks, and a model trained only on 10-node graphs transfers to graphs up to 30 nodes without retraining.

arXiv

Detector data squeezed into discrete tokens: tracks and topoclusters hold 1% jet resolution at 4–11x

High-energy-physics detector data can be compressed into discrete tokens, with track and topocluster tokenizers holding jet resolution below 1% at roughly 4–11x compression, while calorimeter cells stay slightly above that target.

arXiv

Simulation-based inference stops training only the posterior net: summary statistics take the lead, and training size grows only polynomially in observation dimension

A simulation-based inference framework jointly learns a low-dimensional summary statistic and an amortized posterior estimator with non-asymptotic guarantees: in exponential-family and smooth-model settings, the training size needed for a target accuracy grows only polynomially with observation dimension, not exponentially as in classical nonparametric conditional distribution estimation.

arXiv

Reconfigurable optical links let AI data centers chase cheap, green power: 12.50% lower real-time grid cost and 2.724 points more local renewables

Across five AI data centers with equal completed work and network resources, folding optical circuit switching into joint compute-electricity-network scheduling cut real-time grid purchase cost by 12.50% and raised local renewable utilization by 2.724 percentage points versus fixed optical operation.

arXiv

A slitless census of the COSMOS field: 12,275 emission-line galaxies from redshift 0 to 9, with the catalog released

JWST/NIRCam F444W slitless spectroscopy over 0.33 square degrees in COSMOS has yielded a homogeneous catalog of 12,275 emission-line galaxies spanning redshift 0 to 9, now publicly released.

arXiv

One bitstream diffusion recipe spans images, speech and proteins: 3.5% word error in joint speech-text, but two fold-level protein figures disagree

Continuous bitstream diffusion writes images, speech and proteins as binary codes and, with one training and sampling protocol, reaches 3.5% word error rate in joint speech-text generation, while the fold-level agreement of generated protein sequence-structure pairs is reported as 75% in the results section and 69% in the conclusion.

arXiv

Echocardiography diagnosis stops reading whole videos: one token per measurement lifts average AUC from 0.659 to 0.748

An echocardiography diagnosis model now learns a dedicated token for each quantitative measurement and selects the diagnosis-relevant tokens at inference; average AUC rises from 0.659 to 0.748 on MIMIC-IV-Echo and from 0.730 to 0.778 on an internal cohort.

arXiv

Probability measures get sparse dictionaries: embed once by optimal transport, then train a plain autoencoder

Embedding probability measures into a Hilbert space before learning a sparse dictionary turns training from repeated Wasserstein distance solves into one autoencoder optimization, cutting reconstruction loss by roughly two to three orders of magnitude against Wasserstein dictionary learning under the same time budget.

arXiv

Humanoids stop manipulating with hands alone: wearable contact patches turn human demos into whole-body pushing, sweeping and carrying

PanTact lets a Unitree G1 humanoid learn whole-body dexterity from robot-free human demonstrations, using any suitable body surface such as forearms and knees for embracing, pushing, sweeping and load-sharing.

arXiv

Laughlin gap lower bound raised about fivefold: the certificate is now searched, not hand-picked

The same Fock-space inequality argument, with its auxiliary operators chosen by a semidefinite-program search, raises the certified lower bound on the gap above the Laughlin state to roughly five times the previous constant, with the new certificate checked in exact rational arithmetic.

arXiv

BARseq drops manual annotation: training on instrument-matched optics recovers about four more transcripts per cell

PhySeqNet trains U-Net detectors on semi-synthetic images built from an instrument-matched optical model plus real sample-free noise, so BARseq fluorescent rolonies can be localized without manual annotation, and with barcode-aware non-maxima suppression it recovers a median of 51 counts per cell versus 47 for BarDensr.

arXiv

Interstellar collision rates without fresh quantum scattering: neural networks fill 18 systems to 500 K and guess unseen CS and CF+

Feed-forward neural networks trained on state-to-state rate coefficients for 24 linear molecules colliding with para-H2 extend existing datasets to 500 K and 696 cm-1 and give a first estimate within a factor of 3 for CS and CF+, which were excluded from training entirely.

medRxiv

Ten microliters of unstained whole blood, imaged in 12 minutes: a three-class model flags sepsis at 100% sensitivity and 85.3% specificity

Remoscope images 10 microliters of unstained whole blood into 20,000 pictures in about 12 minutes, and a three-class model separated sepsis from non-infectious critical illness and healthy controls in 29 critically ill adults, reaching 100% sensitivity at 85.3% specificity when tuned for rule-out.

arXiv

A chat before labelling: micro-narratives made the same posts read more divergently, not more alike

A pre-annotation stage that anchors a short axis-guided conversation in a scenario vignette and returns a first-person micro-narrative raised identity resonance and harm sensitivity among 104 annotators labelling 30 ambiguous hate speech items, while label entropy rose and inter-annotator agreement fell.

arXiv

Time-series foundation models can skip whole Transformer blocks: A100 latency drops 11% to 13% at moderate sparsity, with dataset-level variation

Two pretrained time-series foundation models skip whole Transformer blocks at inference, leaving mean forecasting quality nearly unchanged across 1,088 held-out windows while cutting median A100 batch-1 latency by 11.2% and 13.4% at moderate sparsity.

Neural networks now build their own learning machinery: random units self-organize by simple rules and match backprop-trained nets on image classification

An MIT team let a randomly connected network self-organize its learning machinery from simple rules such as strengthening connections that fire together, matching backpropagation-designed networks on image classification.

Drug discovery AI stops predicting single steps: agents now plan, synthesize and test in a loop, graded on a six-level autonomy spectrum

AI in drug discovery is shifting from single-task prediction tools to agents that decompose a goal, call tools and replan on experimental feedback, and a review grades these systems on a six-level autonomy spectrum, placing today's most advanced work at Levels 2 to 4.

arXiv

Sequence models stop squeezing history into one state: semantic similarity picks the lag, 95.35% on IMDB

A sequence-modeling framework written as a nonlinear time-delay system lets the current input's semantic similarity to past inputs set how far back the model looks, reaching 95.35% accuracy on IMDB sentiment classification with 2.6M parameters, above the 89.90% of LSTM and 83.00% of Mamba in the same table.

arXiv

Pruning calibration stops reading fixed text: decode-time activations lift Qwen3-32B writing score from 2.99 to 5.31

LLM pruning now builds its calibration activations from the dense model's own autoregressive decode steps while discarding prefill, aligning the pruning objective with generation-time activations; it beats fixed-text calibration on WritingBench and ClassEval and reaches up to 1.48x end-to-end decoding speedup on A100 GPUs.

arXiv

At the intersection, look ahead before you turn: previewing a short future route cuts Porto distance JSD to 1.01

On road-network trajectory generation in Porto, Beijing and San Francisco, a model that previews a short future route before choosing the current intersection turn reaches a Porto distance-distribution JSD of 1.01, below HOSER's 1.57.

arXiv

Communication signals double as radar: multistatic terahertz echoes identify object shape, holding at three-quarters occlusion

A multistatic terahertz link treats ordinary communication traffic scattered off an object as the observation, identifying shape at orientations never seen in training, with real gains from more transmitters and accuracy that holds when three quarters of the surface is hidden.

Burn-area estimation drops the scanner: frontal and dorsal masks alone beat the direct pixel-area ratio

Total burn surface area is now regressed directly from frontal and dorsal whole-body and burn-region binary masks, cutting error below the direct pixel-area ratio baseline on a synthetic set of 5,000 human models and 320,000 rendered views.

Microsoft scales its inference silicon to multi-gigawatt: Maia 300 promises 40% more tokens per megawatt, production in 2027

Microsoft plans to scale its Azure Maia family to multi-gigawatt deployments starting in 2027 and make Maia the primary inference system for its products and services, with the third-generation Maia 300 expected to deliver 40% more tokens per megawatt than leading GPU-based systems.

arXiv

PFAS substitutes get more than a candidate list: three agent stages close the loop from lab stock to manufacturability

For PFAS substitution, a three-stage multi-agent workflow links requirement analysis, candidate generation and manufacturability assessment in a closed loop, raising the overall score from 2.99 to 5.47 with the backbone model held fixed.

Intrusion detection stops leaning on correlation alone: causal graph plus entropy compression cuts 78 flow features to 18 and reaches 97.4% accuracy

A hybrid intrusion-detection framework that chains causal graph learning, entropy-guided compression, attention fusion, adversarial calibration and trust-weighted federated aggregation into one pipeline reaches 97.4% detection accuracy on CICIDS2017 while cutting the input from 78 features to 18.

NVIDIA Blog

RTX Spark laptops ship Friday: a 74B agent model squeezed into 24GB runs locally

NVIDIA says RTX Spark laptops arrive Oct. 16 with a Nemotron 3.5 Bolt 74B model quantized to 2 bits and packed into 24GB, letting local agents run on a single machine.

Cloudflare

Agents SDK adds a browser that survives the turn: tabs, cookies and logins persist, even through hibernation

Cloudflare's Agents SDK now ships browserTool, giving an agent a browser it can return to across turns with tabs, cookies and login sessions intact, kept alive even while the Durable Object hibernates.

Distributed LLMs stop treating bias as a local defect: nodes swap a 3D bias state, cutting inter-node variance by about 87% in a pilot

Distributed LLMs can treat bias as a network state that evolves with communication: nodes exchange a three-dimensional bias state and align by consensus, cutting composite bias by about 48.5% and inter-node bias-state variance by about 87.4% versus FedAvg in a lightweight Transformer pilot.

langchain.com

Agent traces stop needing tags: describe a behavior in one sentence, and a decision model reads each trajectory and streams back the matches

LangSmith has launched AI Search, which retrieves agent traces from a natural-language description of a behavior, such as whether the user got frustrated or whether PII leaked, instead of requiring a preconfigured evaluator or manual review.

AMD Newsroom

AMD opens its agentic rack blueprint: CPU-only configs reach 32,768 cores, spec headed to OCP

AMD introduced the Helion agentic AI rack blueprint, letting customers match CPU core density and power to agentic workloads, with a CPU-only configuration supporting up to 32,768 cores for hyperscale deployments.

One command installs skills across 75+ coding agents, and prints the prompt without installing

vercel-labs released skills, a CLI that installs agent skills into Claude Code, Codex, Cursor and 75 more coding agents with one command, and can emit a skill's prompt directly.