AI Coding Live News

OpenAI unveils three AI-produced results: a claimed refutation of the Exponential Time Hypothesis, local smoothing in every dimension, and an existence proof for QCD

In an Oct 26 blog post, OpenAI said its internal models produced three new results: a proof of Sogge's local smoothing conjecture in every dimension (which implies the Kakeya and Stein restriction conjectures), a Lean-verified proof that the Exponential Time Hypothesis (ETH) is false, and a rigorous existence proof for four-dimensional QCD and related quantum field theories including pure Yang-Mills. The math and CS papers and Lean proofs are in the openai/math GitHub repo; the physics artifacts are being held back while an external group led by David Gross writes them up. All of this is OpenAI's own claim and still awaits independent verification.

OpenAI unveils three AI-produced results: a claimed refutation of the Exponential Time Hypothesis, local smoothing in every dimension, and an existence proof for QCD

Key Takeaways

  • Computer science (per OpenAI): the paper gives a deterministic algorithm that exactly counts satisfying assignments of fixed-width CNF formulas in subexponential time and polynomial space, and the 3-SAT case refutes ETH; the AI found the proof on Oct 16 and it was formalized in Lean on Oct 17
  • ETH was proposed by Impagliazzo, Paturi and Zane and has been used in hundreds of papers for conditional lower bounds; the verification group is led by Impagliazzo, Paturi (UC San Diego) and Ryan Williams (MIT), and OpenAI has committed to fund a conference
  • Math: local smoothing is proved in every spatial dimension n>=2, which yields the Kakeya and Nikodym maximal conjectures and Stein restriction estimates; earlier work only covered two dimensions (2019) and three-dimensional Kakeya (2025)
  • Physics: the natural-language Yang-Mills existence proof was produced on Sep 9 and the QCD proof on Sep 18, with the Yang-Mills Lean formalization finished Oct 16; a five-person group led by David Gross will write it up and the artifacts are not public yet
  • OpenAI says it seeks no academic credit, and outside participants are unpaid volunteers with no NDAs; the openai/math repo withdrew 3 manuscripts on Oct 7 over a sign error, so these claims still need independent checking
  • Physics follow-up (Oct 28): KITP published the Yang-Mills Working Group statement. The committee is Michael Douglas, David Gross (chair), Arthur Jaffe, Igor Klebanov and Nikita Nekrasov; OpenAI asked Gross on Oct 16 to take custody of the proof, and the committee says it has no responsibility to OpenAI. It will first check that the Lean formalization matches standard definitions before releasing the Lean proof, then publish the full 1,147-page proof with its assessment once satisfied; confinement and the mass gap remain open
Read full story
Linked Models & Agents:

X discussion: Grok Imagine's official account posts Episode 1 of an AI-made Odyssey series (about 7 minutes, 4K), drawing 2.4M views and a debate over whether AI video can carry a long story

At 19:23 UTC on 2026-10-23, the official Grok Imagine account (@imagine) posted Episode 1 of its Odyssey series (post), saying it was made with Grok Imagine in a creative collaboration with Wonder Studios (@WonderStudiosX) and director Dev Walker (@glumlot_). The video runs about 7 minutes 12 seconds and is served in a 3840x2160 version. When we pulled it, the post had about 12,055 likes, 1,275 reposts, 433 quotes, 974 replies and 2.4M views, and the account asked whether people want a full breakdown of how it was made. Discussion on X kept growing over the past half day: supporters see it as AI video moving from short clips to whole episodes, while critics point to uneven acting and visible AI artifacts. This is an X discussion presented as opinions, not a verdict on the film's quality.

Key Takeaways

  • Main post: official Grok Imagine post, published 19:23 UTC on 10-23, with about 12,055 likes, 1,275 reposts, 433 quotes, 974 replies, 6,361 bookmarks and 2.4M views when we pulled it
  • What the account says: made with Grok Imagine, in collaboration with Wonder Studios and director Dev Walker; the video is about 7 minutes 12 seconds and comes in a 4K (3840x2160) version
  • The account asked whether people want a full breakdown of how it was made; no workflow, clip count or cost has been published yet
  • Opinions are split: some say AI video can now ship by the episode and that directing and storyboarding matter more than the model; others criticize uneven acting and visual artifacts
  • Treated as an X discussion; production-day and asset counts circulating online are not confirmed by the official account, so we do not use them
