{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic6lwcbrvgyfi4j4btbh7v2gjm5a3ccwg7n2k32wrqbmvmatulx44",
    "uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mhwsipmndtf2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiazfemkzcsp2mi52ffyzooow4xr75ufv42qvoejt5g5ficjorjkga"
    },
    "mimeType": "image/png",
    "size": 995631
  },
  "path": "/podcast/episode/can-ai-actually-solve-real-math-proofs-researchers-put-it-to-the-test/",
  "publishedAt": "2026-03-25T10:00:00.000Z",
  "site": "https://www.scientificamerican.com",
  "textContent": "A new challenge reveals how well AI can tackle true math problems",
  "title": "Can AI actually solve real math proofs? Researchers put it to the test"
}