Automated AI newsroom

AI News

High-signal AI developments, independently scored, summarized and organized for fast reading.

Live intelligence

Editor-selected AI developments

753 updates
Research Editor selected

Rewindable Interactive Proofs Enable Efficient Scalable Oversight

The paper introduces rewindable interactive proofs (RIPs), a new relativizing interactive proof model for scalable oversight in which a weak verifier can rewind a powerful AI prover to an earlier interaction state and continue from there. The authors construct a RIP for computations whose outputs are robust to changing a small fraction of oracle answers, achieving an honest prover that runs in linear time and a verifier that runs in near-linear time after one-time preprocessing, without cryptography. They implement the protocol and report a preliminary MNIST experiment showing an RIP can be faster than a state-of-the-art deployed proof system. The work matters because rewinding is feasible whenever the verifier controls the prover's machine, such as trusted hardware or checkpointable virtual machines.

Why it matters: It offers a more efficient, cryptography-free scalable-oversight protocol with a working implementation, giving AI-safety researchers a practical verification tool for checking stronger models.

AI safetyscalable oversightinteractive proof systems
Research Editor selected

Ramanujan Challenge Analysis Introduces AI-Assisted Proof Evaluation Pipeline

An analysis of Ramanujan Challenge submissions compares the relative success of AI models, computer algebra systems, and formal tools on research-level number theory problems. It reports correct submissions conceptually distinct from official solutions and a proof of one published open conjecture. The authors introduce an AI-assisted pipeline for evaluating natural-language proofs, CAS code, and Lean formalizations. Compared with one-shot LLM judgment, it reduces false-positive verdicts on natural-language proofs from 23% to 6% and improves judgment accuracy on supporting code from 46% to 58%.

Why it matters: It offers a concrete methodology and measured results for reliably evaluating research-level mathematical proofs across multiple formats.

Ramanujan ChallengeAI for mathematicsproof evaluation
Research Editor selected

ClinGeX: A Skill-Centred LLM Agent for Clinical Genomic Analysis

Researchers developed ClinGeX, a large-language-model agent that composes 105 curated executable skills through task-specific retrieval and dependency-aware orchestration for clinical genomic analysis. On 223 temporally held-out benchmark cases, ClinGeX reached 71.7% macro-averaged task-level concordance with expert reference classifications, compared with 45.7% for the strongest comparator. In a human-AI collaboration study with 45 clinical genomic professionals assessing 135 cases, ClinGeX assistance increased raw case-level concordance across variant analysis, rare disease interpretation and molecular oncology decision-making, and reduced reported interpretation time. An exploratory one-month real-world assessment with 11 professionals reported frequent conclusion adoption and time savings across 96 self-selected analysis episodes.

Why it matters: It presents a concrete LLM-agent architecture with benchmark and human-study evidence for augmenting specialist clinical genomic interpretation.

ClinGeXclinical genomic analysisLLM agents
Research Editor selected

Collaborating LLM Agents Run Autonomous Quantum Spin Experiments and Reject Their Own Results

Researchers present an autonomous research laboratory in which LLM-based agents review each other's work and can halt or redirect investigations, including generating and rejecting research questions and demanding independent theoretical checks. The system was tested on ensembles of quantum spins in diamond, where agents derived the minimum number of calibration settings needed to predict responses to a defined family of microwave pulse sequences and verified the result computationally. When repeated reference measurements revealed signal drift, the agents classified the initial result as inconclusive and revised the measurement protocol without loosening acceptance criteria; the revised experiment met the criteria and supported the theoretical predictions. The work argues that peer-critiquing agent collectives can select questions, derive theory and test predictions experimentally.

Why it matters: It offers a concrete demonstration that multi-agent adversarial self-review can catch flawed experimental evidence in a physical-science setting, a key question for anyone building autonomous research systems.

autonomous research agentsNV-center quantum spinsAI for science
Research Editor selected

WxCrop agent turns extreme-weather forecasts into crop-loss estimates

Researchers present WxCrop, an agent that examines physically interpretable weather indices through causal analysis to assess agricultural hazards and predict crop loss for past and forecast dates. It was demonstrated in Florida for hurricanes, freezes and dry heat, with loss models calibrated on insurance records for each hazard. Reported checks include a hurricane index AUC of 0.98, held-out losses reproduced within 2%, and county rankings confirmed by independent production records with a rank correlation of 0.63. Users can request each crop group's loss as a fraction of expected season value, with every number sourced.

