PulseAugur
EN
LIVE 11:30:58
ENTITY The Annals of Mathematics

The Annals of Mathematics

PulseAugur coverage of The Annals of Mathematics — every cluster mentioning The Annals of Mathematics across labs, papers, and developer communities, ranked by signal.

Show in brief
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
  1. TOOL · CL_327812 ·

    Formalizing Math Theorems Reveals Errors in Fields Medalist Work

    Kevin Buzzard discussed an experiment where 50 theorems from The Annals of Mathematics were formalized using the Lean proof assistant. This process revealed that four theorems, authored by Fields Medalists, contained in…