ENTITY Tianyi Yang

Tianyi Yang

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

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_240236 · Sep 7 · 06:37

Claude AI formalizes Fermat's Last Theorem in 11 days, creating machine-checkable proof · 4 sources tracked

Anthropic's AI model, Claude, has successfully formalized Fermat's Last Theorem in just 11 days, a task that human mathematicians estimated would take five years. The AI generated approximately 13 million lines of Lean …