{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidgf4zyddwcl6gjkwtdvyqqdnah74do4rzrt2nhjrm6jvou4xikx4",
    "uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mhznovhnsr72"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreifvonolmnd2ewxuoorxp7vxnp6jo6yni4othxwnlhpkq4wmgsilui"
    },
    "mimeType": "image/jpeg",
    "size": 157430
  },
  "path": "/article/what-happens-when-ai-starts-checking-mathematicians-work/",
  "publishedAt": "2026-03-26T15:00:00.000Z",
  "site": "https://www.scientificamerican.com",
  "textContent": "A start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language for verification using AI. But not everyone is celebrating",
  "title": "What happens when AI starts checking mathematicians’ work"
}