ArtificialIntelligence.io

The Signal

Everything that matters in AI, with our take.

Updated through the day. Every headline links straight to the source. The two lines underneath are ours.

arXiv cs.LGPaper

How Proper Scoring Rules Shape LLM Forecasting

This is specialized research on the mechanics of forecast model training. The practical insight is real but narrow: picking your loss function shapes error structure, not just aggregate performance. For teams building forecast systems at scale, this matters enough to run experiments on your own data, but it's not a signal that existing forecasting systems are broken.

arXiv cs.CLPaper

NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry

The real bottleneck in neuro-symbolic geometry is usability, not reasoning. AlphaGeometry already reaches near-IMO performance but requires hand-coded problem statements, which defeats the purpose. This benchmark lets you measure whether an LLM can reliably convert English geometry into formal notation. If this gets solved, the entire pipeline for automated mathematical problem-solving starts to move.

arXiv cs.AIPaper

Video Generative Models as Geometry Learner

Reusing video models for geometry is clever, and the joint-estimation framing is cleaner than training separate depth and normal models. But this is an application paper with limited novelty: it's essentially prompt-engineering a video model. Relevant if you're building 3D tooling, marginal otherwise.

arXiv cs.CLPaper

A Formal Limitation on Learning Human Language From Textual Corpora

This formalizes something practitioners know intuitively: no amount of text can fully disambiguate human meaning. Context is irreducible. For builders: this isn't a limit on capability scaling, it's a limit on what pure language modeling can do. You need multimodal data, interaction, or structured knowledge. For researchers: the bounds are intrinsic to language, not artifacts of training.

One Useful Thing (Ethan Mollick)Article

Agency and Agents

The title signals real thinking about what agency means when you hand execution to a model. Without the full text we can't say what ground Mollick covers, but if he's tying the Hugging Face incident to broader questions about agent reliability and safety, this is worth your time. Worth checking whether the stakes he identifies apply to your use case.

arXiv cs.CLPaper

FinExam-10K: When Retrieval Helps Financial Reasoning?

The gap between overall and context-complete reasoning accuracy is the real story. Models can pattern-match their way to 85%, but on items where they must actually reason from supplied context, performance craters. If you're building financial advisory agents, this shows where your real work starts.

arXiv cs.CLPaper

Layered LLM Defenses as an Ensemble: Access Tiers, Inference Cost, and the Measured Failure Correlation Between Defense Layers

This is the kind of unglamorous but critical work that prevents you from shipping false confidence in your safety stack. Most teams assume that adding a second defense halves attack success; this paper shows it often doesn't. If you're building security into an LLM product, read this and rethink your defense architecture.

Hacker News (AI, 50+ points)Article

Continuous Diffusion Language Models (CDLM's)

Hacker News signal is weak on its own; the 50+ points means technologists found it novel but not necessarily consequential. Without the paper text we can't assess whether this is a real contribution to generative modeling or architectural novelty. Skim it only if you're actively working on diffusion-based approaches.

arXiv cs.CLPaper

Acquire, Repair, Preserve: A Diagnosis-Guided Post-Training Recipe for Small-Model Dialogue Game Agents

Small models can be made competitive on structured interactive tasks through targeted diagnostics and RL. The wins here are real: clemscore goes from 10.67 to 38.92. The recipe is generalizable: acquire broad coverage, fix local failures, preserve general ability. If you're working with small models in constrained domains, this is a template that works.

arXiv cs.CLPaper

ContextPilot: Teaching Agents for Proactive Context Management via Fine-grained RL

Context window is still the choke point for multi-step agent work. ContextPilot adds tools beyond search-and-delete (planning, adaptive compression, long-term memory) and fixes the RL signal so the model learns which edits actually matter. If you're building agents that run for dozens of steps, this is worth testing against your baseline pipeline. Real gains probably live in the credit assignment fix.

arXiv cs.CLPaper

Blind Men and the Elephant: Probing the Epistemic Myopia of LLMs under Long-Tail Divergent Knowledge

This is a real and persistent problem: LLMs don't just get long-tail facts wrong, they systematically forget one side of a disagreement. Scaling helps but doesn't fix it. If you're building systems that need to handle controversy, ambiguity, or multiple valid frames, this paper proves that disclaimers aren't enough. You need explicit retrieval and explicit reasoning over sources, not just model weights.