Data and AI engineering blogs

191 blogs · 540 this month

Anthropic Research the research blog of Anthropic: latest posts and feed

Anthropic · Research blog · 9.7 a month · 29 posts since Aug 10, 2026

Sep 4

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.

About this blog

Alignment, interpretability and societal impacts research from Anthropic.

Feed

No RSS or Atom feed of its own. The site reads its listing page daily; follow it in the site's feed.

Posts per week, last 26 weeks

9.7 a month over the last six months (or since the feed's oldest post)

Writes about

Product and company (11), Research (9), AI and agents (6) in the last six months.

History

CadenceOct 2

about weekly to several a week

Official checkSep 25

not reviewed to official: on anthropic.com