ENTITY Tianyi Peng

Tianyi Peng

PulseAugur coverage of Tianyi Peng — every cluster mentioning Tianyi Peng across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_236598 · Sep 4 · 18:42

Anthropic's Claude AI autonomously proves Fermat's Last Theorem

Anthropic researcher Tianyi Peng has detailed how the AI model Claude autonomously proved Fermat's Last Theorem over 11 days. The AI generated 13 million lines of Lean code and proved 29,500 intermediate theorems to ach…