Read full story
Linked Models & Agents:

LiteLLM 1.107.0 hit by a supply-chain compromise: PyPI wheels and Docker images shipped a credential stealer and backdoor; LiteLLM says it is contained and advises pinning 1.106.2

On October 21 the release pipeline of the popular LLM gateway LiteLLM was compromised. A malicious 1.107.0 was live on PyPI for about two hours (11:39 to 13:23 UTC), and the Docker tags v1.107.0, latest, main-latest and main-stable pointed to a poisoned image from 11:46 to 14:20 UTC. LiteLLM's incident report says the payload steals cloud, SSH, AI-tool and proxy keys on every Python start; the artifacts are pulled, OSS users should pin 1.106.2 and rotate secrets, and the private enterprise registry was not affected.

LiteLLM 1.107.0 hit by a supply-chain compromise: PyPI wheels and Docker images shipped a credential stealer and backdoor; LiteLLM says it is contained and advises pinning 1.106.2

Key Takeaways

  • Scope (vendor figures): all 7 PyPI wheels of litellm==1.107.0, live 11:39:51 to 13:23 UTC; 4 Docker Hub and GHCR tags poisoned from 11:46:56 UTC
  • Attack chain: the attacker held 3 sets of developer GitHub CLI credentials, one belonging to an org owner, used it to disable branch protection and force-push, then had the release workflow build and sign from the lookalike repo Berri-AI/litellm
  • Payload: cook.pth, cook.py and sitecustomize.py run on any Python start and survive uninstalling litellm; a second loader fetches remote code hourly
  • Fix: delete the 3 files and matching .pyc first, then pin litellm==1.106.2 or rebuild from scratch, and rotate every provider key in the proxy DB, the master key and the database password
  • This is LiteLLM's second supply-chain incident of 2026 (versions 1.82.7/1.82.8 in March); the GitHub source tag v1.107.0 itself is clean
Read full story
A
Anthropicgithub.com·
👀133
🔥87

Claude Code 2.1.302 turns on fork subagents by default across claude -p, Agent SDK, desktop and VS Code; standalone Claude Design closes Dec 14

Claude Code v2.1.302 (Oct 16) makes fork subagents the default in claude -p, the Agent SDK, desktop and VS Code, starts permission-mode-less headless sessions on third-party providers in default mode, and adds CLAUDE_CODE_AUTO_MODE_MODEL. It also flags that standalone Claude Design (claude.ai/design) closes on Dec 14, 2026; design systems must be migrated to Claude Artifacts, while chats and comments are not carried over.

Key Takeaways

  • Fork subagents now default-on in claude -p, Agent SDK, desktop and VS Code; disable with CLAUDE_CODE_FORK_SUBAGENT=0
  • Headless sessions with no permission mode on third-party providers start in default mode (telemetry off or fresh install); --permission-mode auto keeps auto
  • New CLAUDE_CODE_AUTO_MODE_MODEL picks the client-side auto mode classifier model; prompt/agent hooks capped at 12 concurrent per event
  • Read tool refuses image sources over 128 MB; MCP servers on protocol 2026-07-28 that omit resultType/ttlMs/cacheScope no longer break
  • Standalone claude.ai/design closes Dec 14, 2026; chats, comments and public links are not migrated and originals are deleted afterward
Read full story
ADSponsored

Tracing the Thoughts of a Coding Agent Playing ARC-AGI-3: White-Box Lessons for Continual Learning

Continual learning without weight fine-tuning represents a frontier in LLM agent research. When an agent acts purely by writing and executing Python scripts inside an execution sandbox, every thought, hypothesis, and plan leaves a verifiable trace on disk. In a newly released study (arXiv:2610.11450), researchers subject coding agents to ARC-AGI-3—a suite of instruction-free abstract visual reasoning environments where each sequential level introduces novel causal dynamics. Developing a fine-grained measurement protocol, the authors trace thoughts across file artifacts across seven full evaluation runs spanning three foundation backbones from two major model families. The empirical findings reveal that scripts written for one level are almost never invoked in subsequent levels (only 33 of 630 cross-task references survive), as agents deliberately abandon 74% of scripts at task boundaries to purge level-specific overfitted state while rewriting core rules. Notes are maintained in an append-only fashion, with conflicting claims arbitrated against raw execution logs to achieve selective rather than catastrophic forgetting. Crucially, the study identifies carrying hard-coded variables across task boundaries as the single most devastating failure mode of autonomous agents.

