{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibsyn64qj7s4ln4q6c25cqwsjeuct7mzd3ejmnnyxm2tfyq2f3mtu",
    "uri": "at://did:plc:mmtaacibkxxpsait6royz2hm/app.bsky.feed.post/3mehgtpyqbft2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiexhwgezswo6qat5udjq6lsfrc5jexsg6fxs4wruvyklcbtnffof4"
    },
    "mimeType": "image/png",
    "size": 2335
  },
  "path": "/2026/02/09/accelerating-mathematics/",
  "publishedAt": "2026-02-09T13:23:22.000Z",
  "site": "https://xenaproject.wordpress.com",
  "tags": [
    "mathlib",
    "AI",
    "Artificial Intelligence",
    "ITP",
    "lean",
    "math",
    "mathematics",
    "mathematics library",
    "Continue reading →"
  ],
  "textContent": "Let’s say that someone had a big pot of money, and wanted to use it to accelerate mathematical discovery. How might they go about doing this? The traditional approach Historically it has been governments who have been driving this agenda, … Continue reading →",
  "title": "Accelerating mathematics"
}