Skip to content
Only Research#Anthropic
November 9Monday
  1. Anthropic · Claude.dev80

    Anthropic: 1,000 Claude Fable 5.2 agents reproduce Fermat's Last Theorem formalization in 28.7 hours

    7 hours without the Prove2Me platform or researcher steering used in Anthropic's September run, writing a proof one-seventh as long and using one-third as many output tokens. Each agent worked in a network-isolated sandbox with a classifier checking every shell command and file edit plus an offline monitor, and across more than a million tool calls none met the bar to be blocked.

    Why it matters: Anthropic's 1,000-agent run reproduced the Fermat's Last Theorem formalization without Prove2Me or a researcher, showing how sandboxing and monitoring bound a self-organized agent team.

  2. Anthropic Research71

    Anthropic tests Claude Fable 5.2 on real-world electronics design

    Anthropic reports that Claude Fable 5.2 designed three electronic devices, a speakerphone, a voice-assistant hub and a handheld virtual pet, from minimal prompts, and that Diode Computers built working prototypes from its design files without circuit fixes. On Diode's internal PCB Gym benchmark, Fable 5.2 scored 69% versus 25% for Fable 5, and it reached 83.5% on the public BenchCAD 2.1, nearly double Claude Fable 5.1. The devices remain prototypes that have not been through electrical validation, antenna tuning, thermal testing or certification, and Claude was not connected to test equipment or manufacturing machines.

    Why it matters: Anthropic's own account of Claude Fable 5.2 designing three working electronic devices shows how far models have moved from partial PCB layouts to end-to-end hardware prototyping.

November 5Thursday
  1. Anthropic Research58

    Anthropic studies how researchers use Claude across scientific fields and tasks

    Anthropic analyzed 207,049 Claude and Claude Code research sessions from August 2 to September 30, 2026, using privacy-preserving classifiers, and found scientists use Claude most for data analysis and writing and least for data gathering and ideation. Data analysis accounts for 33.7% of Claude sessions and 48.1% of Claude Code sessions, against 27.6% of researcher time, while ideation takes 4.2% and 2.1% of sessions versus 7.1% of researcher time. The report estimates that wide adoption of current capabilities could roughly double research output in some fields, and full automation of non-physical work could lift fields such as computer science and statistics as much as 15-fold.

November 4Wednesday
  1. Anthropic Research66

    Anthropic biology lab reports first prokaryotic vault particle structure, solved with Claude

    Anthropic's biology research lab reports the first 3D structure of a vault particle found in prokaryotic cells, a phage protein called L05 built from 96 copies with a mass of about 9.5 megadaltons. Under the team's direction, Claude searched a database of about 15 billion predicted proteins, designed DNA constructs, optimized a size-exclusion chromatography isolation that cut purification from three days to about 90 minutes, and ran RELION cryo-EM processing that produced a first full model in 34 hours. The preprint has been submitted to bioRxiv, and the team says the vaults' biological function remains unknown.

    Why it matters: Anthropic's biology lab reports the first 3D structure of a vault particle from prokaryotes, with Claude handling database search, construct design, purification and cryo-EM processing.

November 2Monday
  1. Import AI42

    Import AI 479: Spacewar, low-latency tasks versus LLMs, Genie 4

    Import AI 479 covers Realtime-Bench, a 50-task benchmark of 30 web and 20 game tasks built by researchers at UT Austin, Ohio State, UIUC, NVIDIA, Northwestern and Steadyworks to test whether frontier models can act under real-time pressure. GPT-6 Astra (high) scored the highest wall-clock pass rate at 36%, while paused-clock runs let high-reasoning models reach roughly 70% to 80%. The issue also covers the Defense Intelligence Agency's "Challenges to Security in Space" report and Genie 4.

  2. Anthropic Research70

    Anthropic releases FlashProve, an open-source zkSNARK system for provable LLM inference

    Anthropic released FlashProve, an open-source prototype that uses zkSNARKs to prove a response came from a committed model without revealing its weights. On Llama 4 Maverick (400B-parameter MoE, 4-bit weights), a single H100 generates proofs at about 110 tokens/second with ~19 MB proofs per 1,024-token request, roughly 70-95x the GPU time vLLM needs for the same work. The release includes executable prover and verifier code, a C++ fast verifier, a Lean verifier with machine-checked completeness, soundness and zero-knowledge statements, and a technical report, all under Apache 2.0.

    Why it matters: Anthropic's FlashProve shows zkSNARK-based proofs of inference are becoming practical for a 400B-parameter MoE model, with open code and Lean-checked security claims.

October 27Tuesday
  1. Anthropic Research71

    Anthropic study finds analysts followed Claude Code's arbitrary lean 86% of the time

    Anthropic researchers ran a randomized controlled trial in which 50 professional analysts used Claude Code (Claude Opus 4.8) to advise a fictional farming cooperative, with the agent secretly assigned a coin-flip lean on four analytical choices. Analysts matched their agent's lean 86% of the time, switched away from their own prior preference 60% of the time when the agent disagreed, and 77% later repeated the agent's arguments while only 15% credited the agent. The authors caution that the leans were deliberately strengthened and the study covered one task and one model, but note the results raise concerns about whether human sign-off remains an independent check as agents take on more research work.

    Why it matters: Anthropic's randomized trial with 50 professional analysts shows how readily experts adopt an AI agent's arbitrary lean on judgment calls, a finding that bears on human oversight in AI safety research.