Key Takeaways

  • Presents the first white-box thought-tracing audit of coding agents continually learning across ARC-AGI-3 environments
  • Finds agents deliberately abandon 74% of scripts at task shifts to purge state, settling append-only notes against immutable logs
  • Identifies carrying hard-coded constants across task boundaries as the single most catastrophic agent failure mode
Read full story
Linked Models & Agents:
⚡ ARC-AGI-3⚡ Coding-Agent⚡ Continual-Learning🤖 ARC-Agent🤖 Thought-Tracer🌐 Hugging Face🌐 Open Source Research

GitSwarm Unveils Decentralized Compounding Inference: Multi-Agent Collaboration via Git Branching and Atomic Commits

Tackling long-horizon problem solving and scientific discovery requires computation to compound across successive attempts. While humans build upon partial proofs, failed experiments, and prior hypotheses, current test-time compute paradigms (e.g., MCTS and Best-of-N) isolate search trajectories into independent silos, discarding intermediate reasoning artifacts upon branch failure. Researchers introduce compounding inference and its open-source instantiation GitSwarm (arXiv:2610.04862). GitSwarm establishes an asynchronous multi-agent coordination architecture where homogeneous LLM agents collaborate through structured persistent memory hosted in a shared, branchable Git repository. Intermediate artifacts are preserved as atomic commits, while explicit semantic dependencies link cross-branch contributions, enabling agents to inspect, branch, verify, and synthesize past discoveries. Evaluated on rigorous long-horizon benchmarks, GitSwarm paired with GPT-5.5 solves all 30 problems on IMOProofBench-Advanced in a single execution run, and scores 79.4% on ProgramBench compared to 65.1% for the strongest reported baseline under identical budgets.

Key Takeaways

  • Introduces Compounding Inference and GitSwarm, converting transient test-time compute into persistent knowledge assets
  • Employs Git repositories as multi-agent memory, tracking atomic commits, semantic dependencies, and cross-branch merges
  • Solves 100% of IMOProofBench-Advanced problems with GPT-5.5 in a single run and achieves 79.4% on ProgramBench
Read full story
Linked Models & Agents:

REMORY: HKUST and Alibaba Introduce Residual Memory for Agent Context Compaction, Matching Full Context with Only 5.2% Token Overhead

As autonomous agents execute complex multi-step workflows across terminal consoles and web browsers, context window expansion and escalating token costs impose severe operational bottlenecks. Conventional compaction methods rely on text summarization or token pruning, both of which discard crucial state variables and induce semantic drift over extended sessions. Researchers from HKUST and Alibaba present REMORY (arXiv:2610.11287), introducing a residual memory paradigm designed for sequence-level context compaction. REMORY combines lossy natural language summaries with bounded sets of learned soft memory tokens, effectively forming a residual connection in the sequence dimension. While text summaries convey high-level narrative continuity, the soft memory tokens reconstruct lost fine-grained execution artifacts, API arguments, and intermediate environment states. On challenging benchmarks including BrowseComp and Terminal-Bench 2.1, REMORY retains 97% of full-context task performance while occupying only 5.2% of the original input token footprint, slashing redundant tool retries and loops by more than 40%.

Key Takeaways

  • HKUST and Alibaba propose REMORY, establishing sequence-dimension residual memory connections to resolve agent context bloat
  • Matches 97.2% of full-context capability using only 5.2% of token positions, slashing repetitive tool errors by 41.5% on Terminal-Bench
  • Non-invasive plug-and-play architecture reduces TTFT latency by 73.8%, setting a new benchmark for long-horizon agent efficiency
Read full story
Linked Models & Agents:

Opera: A Verbal Critic Framework for Long-Horizon Coding Agents Tracks Diagnosed Flaws Until Resolution to Boost SWE-Bench by 15%

