SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS

Anthropic · Research monitor

Editorial summaries of third-party claims. We do not independently certify mathematical proofs or represent OpenAI or Anthropic.

Explained dossiers

01Anthropic
aⁿ + bⁿ ≠ cⁿ, n > 2

Fermat's Last Theorem, checked by a machine

There are no positive whole numbers a, b and c with aⁿ + bⁿ = cⁿ for n bigger than two. Humans proved this in the 1990s. Claude's new achievement is turning the proof into instructions a computer can check.

Expert commentary↗
02Anthropic
Proportion of zeros on Re(s)=½: ≥ 67.2% (claimed)

More Riemann zeros on the critical line

Prime numbers follow a mysterious pattern. Claude did not solve the famous Riemann Hypothesis, but its researchers say it raised the minimum known share of certain zeros lying on the crucial line from 41.6% to 67.2%.

Expert scrutiny reported↗

Research notes

Anthropic

Partnering with Accenture on embedded evaluation

Evaluation & safety · provider_announcement

We’re partnering with Accenture on independent evaluation of frontier AI—part of our recent commitment to embed evaluators at Anthropic. Both we and Accenture expect to

Automatically screened · not peer reviewed by this siteRead analysis note ↗
Anthropic

Introducing Claude for Teachers

AI models · provider_announcement

Verified US K-12 educators get free access to premium Claude capabilities, a teaching skills library, and standards-aligned curricula for all 50 states.

Automatically screened · not peer reviewed by this siteRead analysis note ↗
Anthropic

Introducing Claude Corps

AI models · provider_announcement

Claude Corps is a national fellowship for early-career people passionate about extending the benefits of AI to communities across America.

Automatically screened · not peer reviewed by this siteRead analysis note ↗