MathAtlas is a new benchmark for autoformalization in graduate-level mathematics, featuring over 52,000 mathematical entities and a dependency graph of 178,000 relations. Despite its high quality, current models show low performance on this challenging dataset, highlighting the need for advancements in autoformalization technology.