{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiespmkyivtih3id74vkkjq6ru4tyskat26nk7l6sfksvhlzb6j2ue",
    "uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mmgcddghdxx2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiasx3y32orqoubfn2xgrxkces3lov6fi4k7dqrxjbmtapdc6n5l5q"
    },
    "mimeType": "image/jpeg",
    "size": 262506
  },
  "path": "/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/",
  "publishedAt": "2026-05-21T14:47:00.000Z",
  "site": "https://www.scientificamerican.com",
  "textContent": "A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone",
  "title": "AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed"
}