{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicgnpy6gj7scajnkr3jplbkqvlpi75cppn3jfmjgb3rfjv6mnbiia",
    "uri": "at://did:plc:6t55zewcvauifrt5ts3usclu/app.bsky.feed.post/3mmj4nb6tucf2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidzsnwx52nlqpxvth32go6wiq7mz6lihq7uuvqj7yoc2qun4xurni"
    },
    "mimeType": "image/png",
    "size": 6035
  },
  "path": "/questions/511562/incentivizing-mathematics-in-an-era-of-ai-accelerated-proof-abundance",
  "publishedAt": "2026-05-22T18:56:27.000Z",
  "site": "https://mathoverflow.net",
  "title": "Incentivizing mathematics in an era of AI-accelerated proof abundance – mathoverflow.net",
  "updatedAt": "2026-05-23T06:08:32.000Z"
}