Research
Our research teams investigate the safety, inner workings, and societal impacts of AI models—so that artificial intelligence has a positive impact as it becomes increasingly capable.
Alignment
The Alignment team works to understand the risks of AI models and develop ways to ensure that future ones remain helpful, honest, and harmless.
Economics
The Economics team studies how AI is reshaping the economy, including work, productivity, and economic opportunity.
Frontier Red Team
The Frontier Red Team analyzes the implications of frontier AI models for cybersecurity, biosecurity, and autonomous systems.
Interpretability
The mission of the Interpretability team is to understand how large language models work internally, as a foundation for AI safety and positive outcomes.
Societal Impacts
Working closely with the Anthropic Policy and Safeguards teams, Societal Impacts is a technical research team that explores how AI is used in the real world.
Formalizing Fermat's Last Theorem
We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.
Learning more about Claude's mathematical capabilities
An unreleased research version of Claude has made strides on a problem related to the Riemann hypothesis. It improved a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
How Claude is accelerating protein design and analytical chemistry
In this post, we share two results that show how Claude can help life scientists increase the pace of their research.
Reviewing the evidence on worker retraining programs
We're sharing a review of the evidence on worker retraining programs, coauthored by independent researcher David Roodman and Anthropic's Maxim Massenkoff.
Publications
- Formalizing Fermat's Last Theorem
- Automated researchers can reliably mitigate alignment failures
- Enabling independent research on how people use Claude
- How Claude is accelerating protein design and analytical chemistry
- Patterns and problems in emerging multiagent systems
- Reviewing the evidence on worker retraining programs
- Learning more about Claude's mathematical capabilities
- Discovering cryptographic weaknesses with Claude
- Project Pilot: Can AI control a drone?
- How Canada uses Claude: Findings from the Anthropic Economic Index