Long-horizon coding agents tackling complex software repositories depend on timely guidance, yet conventional LLM critics often degrade agent outcomes by misinterpreting in-progress exploratory commands or offering ephemeral advice that is never tracked. Researchers from Rutgers and Lehigh University unveil Opera (arXiv:2609.33987), an open-source verbal critic framework that treats diagnostic corrections as persistent notes tracked until root problems are definitively resolved. Opera orchestrates reviews through hybrid periodic and event-driven triggers, verifies proposed critiques against visible terminal artifacts, and monitors downstream trajectories to distinguish mere superficial compliance from genuine resolution. As a test-time intervention, Opera elevates baseline agent resolve rates by 12.4 percentage points on Terminal-Bench 2.1, 15.0 on SWE-Bench Pro, and 8.9 on DeepSWE v1.1 across four foundation backbones. Furthermore, fine-tuning Qwen3.5-9B on Opera-guided rollouts yields a 10.2 percentage point gain on held-out repositories without any test-time critic, preserving stability across heterogeneous execution harnesses (such as OpenHands to Terminus-2).

Key Takeaways

  • Rutgers and Lehigh release Opera, introducing persistent diagnostic notes that track diagnosed faults until proven resolution in coding agents
  • Elevates resolve rates by 12.4 points on Terminal-Bench 2.1 and 15.0 points on SWE-Bench Pro across multiple policy models
  • Fine-tuning Qwen3.5-9B on Opera rollouts yields a 10.2 point gain on held-out repos without test-time critics, preserving cross-harness stability
Read full story
Linked Models & Agents:

GitHub Agentic Workflows 0.90.1: standalone ledgers + replay; richer audit/threat artifacts; compile-time self-hosted runner enforcement

gh-aw v0.90.1 (2026-09-30T17:20:00Z) adds standalone safe-output-backed ledgers with replay projections (defaults preserved on shared-workflow import), richer audit/usage artifacts (ledger txs, threat-detection outcomes, experiment/evals, friction costs), narrowed add-labels + required-labels gating for assign-to-agent, compile-time self-hosted runner enforcement, kebab-case sandbox frontmatter, and Claude Code CLI pin 2.1.280.

GitHub Agentic Workflows 0.90.1: standalone ledgers + replay; richer audit/threat artifacts; compile-time self-hosted runner enforcement

Key Takeaways

  • v0.90.1 at 2026-09-30T17:20:00Z after v0.90.0
  • Standalone safe-output ledgers + replay; defaults kept on shared-workflow import
  • Richer audit: ledger txs, threat detection, evals, friction-cost attribution
  • Governance: narrowed add-labels; required-labels on assign-to-agent; compile-time self-hosted runner enforcement
  • Claude Code CLI pin 2.1.280; docs via gh-aw README / GitHub Next project page
Read full story

Can Agents Design Libraries for Agents? Stanford & UW-Madison Release LibraryDesignBench to Fix Downstream Code Reusability

As autonomous software engineering agents increasingly build upon artifacts generated by peer agents, they exhibit a destructive tendency to reimplement capabilities from scratch rather than reuse existing modules, causing codebase bloat. Researchers from UW-Madison and Stanford introduce LibraryDesignBench, the first two-phase benchmark measuring how effectively agents architect reusable libraries for downstream agents. Across 242 expert-validated programming problems, 15 library tasks, and four languages, agent architects successfully reproduce human-engineered abstractions on 11 of 15 tasks. However, downstream consumer agents systematically underutilize these libraries, reimplementing existing routines. Detailed failure audits reveal that downstream agents reimplement functions not due to missing features, but because agent-written libraries are structurally rigid and difficult to invoke. Equipping agent designers with subagent-testing harnesses dramatically improves API ergonomics and downstream reuse.

Can Agents Design Libraries for Agents? Stanford & UW-Madison Release LibraryDesignBench to Fix Downstream Code Reusability