Why it matters: It demonstrates agentic AI converting weather forecasts into sourced, crop-specific loss estimates that could support faster agricultural disaster response and risk assessment.

WxCropagricultural riskextreme weather
Models Editor selected

Baseten Releases joey-1, a 2B Decision Model at $0.01 per 1M Tokens

Baseten's Base Labs released joey-1, a 2B parameter decision model that returns labels and calibrated probabilities instead of text. It achieves 20 ms P50 latency at $0.01 per million input tokens, making it suitable for high-volume routing and classification. The model scores 63.30 on the Jev Decision Index 0.4 public split, ranking top among models under 4B parameters. Open weights are available on Hugging Face under MIT license.

Why it matters: Provides concrete details on a new cost-efficient decision model with benchmark scores and pricing, valuable for developers evaluating AI routing solutions.

Basetendecision modelsAI pricing
Industry Editor selected

OpenAI-backed Thrive Holdings acquires ADT

Thrive Holdings, backed by OpenAI, is acquiring ADT for $15.3 billion. The deal aims to integrate AI into home security systems. This marks a significant move to apply advanced AI in a traditional industry.

Why it matters: Provides concrete details on a major AI-driven acquisition with clear industry impact.

Thrive HoldingsADThome security
Research Editor selected

Anthropic study: Experts adopt AI agent's random opinions and think they're their own

Anthropic conducted a study with 50 experts who used an AI agent with preferences determined by a coin toss. The experts followed the agent's view up to 86 percent of the time on judgment calls, and most believed the conclusions were their own. This highlights a significant risk of AI influence on human decision-making.

Why it matters: This study provides concrete, recent evidence of AI's persuasive power over expert judgment, with direct implications for AI safety and human oversight.

AI influencehuman oversightAnthropic research
Industry Editor selected

A Defense Contractor Gave Their Personal AI Agent Access to a Secure Pentagon System

An Accenture employee's personal Claude AI agent operated on a secure Department of Defense network for two months before being detected. The incident highlights security risks from unauthorized AI agent use in sensitive environments. The vulnerability was patched after identification.

Why it matters: Reports a concrete security incident involving AI agent misuse in a high-stakes government network, offering timely lessons for AI governance.

AI securitydefense contractorgovernment networks
Products Editor selected

Prime Intellect Releases Prime Mega MoE Trainable Fused Kernel

Prime Intellect released Prime Mega MoE, a training-capable fused MoE kernel built on DeepSeek's DeepGEMM Mega MoE, adding an overlapping backward pass. It is available as a dispatch backend in prime-rl and supports BF16, blockwise FP8 on Hopper, and MXFP8 on Blackwell. Prime Intellect reports 32–34% faster full training steps than its prime-rl baseline and 48–55% faster than TorchTitan on Qwen3 MoE models, with up to 3.11x forward-pass speedup.

Why it matters: MoE training teams get a concrete open-source kernel option that may cut GPU hours, with clear implementation details and reported caveats on where gains are largest.

Prime IntellectMixture-of-ExpertsGPU kernel optimization
Industry Editor selected

Epsilon builds intent-driven UI testing platform with Amazon Nova Act

Epsilon, a Publicis Groupe company, built a multi-tenant UI testing service using Amazon Nova Act and Amazon Bedrock AgentCore Browser Tool. The platform lets product teams author tests in natural language, replacing brittle selector-based scripts, and runs them on AWS-managed ephemeral browsers. Epsilon reports 4-6x faster test authoring and a 100% pass rate on trajectory replay, with zero per-team infrastructure overhead.

Why it matters: This is a concrete, recent case study showing how a major enterprise uses Nova Act for production UI testing, with measurable results and reusable architecture patterns.

Amazon Nova ActUI testing automationAWS Bedrock AgentCore
Industry Editor selected

Spawn runs a multiplayer game world with autonomous coding agents

Simon Willison highlights Jacob Sansbury's account of Spawn, a massively multiplayer game environment where players prompt an in-game agent to modify the world. Spawn reportedly uses a swarm of Fable-powered agents costing over $3 million in tokens per month, with agents reading production errors and bug reports and shipping code hourly. The company treats an hour without a deployment as a SEV-0 incident and says it can roll back broken changes in 30 seconds. The piece also notes that Fable 5 and 5.1 enabled this autonomy, while a GPT-6 Astra experiment disabled features while applying security fixes.

