{"type": "article", "title": "The Map: Mathematics Autoformalization Project", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/the-map-mathematics-autoformalization-project", "original_source": "https://twitter.com/jdlichtman/status/2097182834985168992", "published": "2026-10-09T10:32:57+00:00", "accessed": "2026-10-09", "id": "the-map-mathematics-autoformalization-project"}