cd/entity/MAP Project· home› entities› MAP Project
grep -l @map project /news/*.json | wc -l → 1

MAP Project

mentions 1 type Person feed RSS

// recent coverage 1 mentions

10:32
2026-10-09
twitter.com
artificial-intelligence

The Map: Mathematics Autoformalization Project

Anthropic's Claude autoformalized Fermat's Last Theorem in 11 days, writing 13 million lines of code that also covered the prerequisite 20th-century literature, according to the MAP (Mathematics Autof…

// co-occurs with top 7 entities
Anthropic 1 Claude 1 Fermat's Last Theorem 1 Kevin Buzzard 1 OpenAI 1 DeepMind 1 Maryna Viazovska 1
// topics top 4 topics
artificial intelligence 1 ai research 1 large language models 1 ai agents 1