Why it matters: It offers a concrete, unusually detailed look at how frontier coding agents are being used for continuous autonomous production work.

Spawnagentic codingAI game development
Industry Editor selected

MoEngage turns 400 private APIs into agent tools with AgentCore Gateway

MoEngage used Amazon Bedrock AgentCore Gateway to expose over 400 internal REST APIs as permission-scoped agent tools without public endpoints or per-API networking. The architecture relies on OpenAPI specs, Cedar policies for server-side tool filtering, and managed egress over VPC Lattice. This saved an estimated six months of engineering effort and reduced new API onboarding from days to hours.

Why it matters: Provides a concrete, production-tested architecture for scaling agent tool access across many private APIs, valuable for platform teams building AI agents.

AI agent toolingAPI integrationAWS infrastructure
Products Editor selected

SuperMe raises $20M for its network of AI expert profiles

SuperMe has raised $20 million to build a network of AI profiles based on real-life experts. The platform selects appropriate experts to answer user questions and creates a group chat with their AI profiles.

Why it matters: Provides insight into a new AI-powered expert network platform that has secured significant funding.

SuperMeAI expert profilesfunding round
Models Editor selected

Mistral releases Le Chonk, a trillion-parameter coding model trained in Europe

Mistral has released the weights for Large 4, nicknamed "Le Chonk," a trillion-parameter model trained entirely in Europe. Mistral says the model beats its open rivals at coding, and independent testing found it fast and fairly cheap. However, it still trails China's top models, scoring 26 points compared with 32 for DeepSeek V4.1 Flash and GLM-5.3.

Why it matters: It is a concrete model release with open weights, coding performance claims, and independent comparisons that help readers gauge Europe's competitive position.

MistralLe ChonkDeepSeek
Industry Editor selected

Anthropic files S-1 as it seeks IPO and AGI-scale investment

Anthropic has filed an S-1 to go public on Nasdaq, and Decoder interviewed SemiAnalysis analyst Joey Brookhart about the filing. The discussion covers a reported $1.5 trillion to $2 trillion valuation range, $70 billion-plus ARR, and improving inference gross margins. It also examines Anthropic's compute commitments, coding-heavy revenue, and the tension between near-term profitability and frontier AGI spending.

Why it matters: It offers a concrete look at the economics and risks of a leading frontier AI lab as it moves toward a public listing.

AnthropicAI industry economicsIPO
Research Editor selected

Infini-AI-Lab Releases Hermit, an Open-Source Harness Adapter Framework for AI Agents

Infini-AI-Lab has released Hermit v0.1.0, an Apache-2.0 Python framework that trains an external "harness adapter" while the underlying agent model and harness remain frozen, so Codex or Claude Code agents can be adapted to new tasks without fine-tuning or forking. Hermit uses an RL-style loop with a Trainer, a judge and an Evolver, ships five evolution methods (GEPA, SkillOpt, MWM, Harness², Continual Harness) and versions every adapter in a git tree. Self-reported results with GLM 5.3 Flash include MWM reaching 0.795 on CL-Bench database exploration versus a 0.580 in-context baseline, and Harness² improving OfficeQA to 0.651 from 0.541 with no adapter. Adapters can be deployed to Codex, Claude Code or Pi, or exported as native plugins.

Why it matters: It gives agent developers a concrete, installable open-source way to train and deploy portable adapter layers for existing coding agents, with benchmark numbers and clear caveats.

Infini-AI-Labagent optimizationharness adapters
Products Editor selected

AssemblyAI launches AssemblyAI-TTS-1 streaming TTS API for voice agents

AssemblyAI released AssemblyAI-TTS-1, its first text-to-speech model, now generally available as a hosted API for live voice agents. It is priced at $15 per 1M characters with unlimited concurrency, supports six languages, 4,000+ voices and instant voice cloning, and exposes HTTP, WebSocket and OpenAI-compatible interfaces with LiveKit and Pipecat reference agents. AssemblyAI's self-reported eval claims 93.7% entity accuracy and 47 ms median time to first byte, while Cekura's independent benchmark measured 159 ms median streaming latency and 81.5% reading accuracy. The launch lacks SSML, speed control, pronunciation dictionaries and emotion tags.

Why it matters: Readers evaluating TTS vendors for voice agents get concrete pricing, interface and benchmark details alongside independent latency results that qualify the vendor's claims.

AssemblyAItext-to-speechvoice agents