Key Takeaways

  • First Benchmark for Agent-Authored Libraries: LibraryDesignBench evaluates agent-designed libraries across 242 expert-validated tasks in 4 languages, establishing how agents build for other agents.
  • Diagnosing Reimplementation Traps: Downstream agents avoid agent-written libraries not due to missing features, but because agent-designed APIs suffer from interface rigidity and poor developer ergonomics.
  • Subagent Co-Testing Boosts Reuse: Directing designer agents to test their libraries with consumer subagents iteratively refines API signatures, dramatically improving downstream code simplicity and reuse rates.
Read full story
ADSponsored

brief open-sources a single-binary CLI that briefs AI coding agents on project toolchains

@DanKornas ships brief (github.com/git-pkgs/brief): an MIT single-binary CLI for contributors and AI coding agents that detects language, package manager, test/build/lint/formatter conventions; accepts local paths, Git URLs, and registry packages; can narrow reports to changed files; emits human or JSON output; and adds inspection commands for native artifacts, tooling gaps, and threat categories.

Key Takeaways

  • Single-binary CLI that orients humans and coding agents before edits.
  • Detects language, package manager, test/build/lint conventions; change-aware narrowing.
  • MIT open source; local path, Git URL, and registry inputs; human or JSON output.
Read full story
Linked Models & Agents:

Cursor launches Projects: a persistent coordinator agent with shared memory and scheduled work

Cursor introduced Projects, replacing per-task chats with a coordinator agent in one persistent thread. The agent stays on, proactively manages work with subagents, and can set reminders, run scheduled tasks, follow PRs to fix CI, and watch Slack for bugs. Agents in a project share memory and artifacts such as plans and demos, synced across your device and agent machines. Available in beta and rolling out starting September 10.

Key Takeaways

  • Cursor introduced Projects, replacing per-task chats with a coordinator agent in one persistent thread. The agent stays on, proactively manages work with subagents, and can set reminders, run scheduled tasks, follow PRs to fix CI, and watch Slack for bugs. Agents in a project share memory and artifacts such as plans and demos, synced across your device and agent machines. Available in beta and rolling out starting September 10.
Read full story
Linked Models & Agents:

Anthropic Unifies Claude Chat and Cowork into Seamless Multi-Modal Workspace

Anthropic rolled out a major unified workspace redesign merging Claude Chat and Cowork. Users can now fluidly transition between conversational chat, persistent Cowork pairing, interactive Artifacts, and Design preview modes within a single continuous context thread.

Key Takeaways

  • Eliminates boundaries between Chat and Cowork, preserving continuous context across workflows
  • Dynamically routes between code pairing, document authoring, and interactive UI synthesis
  • Retains persistent project memory across modalities for long-horizon enterprise tasks
Read full story
Linked Models & Agents:

Google AI Studio launches Gemini API Managed Agents with Files and Credentials APIs

Google AI Studio launched an updated Managed Agents harness in the Gemini API. antigravity-preview-09-2026 is live in the Interactions API and AI Studio, giving agents isolated Linux execution, filesystem tools, web search, persistent environments, and MCP connectivity. The release also adds Files and Credentials APIs so developers can move artifacts between turns and connect external services without putting secrets in the model context.

Key Takeaways

  • antigravity-preview-09-2026 is live in the Interactions API and AI Studio, using Gemini 3.8 Flash by default with configurable models.
  • Managed agents run in persistent isolated Linux sandboxes with code execution, filesystem, web-search, and MCP tools.
  • Files handles artifact transfer while Credentials supports scoped bearer, environment-variable, and OAuth2 access without exposing plaintext secrets to the model.
Read full story

Anthropic Merges Claude Cowork and Chat Into One Claude for Pro/Max

Anthropic is merging Claude Cowork and chat into one Claude experience: ask a quick question or hand off a report, keep work running after you close the laptop, and Claude asks when unclear while you keep final say. Existing Cowork chats, projects, artifacts, connectors, and skills carry over; Claude Design, Slides, and Docs are in beta on paid plans, rolling out to Pro and Max over the next few weeks.

Key Takeaways

  • Cowork and chat merge into one Claude that can keep working after you close the laptop
  • Existing Cowork chats, projects, artifacts, connectors, and skills carry forward
  • Claude Design, Slides, and Docs are in beta on paid plans; Pro and Max roll out over the next few weeks
Read full story
Linked Models & Agents: