All news
10534
AI Agents Formalize 15 000 Pages of Proofs in 24 Days and Find a Gap
Dozens of AI agents turned years of mathematicians' work into 43 million lines of verifiable code in 24 days, and found a logical gap nearly 40 years old.

Anthropic Turns Claude Code Into a Platform: Claude Mods Flip the Agent Harness
TypeScript mods for Claude Code intercept prompts and tool calls. The author tested them in practice: the supervisor fired in 99 of 111 turns.

Nemotron 3.5 Bolt Squeezed Into 24 GB: 74B Model Hits 84 Tokens per Second
A team of 109 authors shrank Nemotron 3.5 Super VL 120B to 74B parameters and 24 GB of memory. On RTX Spark, it generates 84 tokens per second and handles agentic…

OpenAI Releases Decisions API: Agent Decisions Up to 10x Faster

Meta releases Muse Spark Open: 816B parameters and the lead among US open-weight models

SLICE-Mem: LLM agent memory without generation cuts token use by 92–99%

Thomson Reuters engineer runs an offline coding agent on Qwen3.5 9B in the Himalayas

NVIDIA Kumo Relational Beats Supervised ML on 41 Tasks Without Any Training
NVIDIA releases Kumo Relational, a pretrained model that predicts churn and demand directly from a relational database in one pass. On SAP SALT it beats AutoGluon…

Moonshot releases Kimi K3.1 Pro: 2.8 trillion parameters, weights due November 4
Kimi K3.1 Pro, a 2.8-trillion-parameter model, takes a top-4 spot on the Artificial Analysis index with 55 points. Tokens are a third cheaper, but a task costs…

NVIDIA Releases 120B Nemotron 3.5 Super VL and Bolt Models for Local Agents

Goodfire: Agentic Analysis Decodes Neurons Once Written Off as Chaos

aiedit hides individual lines of code from an AI agent: 5 levels and 857 tests

vps-forge: Agents With Root on a VPS Get Auto-Rollback, Self-Bans Drop From 7 in 60 Runs to 0

AWS Launches Multi-Turn RL in SageMaker: gpt-oss-20b Climbs From 15% to 69% for $339
SageMaker AI now fine-tunes agents on a single reward for an entire chain of steps. On Wordle, gpt-oss-20b rose from 61% to 84% of words solved; training tokens…

Microsoft and Hugging Face trained Qwen3.8-27B on database-state rewards: from 38 to 107 tasks
Database end-state checks became the reward for GRPO: in 50 steps, Qwen3.8-27B lifted pass@1 from 51.70% to 60.78% and nearly tripled its count of 20/20 tasks.









